296 Commits

Author	SHA1	Message	Date
dante	ebaee9e2b1	feat: lookupless min/max ops (#854)	2024-10-26 08:00:27 -04:00
dante	d51cba589a	feat: dynamic lookup overflow (#853)	2024-10-23 23:12:00 -04:00
Artem	1cb1b6e143	feat: iOS Bindings (#846)	2024-10-23 09:58:55 -04:00
Ethan Cemer	d2b683b527	feat: reusable verifier (#821)	2024-10-22 09:10:24 -04:00
Jseam	a06b09ef1f	docs: add batch demo (#849)	2024-10-15 08:36:24 +01:00
dante	64fbc8a1c9	refactor: lookup-less sign relu abs (#845)	2024-09-17 11:58:58 -04:00
dante	f64f0ecd23	fix: instance order when using processed params (#829)	2024-07-24 07:58:46 -04:00
dante	2fd877c716	chore: small worm example (#568)	2024-07-15 09:20:37 -04:00
dante	8197340985	chore: const filtering optimizations (#825)	2024-07-12 12:37:02 +01:00
Ethan Cemer	390de88194	feat: create_evm_vk python bindings (#818)	2024-06-23 22:21:59 -04:00
Ethan Cemer	8e6ccc863d	feat: all file source kzg commit DA (#812)	2024-06-11 09:32:54 -04:00
Ethan Cemer	685487c853	feat: DA swap proof commitments (#807)	2024-06-07 10:19:38 -04:00
dante	5a8498894d	feat: create encode-evm-calldata in cli and python (#803)	2024-05-29 21:03:16 -04:00
dante	5125aaa090	chore: add aarch64 linux to release pipeline (#788)	2024-05-13 11:29:49 +09:00
dante	5c574adc31	chore: logistic regression example (#792)	2024-05-08 20:30:13 +09:00
dante	d464ddf6b6	chore: medium sized lstm example (#785)	2024-05-01 16:35:11 +01:00
dante	860e9700a8	refactor!: swap integer rep to i64 from i128 (#781) ... BREAKING CHANGE: may break w/ old compiled circuits	2024-04-26 16:16:55 -04:00
dante	924f7c0420	fix: simplify kzg-commit (#780)	2024-04-24 11:57:20 -04:00
Ethan Cemer	bae2e9e22b	feat: kzgCommit wasm method (#778)	2024-04-18 19:22:11 -04:00
dante	4a93d31869	fix: accomodate modules in col-overflow (#777)	2024-04-18 17:13:31 -04:00
dante	5389012b68	fix: patch large batch ex (#763)	2024-04-03 02:33:57 +01:00
dante	48223cca11	fix: make commitment optional for backwards compat (#762)	2024-04-03 02:26:50 +01:00
dante	32c3a5e159	fix: hold stacked outputs in a separate map	2024-04-02 21:37:20 +01:00
dante	5639d36097	chore: verify aggr wasm unit test (#760)	2024-04-01 20:54:20 +01:00
dante	338788cb8f	fix: lookup safety = 1 during calibration falls OOR (#750)	2024-03-21 08:53:43 +00:00
dante	6819a3acf6	chore: more complete coverage tests (#748)	2024-03-20 18:53:47 +00:00
dante	a5bf64b1a2	feat!: ipa commitments (#740) ... BREAKING CHANGE: commitment is now an added flag	2024-03-16 16:31:01 +00:00
Ethan Cemer	2be181db35	feat: merge @ezkljs/verify package into core repo. (#736)	2024-03-14 01:13:14 +00:00
dante	a1450f8df7	feat: gather_nd/scatter_nd support (#737)	2024-03-11 22:05:40 +00:00
dante	a437d8a51f	feat: "sub"-dynamic tables (#730)	2024-03-04 10:35:28 +00:00
Ethan Cemer	fe535c1cac	feat: wasm felt to little endian string (#729) ... --------- Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>	2024-03-01 14:06:20 +00:00
dante	3e8dcb001a	chore: test for reduced-srs on wasm bundle (#728) ... --------- Co-authored-by: Ethan <tylercemer@gmail.com>	2024-03-01 13:23:07 +00:00
dante	14786acb95	feat: dynamic lookups (#727)	2024-03-01 01:44:45 +00:00
dante	80a3c44cb4	feat: lookup-less recip by default (#725)	2024-02-28 16:35:20 +00:00
dante	88098b8190	fix!: cleanup felt serialization language in python and wasm (#724) ... BREAKING CHANGE: python and wasm felt utilities have new names	2024-02-25 14:06:48 +00:00
dante	6c0c17c9be	fix: include tol check in fwd pass (#723)	2024-02-23 01:28:59 +00:00
dante	bf69b16fc1	fix: rm optional bool flags (#722)	2024-02-21 12:45:42 +00:00
dante	74feb829da	feat: parse command ast into flag strings (#720)	2024-02-21 00:38:26 +00:00
dante	678a249dcb	feat: allow for reduced n srs for verification (#716)	2024-02-16 18:28:54 +00:00
dante	1b637a70b0	refactor: print_proof_hex is redundant with proof file (#713)	2024-02-14 15:25:28 +00:00
dante	97d9832591	refactor: calibration for resources and accuracy over same scale range (#710)	2024-02-11 15:03:38 +00:00
dante	85ee6e7f9d	refactor: use layout as the forward function (#707)	2024-02-08 21:15:46 +00:00
dante	80041ac523	refactor: equals argument without lookups (#705)	2024-02-07 14:20:13 +00:00
dante	2a1ee1102c	refactor: range check recip (#703)	2024-02-05 14:42:26 +00:00
dante	95d4fd4a70	feat: power of 2 div using type system (#702)	2024-02-04 02:43:38 +00:00
dante	04d7b5feaa	chore: fold div_rebasing parameter into calibration (#699)	2024-01-31 10:03:12 +00:00
dante	45fd12a04f	refactor!: make rebasing multiplicative by default (#698) ... BREAKING CHANGE: adds a `required_range_checks` field to `cs`	2024-01-30 18:37:57 +00:00
dante	bc7c33190f	feat: allow for separate vk render on-chain (#697)	2024-01-25 19:48:13 +00:00
dante	df72e01414	feat: make selector compression optional (#696)	2024-01-24 00:09:00 +00:00
dante	db24577c5d	fix: calibrate from total min/max on lookups rather than individual x (#690)	2024-01-17 23:59:15 +00:00