search

Bisht13 / gnark-bn254-verifier

Apache License 2.0
8 stars 7 forks source link

Verify Gnark Groth16 proof with Commitments #4

Open doutv opened 2 weeks ago

doutv commented 2 weeks ago

Current Groth16 proof verification implementation is incomplete, didn't verify commitments part

https://github.com/Bisht13/gnark-bn254-verifier/blob/1e4a1996df790677f0f8b92983bbf1fa9348c0b9/src/verify.rs#L74-L99

doutv commented 2 weeks ago

verify_plonk seems to be complete, verify bsb22_commitments

doutv commented 2 weeks ago

@Bisht13 Do you have any plan to implement "verify commitments"