Results 13 comments of naure

I'm on this using this python script: https://github.com/zcash-hackworks/zcash-test-vectors/blob/master/sapling_pedersen.py

Excellent! See possible bug above.

If there isn’t too many common subexpressions, deduplication or memoizing should not be too effective. Instead, the gate expressions need to be rearranged to reveal common or constant subexpressions. It...