ark-circom/test-vectors
oskarth 64e0ee9546
Initial Circom 2 support (#10)
* Import circom-2 test vectors

* Add failing test under feature flag

* Add exceptionHandler

* Add showSharedRWMemory

* Add getFieldNumLen32 and disable getFrLen

* Add getVersion

Also print version, n32

* Add getRawPrime

- Disable getPtrRawPrime
- Write as conditional cfg code blocks

* Refactor cfg code blocks

* Add readSharedRWMemory and get prime from WASM mem

- Add fromArray32 convenience function

* WIP: Debug R1CSfile header

field_size in header is 1, not 32 as expected

Don't see anything recently changed here:
https://github.com/iden3/r1csfile/blob/master/src/r1csfile.js (used by snarkjs)

But this seems new: 0149dc0643/constraint_writers/src/r1cs_writer.rs

* Add CircomVersion struct to Wasm

* XXX: Enum test

* Trait version

* Move traits to Circom, CircomBase, Circom2

* Simplify Wasm struct and remove version

* Feature gate Circom1/Circom2 traits

* Use cfg_if for witness calculation

Make normal dependency

* Fix visibilty for both test paths

* Remove println

Can introduce tracing separately

* refactor

* Make clippy happy with imports, unused variables
2021-11-29 10:02:46 +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
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.wtns feat: benchmarks (#3) 2021-09-08 21:52:17 +03:00
witness_calculator.js initial commit 2021-07-26 17:04:43 +03:00