Commit history

a8b03b56e1818897c28b9fdc811ad65d48f2d06c

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

Pierre committed on May 28, 2024

a8b03b5

Add parameter 'inputs_already_allocated' to CircomCircuit To allow allocating the inputs in previous stages.

arnaucube committed on Mar 25, 2024

48f2915

Migrate usage from E:Pairing to F:PrimeField when Pairing is not needed The motivation to do so, is so we can use the witness generation with other curves that don't have pairings (and hence the Pairing trait implemented).

arnaucube committed on Feb 22, 2024

5f8cfd4

description and licence (#54)

tyshko-rostyslav committed on Jul 26, 2023

170b10f

Preparatory work for issue #47 (#48) Co-authored-by: tyshkor <tyshko1@gmail.com>

tyshko-rostyslav committed on Jul 24, 2023

5748133

Fix CI by fixing version + add toolchain file (#52) * Fix CI by fixing version + add toolchain file * readme comment * Tweak README message * typo --------- Co-authored-by: tyshkor <tyshko1@gmail.com> Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>

tyshko-rostyslav committed on Jul 24, 2023

507aa4f

new features to make ark-circom slimmer (#45) * new features * fmt * update wasm feature * revert * update --------- Co-authored-by: tyshkor <tyshko1@gmail.com>

tyshko-rostyslav committed on Mar 20, 2023

f97ac2b

Update ark-circom for arkworks 0.4.0 (#43)

Deepak Maram committed on Mar 16, 2023

b892c62

fix: use correct feature name

Georgios Konstantopoulos committed on Feb 21, 2023

35ce5a9

chore: lints + remove ethers dep

Georgios Konstantopoulos committed on Feb 10, 2023

746d232

WIP: Lightweight version of `ark-circom` (#41) * remove ethers-core * test * return ethereum and add a feature * lint fixes --------- Co-authored-by: s1fr0 <28568419+s1fr0@users.noreply.github.com> Co-authored-by: tyshkor <tyshko1@gmail.com>

tyshko-rostyslav committed on Feb 11, 2023

5a1b78b

fix(ci): fmt and clippy goes green (#36)

Evgeniy Abramov committed on Jan 20, 2023

e226f90

add missing wasm runtime function (#29)

laizy committed on Jan 6, 2023

ab7f9ec

Bump to latest Ethers (#26) * chore: bump ethers * fix: adjust ethers breaking changes 1. Use the abigen'd ::deploy methods 2. Use Anvil instead of Ganache * silence warning * fix: replace abi with full verifier artifact * ci: use anvil instead of the node stack * chore: remove ethers-solc * fix: return error instead of raise https://github.com/wasmerio/wasmer/commit/17c0834abf3290008f540ee30e6b58f31c56a4e7 this api got deprecated and would panic instead of generating an error that can behandled * lints * minimfy json

Georgios Konstantopoulos committed on Aug 29, 2022

06eb075

chore: add mit/apache dual license

Georgios Konstantopoulos committed on Aug 29, 2022

8f6fcaf

feat: allow WitnessCalculator construction from wasmer::Module (#24) * Allow construction from Module * Update src/witness/witness_calculator.rs Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>

Remco Bloemen committed on Mar 19, 2022

a93c8b0

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