arkworks-rs / groth16

A Rust implementation of the Groth16 zkSNARK
https://www.arkworks.rs
Apache License 2.0
252 stars 101 forks source link

Circom witness generation is different than arkworks; cannot skip witness elements #61

Closed mmagician closed 3 months ago

mmagician commented 3 months ago

uses full domain instead of domain-1 elements

Description

Fix to the failing verification in https://github.com/arkworks-rs/circom-compat/pull/68

closes: #XXXX


Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.