Commit Graph

74 Commits

Author SHA1 Message Date
Ben Green
bd1d245111 Add skipWasm circomkit config setting (#121)
* Add skipWasm circomkit config setting

* Rename skipWasm property to wasmWitness
2025-07-10 23:20:05 +03:00
David Ernst
040a4a487f Speed up readWitness() by only loading requested symbols, not all (#118) 2025-06-10 23:03:15 +03:00
zhiqiangxu
ae6ac0d519 remove confusing log (#119) 2025-05-19 17:19:14 +03:00
David Ernst
eb26443c63 typo: occurences -> occurrences (#117) 2025-05-06 12:36:44 +03:00
erhant
5056d1d126 fix type & format error 2025-02-27 23:55:58 +03:00
d0x471b
63b9cdeb38 feat: add global pattern matching for compile command (#112)
* enhance: add glob pattern matching for compile command

* style: format cli.ts

* style: additional formatting fixes

* refactor(cli): simplify circuit pattern matching to use regex directly
2025-02-21 21:51:31 +03:00
d0x471b
b1a8ba682a refactor: add wasm file check for compilation (#109) 2025-01-15 22:53:36 +03:00
d0x471b
1308282869 feat: add print option to json command (#106)
* feat: add print option to json command

* style: fix formatting
2024-12-28 20:19:24 +03:00
erhant
a8b0538462 small doc fix [skip ci] 2024-12-01 16:34:20 +03:00
erhant
987e293291 update patch, fix formattings, pnpm update 2024-12-01 16:11:34 +03:00
Ben Green
49ab4c8e1e WitnessTester.compute supports multiple output signals (#104)
* WitnessTester.compute supports multiple output signals

* Missed test circuit source
2024-12-01 16:06:52 +03:00
numtel
e3426e6869 Use undefined instead of null as default 2024-10-17 15:16:44 -07:00
numtel
f5611ff315 Error when optimization is not null or number 2024-10-17 15:15:26 -07:00
numtel
ae0a89c269 Optimization level null uses Circom default 2024-10-16 17:05:28 -07:00
erhant
f8fa9eb3cc use async, respecting the function decl itself 2024-10-06 19:17:46 +03:00
erhant
57b56b2812 use postAction hook 2024-10-06 19:13:37 +03:00
Michael Standen
054592e96e Add teardown to cli commands 2024-10-03 14:33:55 +13:00
Erhan
14d9ca0318 Merge pull request #89 from erhant/erhant/c-tester
Add C testing support to `WitnessTester` (WIP)
2024-09-10 00:02:39 +03:00
numtel
4cfbfadfd7 Fix tests and add note about default value 2024-09-01 18:21:15 -04:00
numtel
6f6bd055a3 Default optimization level matches circom compiler 2024-08-29 01:22:16 -04:00
erhant
d6746a8b1c first attempts, stuck at arm64 errors 2024-08-06 00:13:25 +03:00
erhant
6cfa054478 small edits, bumped version as well 2024-08-05 22:46:22 +03:00
numtel
c4b8fe4960 Pass through usesCustomTemplates value from circuits.json too 2024-07-29 12:46:10 +02:00
numtel
111104d3a4 Move useCustomTemplates to the circuit config 2024-07-29 11:32:59 +02:00
numtel
1e40dc6310 Auto-detect pragma custom_templates for main component instantiation
Supercedes #86
2024-07-26 14:52:10 +02:00
Erhan
f210e06030 Major Refactors (#82)
* migrate tests under their own folder

* more refactors + `pkgroll` added

* todo commander

* migrate CLI to `commander`

* fixed proof tester types

* added `list` command

* use jest, use pnpm, more refactors & renames & typings

* remove redundant hardhats, better jest

* up version
2024-05-18 22:02:47 +03:00
Erhan
c9f951a895 fixes & new version (#77)
* fixes & new version

* comments
2024-04-26 22:19:10 +03:00
Jeeiii
e5816c3850 refactoring: optimize r1cs info extraction 2024-04-26 17:31:35 +02:00
numtel
7c09a4af1f Add circomPath configuration parameter 2024-04-17 16:09:30 -07:00
erhant
ab0f9d7e4e fix skipLibCheck, add plonk optim check, formatting 2024-04-15 21:10:56 +03:00
numtel
ed443234b9 Fix missing elements in fflonk calldata
* Also tests that the calldata works on the verifier
2024-04-14 21:49:09 -07:00
erhant
0af1603b31 Minor fixes (#69)
* add more tests for error catching

* calldata fixes as well

* bump version
2024-02-17 13:12:40 +03:00
erhant
1a787a4521 Fix input length checks (#66)
* fix input length check

* Update package.json

* add unhandled error check
2024-02-15 22:48:41 +03:00
erhant
b290175699 Prettier calldata (#64)
* prettier calldata

* fix test, add docs
2024-02-07 23:05:15 +03:00
erhant
4a1e998122 added more primes, calldata export todos (#61) 2024-02-05 22:29:36 +03:00
erhant
93c7cf91d6 Refactor & prettify tests (#55)
* refactored and prettified tests

* new version with the code reorg
2024-01-27 21:26:45 +03:00
erhant
219cc394d3 docs for vkey & v0.0.21 2024-01-24 15:47:35 +03:00
ctrlc03
5d82bfc33d refactor(setup): remove initPhase2 and add extract vKey method (#51)
* refactor(setup): remove initPhase2 and add extract vKey method

* do not remove the downloaded ptau

---------

Co-authored-by: erhant <erhany96@gmail.com>
2024-01-24 15:31:02 +03:00
erhant
d1834f16fa Refactors & added Snarkjs types (#49)
* tiny refactors

* use types snarkjs
2024-01-19 21:56:56 +03:00
erhant
84ead50d69 tiny refactors & typo fixes (#48) 2024-01-15 19:24:00 +03:00
ctrlc03
220ab9b648 feat(build): add flag to optionally generate c witness calculator (#44)
* feat(build): add flag to optionally generate c witness calculator

* tiny refactor & bump version

* separated witness compilation test

---------

Co-authored-by: erhant <erhany96@gmail.com>
2024-01-14 14:09:43 +03:00
erhant
c39a015d04 added npm workflow & dirCircuit tests 2023-11-29 18:26:11 +03:00
erhant
89077e7686 fixes and refactors, todo tests 2023-11-29 17:26:38 +03:00
erhant
0473d8859f Init with git clone (#30)
* init via cloning

* fixed init
2023-08-30 23:12:12 +03:00
erhant
b11689a5a3 Added custom circuit config and optional data args (#29)
* added custom circuit config and optional data args

* added docs
2023-08-30 22:05:17 +03:00
erhant
93b940865f quickfix 2023-07-17 21:40:14 +03:00
erhant
cb054aaf0d uses exec instead of wasm_tester for compile (#25) 2023-07-17 20:54:22 +03:00
erhant
63fcec7dda Small fixes (#24)
* tiny tiny fixes

* added teardown

* fixed compute, added changelogs
2023-07-15 16:14:40 +03:00
erhant
b527615035 AssertionError not working, revert to original 2023-07-01 15:26:35 +03:00
erhant
a0dc8d3764 fixed witness tester AssertionError checks 2023-07-01 14:26:43 +03:00