See - https://github.com/openmina/algebra/pull/1/files - https://github.com/openmina/proof-systems/pull/1 - https://discord.com/channels/484437221055922177/1336671409421946911/1337477637916069980 Linked to https://github.com/openmina/openmina/issues/1106
