11 Commits

Author SHA1 Message Date
tyshko-rostyslav
5a1b78b320
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>
2023-02-10 18:32:52 -08:00
Georgios Konstantopoulos
06eb0759e0
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

17c0834abf
this api got deprecated and would panic instead of generating an error that can behandled

* lints

* minimfy json
2022-08-29 15:06:27 -07:00
oskarth
d0478d1538
When constraints are unsatisfied, show first one (#21)
Useful for debugging
2022-02-25 12:25:03 +02:00
oskarth
bf2b439fae
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.
2021-12-01 14:09:57 +02:00
Georgios Konstantopoulos
11e6d04f3b
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>
2021-08-17 14:45:13 +03:00
Georgios Konstantopoulos
f316f6a9fa chore: use latest upstream gro16 2021-08-13 12:37:09 +03:00
Georgios Konstantopoulos
293314f2ef chore: cargo fmt 2021-08-11 23:46:07 +03:00
Georgios Konstantopoulos
cf225249ae chore: expose Proof a/b/c 2021-08-11 03:22:18 +03:00
Georgios Konstantopoulos
de9af5b9e6 fix: negate negative witness elements 2021-08-11 03:22:18 +03:00
Georgios Konstantopoulos
c32270a285 fix: use latest names for groth16 traits/types 2021-08-10 18:09:32 +03:00
Georgios Konstantopoulos
72c533ac62 refactor: rename circuit -> circom 2021-07-26 17:54:04 +03:00