barretenberg
barretenberg copied to clipboard
Short scalars in recursive verifier
I'm told that we don't actually take advantage of the short scalars that we produce.