Commit history

d0478d1538d229302f33cc2a6d753ab3c7d73bf3

When constraints are unsatisfied, show first one (#21) Useful for debugging

oskarth committed on Feb 25, 2022

d0478d1

replace i32 by u32 (#19) * replace i32 by u32 * fix overflow in usize * add testcase for u32 input

Philipp Sippl committed on Feb 17, 2022

e81fd92

doc: Fix Rust dependency in README (#16)

Yang Hau committed on Feb 2, 2022

cac27e6

Ensure Circom 1 tests pass with experimental Circom 2 support (#18) * All tests pass under circom-2 feature flag - Check for version in WASM, default to version 1 - Include Circom1 when Circom 2 feature flag is enabled Currently a lot of code duplication. Once Circom-2 is more stable and proven to work in the wild, feature flag can be removed. * Separate Circom 1 and Circom2 witness calculation * Cleanup * WitnessCalculator helpers for Circom 1 and 2 Also make helper fn private * Move comment * Fix expression return * cargo fmt * Add cargo test circom-2 to ci

oskarth committed on Jan 13, 2022

1a383b6

circom2 proof generation (#14) * circom2 proof generation * fix fmt and test * fix clippy and format dependency * make clippy happy (circom2 changes) * make clippy happy (#12)

Philipp Sippl committed on Dec 22, 2021

1732e15

Improve r1cs_reader for Circom 2 (#13) * Improve r1cs_reader for Circom 2 Shamelessly taken from https://github.com/poma/zkutil/pull/7/files by @lispc * Document Seek type restriction * Doc linter: use automatic links * Use iter for iterating over sections * Better error handling with ok_or_else * Revert "Use iter for iterating over sections" This reverts commit bc88c726590e250c2e042e9d4b74b77e294e32ec.

oskarth committed on Dec 1, 2021

bf2b439

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: https://github.com/iden3/circom/blob/0149dc0643c3842635fb758efc9ebc102f170a38/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

oskarth committed on Nov 29, 2021

64e0ee9

Early exit in error callback from Wasm (#9) * Early exit in error callback from Wasm This avoids Wasm execution hanging due to problems such as wrong public input. Mimics circom_runtime behaviour with less detailed debug information. See https://github.com/iden3/circom_runtime/blob/master/js/witness_calculator.js#L52-L64 Adds test for wrong public input. Without early exit, the test stalls. With it, the Circom build step fails as expected. * chore: clean up error handling * ci: add caching Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>

oskarth committed on Nov 18, 2021

b1daefc

feat: benchmarks (#3) * add benchmark * chore: add complex circuit * feat: enable parallel / asm * bench: use pre-calculated matrices/constraints * chore: bump ethers-rs * chore: fmt * feat: add benches for differently sized circuits (#6) * feat: update bench circuit * feat: add benches for many sizes * fix: adjust bench parameters * fix: remove sym * chore: fmt * fix: point to correct commit of groth16 * fix: update function names to upstream * fix: update function names to upstream Co-authored-by: Kobi Gurkan <kobigurk@gmail.com>

Georgios Konstantopoulos committed on Sep 8, 2021

bb0f542

Feat: Use pre-calculated ConstraintMatrices (#2) * feat: add function for calculating the coefficients * fix tests / debug coeffs * feat: use groth16 with configurable matrices * test: add no r1cs test * test: add a test to check matrices values * scaffold of the matrix calculation * feat: correctly load and use matrices in the without_r1cs variant * chore: cargo fmt * chore: cargo fmt / lints * ci: do not double run tests * fix: calculate correctly points at inf * test: use correct abicoder v2 types Co-authored-by: Kobi Gurkan <kobigurk@gmail.com>

Georgios Konstantopoulos committed on Aug 17, 2021

11e6d04

chore: cargo fmt

Georgios Konstantopoulos committed on Aug 13, 2021

4e2c2d3

fix: use correct fn prover name in tests

Georgios Konstantopoulos committed on Aug 13, 2021

0dd126b

perf: enable parallel on ark packages

Georgios Konstantopoulos committed on Aug 13, 2021

a85b99e

perf: enable asm on ark-ff

Georgios Konstantopoulos committed on Aug 13, 2021

3c11c94

chore: use latest upstream gro16

Georgios Konstantopoulos committed on Aug 13, 2021

f316f6a

chore: cargo fmt

Georgios Konstantopoulos committed on Aug 11, 2021

293314f

feat: add deserialize_field2 function

Georgios Konstantopoulos committed on Aug 11, 2021

29de734

chore: expose Proof a/b/c

Georgios Konstantopoulos committed on Aug 11, 2021

cf22524

fix: negate negative witness elements

Georgios Konstantopoulos committed on Aug 10, 2021

de9af5b

fix: use latest names for groth16 traits/types

Georgios Konstantopoulos committed on Aug 10, 2021

c32270a

chore: trim deps