306 Commits

Author	SHA1	Message	Date
dante	5e169bdd17	chore: update tract to 0.21.8-pre (#878)	2024-12-03 16:52:03 -05:00
dante	64cbcb3f7e	chore: explicitly compile div op (#876)	2024-11-28 17:14:53 +09:00
dante	ee17f0ff9a	chore: generalize the exp to other bases (#875)	2024-11-26 09:31:12 +09:00
Ethan Cemer	0fc1c3eecd	feat: single call DA verifier (#869)	2024-11-19 07:26:17 +00:00
dante	523c77c912	feat: lookupless sqrt and rsqrt (#867)	2024-11-10 15:56:38 +00:00
dante	948e5cd4b9	chore: version proof and witness (#865)	2024-11-08 02:55:35 +00:00
dante	00155e585f	feat: bounded lookup log argument (#864)	2024-11-07 12:16:55 +00:00
dante	a3c131dac0	feat: lookupless rounding ops (#862)	2024-10-31 11:29:46 -04:00
dante	a0060f341d	chore: rm lookup recip (#859)	2024-10-29 15:57:38 -04:00
dante	17f1d42739	chore: unify leakyrelu and relu (#858)	2024-10-29 10:43:40 -04:00
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