proof-systems
proof-systems copied to clipboard
convert generic gate to expr framework
outdated PR from @mrmr1993: https://github.com/o1-labs/proof-systems/pull/276/files
I believe there are some manual optimizations that currently prevent us from doing that