circom-compat
circom-compat copied to clipboard
arkworks-rs
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
I have noticed that `ark_bn254::G1Affine` and `ark_bn254::G2Affine` are not equal themselves after a round trip of converting to and from respective `crate::ethereum::G1` and `crate::ethereum::G2` types. Example: ```rust let g1 =...
Hello, What would be the best way to generate a snarkjs compatible .wtns file from the witness calculated with `WitnessCalculator`?
Hello, we are facing an issue when we use our generated zkey, the verification process fails, but using a randomly generated proving key from the circom circuit the verification process...
Hey @gakonst! With PR https://github.com/arkworks-rs/groth16/pull/44, it is possible to specify the `R1CSToQAP` reduction directly on the `Groth16` type. Would it make sense to upstream the `CircomReduction` to `ark-groth16` so that...
Hi, @gakonst! In case you are still willing to make a trimmed version of `ark-circom` ( https://github.com/vacp2p/zerokit/issues/37#issuecomment-1252699994 ) we would greatly appreciate if you could make one without the ethers-core/ethers-rs...
Snarkjs parse successfully but ark-circom failed to `let cir = builder.build().unwrap();`
Revert to latest `stable` Rust as soon as https://github.com/wasmerio/wasmer/issues/4072 and/or https://github.com/wasmerio/wasmer/issues/4059 issues are solved.
Ark-Circom uses some ark deps at 0.4.1 whereas others use 0.4.2 which creates conflict issues. I changed the version from 0.4.1 to 0.4.2 to avoid conflicts.
thiserror version upgraded from 1.0.39 to 1.0.44. Sui sdk is not compatible with v1.0.39.
Metadata
Owner
Metadata
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.