gnark icon indicating copy to clipboard operation
gnark copied to clipboard

Published 20 hours ago • verified publisher icon Consensys

feat: allow marshalling into Solidity-compatible format from `witness.Witness`.

Open ivokub opened this issue 1 year ago • 1 comments

Right now we have to construct the inputs for verifying in Solidity by hand. It would be better if we can just marshal witness.Witness into Solidity inputs with performing all the conversions and including commitment if necessary (for Groth16 verifier).

Related #524

ivokub avatar Dec 11 '23 11:12 ivokub