Open lopeetall opened 1 year ago
For #29 there are several paths: one is to write a verifier contract in Solidity that can verify a Plonk proof as generated by zk-garage/plonk.
Matter Labs has a Plonk verifier in Solidity here AZTEC has a Plonk verifier in Solidity here
Neither of these match zk-garage's proof structure perfectly, but the AZTEC contract is probably the easiest to adapt.
For #29 there are several paths: one is to write a verifier contract in Solidity that can verify a Plonk proof as generated by zk-garage/plonk.
Matter Labs has a Plonk verifier in Solidity here AZTEC has a Plonk verifier in Solidity here
Neither of these match zk-garage's proof structure perfectly, but the AZTEC contract is probably the easiest to adapt.