circom-compat

circom-compat copied to clipboard

solve the issue #34, support up to 3 dimension input

Yiheng-Liu

I was working on upgrading the libraries here to use more recent versions of `wasmer` -- I have tests passing for the most recent versions `4.2.*`. In the process I...

martyall

```rust #[test] fn groth16_proof() -> Result { let cfg = CircomConfig::::new( "hash.wasm", "hash.r1cs", )?; let mut builder = CircomBuilder::new(cfg); builder.push_input("a", 3); builder.push_input("b", 11); // create an empty instance for setting...

0x8f701

I am looking to extend `circom-compat` to work with other curves such as `bls12-381`. Do you anticipate any issues in doing that?

rsinha

Compile to WASM + Bindings

5

We should make this lib compile to WASM and also provide bindings to it. When using this library from the browser, the ideal JS API would be: 1. `readZKeyAndWasm` 1....

gakonst

# push_input only allow a i32 type ### We are trying this for ed25519 sign verification but the size it takes as an input is fixed to i32 but we...

suniljalandhra

# Problem Currently `zkey.rs` generates a bunch of warnings. Since `rust clippy` is run as part of the linting CI process (https://github.com/gakonst/ark-circom/blob/master/.github/workflows/ci.yml#L61), these should probably be dealt with. # Details...

oskarth

snarkjs and websnark are pretty popular on zk-snark projects. I am curious how can I generate proof with websnark or snarkjs, then verify the proof with ark-circom

howjmay

Invalid proofs when proving in parallel.

1

The `ProvingKey`, `ConstraintMatrices` are shared through constant reference. `WitnessCalculator` is cloned and passed as mutable reference.

recmo

Infinite run in unoptimized mode

1

Hi, I'm trying to use [RLN circuits](https://github.com/privacy-scaling-explorations/rln/tree/master/circuits) and it doesn't work (runs forever). However, in release mode everything works fine. It stucks on `CircomConfig::new()`. What can be the problem ?

curryrasul