erhant
commented
8 months ago - Fixes #57
- First attempts at #56 made me realize that we can do this manually, without using snarkjs at all actually. This should also fix the fflonk export bug! Will save it for a later PR.