Pierre a8b03b56e1 Fix allocated public inputs indexes (#1) ...

* fix: manage already allocated public inputs with a custom mapping

* fix: initialize CircomCircuit with empty allocated public input variables

* feat: add ability to choose to allocate inputs as witnesses or instances

* chore: remove outdated comment

* test: add relevant tests and asserts for generate_constraints

* chore: add files used for tests

* chore: replace assert_eq with match statement

2024-05-28 12:30:59 +02:00

..

complex-circuit

feat: benchmarks (#3)

2021-09-08 21:52:17 +03:00

calculatewitness.js

initial commit

2021-07-26 17:04:43 +03:00

circom2_multiplier2.r1cs

Initial Circom 2 support (#10)

2021-11-29 10:02:46 +02:00

circom2_multiplier2.wasm

Initial Circom 2 support (#10)

2021-11-29 10:02:46 +02:00

circuit2.circom

initial commit

2021-07-26 17:04:43 +03:00

circuit2.wasm

initial commit

2021-07-26 17:04:43 +03:00

input.json

initial commit

2021-07-26 17:04:43 +03:00

mycircuit2_constraints.json

Fix allocated public inputs indexes (#1)

2024-05-28 12:30:59 +02:00

mycircuit2.circom

Fix allocated public inputs indexes (#1)

2024-05-28 12:30:59 +02:00

mycircuit2.r1cs

Fix allocated public inputs indexes (#1)

2024-05-28 12:30:59 +02:00

mycircuit2.sym

Fix allocated public inputs indexes (#1)

2024-05-28 12:30:59 +02:00

mycircuit2.wasm

Fix allocated public inputs indexes (#1)

2024-05-28 12:30:59 +02:00

mycircuit-input1.json

initial commit

2021-07-26 17:04:43 +03:00

mycircuit-input2.json

initial commit

2021-07-26 17:04:43 +03:00

mycircuit-input3.json

initial commit

2021-07-26 17:04:43 +03:00

mycircuit-witness.json

initial commit

2021-07-26 17:04:43 +03:00

mycircuit.circom

initial commit

2021-07-26 17:04:43 +03:00

mycircuit.r1cs

initial commit

2021-07-26 17:04:43 +03:00

mycircuit.sym

initial commit

2021-07-26 17:04:43 +03:00

mycircuit.wasm

initial commit

2021-07-26 17:04:43 +03:00

nconstraints.circom

initial commit

2021-07-26 17:04:43 +03:00

package-lock.json

initial commit

2021-07-26 17:04:43 +03:00

proof.json

feat: benchmarks (#3)

2021-09-08 21:52:17 +03:00

prove.sh

feat: benchmarks (#3)

2021-09-08 21:52:17 +03:00

public.json

feat: benchmarks (#3)

2021-09-08 21:52:17 +03:00

safe-circuit-witness.json

initial commit

2021-07-26 17:04:43 +03:00

smtverifier10-input.json

initial commit

2021-07-26 17:04:43 +03:00

smtverifier10-witness.0.json

initial commit

2021-07-26 17:04:43 +03:00

smtverifier10-witness.json

initial commit

2021-07-26 17:04:43 +03:00

smtverifier10.wasm

initial commit

2021-07-26 17:04:43 +03:00

test.zkey

initial commit

2021-07-26 17:04:43 +03:00

verification_key.json

initial commit

2021-07-26 17:04:43 +03:00

witness_calculator.js

initial commit

2021-07-26 17:04:43 +03:00

witness.wtns

feat: benchmarks (#3)

2021-09-08 21:52:17 +03:00