188 Commits

Author	SHA1	Message	Date
dante	e70e13a9e3	refactor!: rm ios,js,aggregation (#1013) ... BREAKING CHANGE: removes support for iOS, JS, WASM and removes aggregation circuit.	2025-10-10 09:56:41 -04:00
dante	365d92a5f2	feat: implement generalized Freivalds' algorithm for arbitrary einsum (#990) ... --------- Co-authored-by: DoHoon Kim <59155248+DoHoonKim8@users.noreply.github.com> Co-authored-by: therealyingtong <yingtong.lai@gmail.com> Co-authored-by: DoHoonKim <dohoon1097819@gmail.com>	2025-10-08 07:34:32 -04:00
dante	d7b04d0d25	chore: update icicle to latest (#998)	2025-08-14 18:21:06 -04:00
dante	fad31de5b4	refactor: make reusable-verifier feat default (#996)	2025-07-30 14:54:08 -04:00
Ethan Cemer	3ea68f08b3	feat: vka hashing squash (#982)	2025-06-27 22:58:10 +02:00
dante	40ce9dfde9	chore: rm lots of clones (#980)	2025-05-26 10:54:09 -04:00
dante	839030ce10	chore: rm halo2proofs patches (#976)	2025-04-29 10:58:35 -04:00
dante	cfccc5460c	refactor: rm postgres (#977)	2025-04-29 08:59:14 -04:00
Ethan Cemer	fe978caa85	fix!: bug fixes (#956) ... BREAKING CHANGE: DA verifier no longer backwards compatible	2025-03-18 22:08:29 +00:00
dante	bc26691bd5	chore: smaller cat dog example (#947)	2025-02-28 10:37:08 -05:00
dante	21ad56aea1	refactor: serial lookup commits for metal (#928)	2025-02-05 16:54:12 -05:00
dante	4ed7e0fd29	fix: use variable len domain for poseidon (#927)	2025-02-05 16:52:28 -05:00
dante	820a80122b	fix: range-check graph input and outputs (#921)	2025-02-04 02:33:27 +00:00
dante	27b5e5dde3	fix: make flushing err more informative (#919)	2025-01-28 14:53:05 -05:00
Artem	7ae541ed35	feat: metal acceleration for MSM solving (#909) ... --------- Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>	2025-01-20 22:17:24 -05:00
dante	6752a05f19	refactor: pregen mv-lookup blinds (#900)	2025-01-08 17:18:46 +00:00
dante	e86caca8b6	refactor: batched poly reads (#897)	2025-01-06 15:49:47 +00:00
dante	caa6ef8e16	fix: const filtering strat is size dependent (#891)	2024-12-27 09:43:59 -05:00
dante	876a9584a1	chore: optimize wasm bundle for speed over size (#889)	2024-12-12 15:35:17 -05:00
dante	96f3fd94b2	feat: ICICLE MSM and NTT integration (#884)	2024-12-07 00:32:09 +00:00
dante	b2e4e414f0	chore: update pyo3 and add stub (#879)	2024-12-05 10:35:06 -05:00
dante	5e169bdd17	chore: update tract to 0.21.8-pre (#878)	2024-12-03 16:52:03 -05:00
Ethan Cemer	0fc1c3eecd	feat: single call DA verifier (#869)	2024-11-19 07:26:17 +00:00
dante	17f1d42739	chore: unify leakyrelu and relu (#858)	2024-10-29 10:43:40 -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
dante	64fbc8a1c9	refactor: lookup-less sign relu abs (#845)	2024-09-17 11:58:58 -04:00
dante	c9f9d17f16	chore: optimized release builds by default (#844)	2024-09-05 15:52:03 +02:00
dante	61b7a8e9b5	chore: perf updates (#838)	2024-08-27 09:45:40 -04:00
dante	5dbc7d5176	chore: cache lookup tables (#835)	2024-08-19 00:24:53 -04:00
dante	ada45a3197	chore: swap h2 collections hash for rustc hasher (#832)	2024-08-04 17:28:36 -04:00
dante	2fd877c716	chore: small worm example (#568)	2024-07-15 09:20:37 -04:00
dante	6855ea1947	feat: parallel polynomial reads in halo2 (#826)	2024-07-12 00:33:14 +01:00
dante	2ca57bde2c	chore: bump tract (#823)	2024-06-29 01:53:18 +01:00
dante	a863ccc868	chore: update cmd feature flag (#814)	2024-06-11 16:07:49 -04:00
dante	f5f8ef56f7	chore: ezkl self update (#809)	2024-06-07 10:30:21 -04:00
dante	4a172877af	feat: add autocompletion tooling to cli (#805)	2024-05-30 16:44:24 -04:00
dante	6be3b1d663	chore: update alloy (#798)	2024-05-16 12:10:27 +09:00
dante	ed65e8c090	Revert "fix: revert maturin version (#795)" ... This reverts commit d9f2adad99.	2024-05-13 12:41:02 +09:00
dante	d9f2adad99	fix: revert maturin version (#795)	2024-05-13 12:21:35 +09:00
dante	5125aaa090	chore: add aarch64 linux to release pipeline (#788)	2024-05-13 11:29:49 +09:00
dante	8f6c0aced5	chore: update tract (#784)	2024-04-30 13:31:33 +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	316a9a3b40	chore: update tract (#766)	2024-04-04 18:07:08 +01:00
dante	5639d36097	chore: verify aggr wasm unit test (#760)	2024-04-01 20:54:20 +01:00
dante	3abb3aff56	feat: make selector polynomials optional (#753)	2024-03-22 09:28:28 +00:00
Ethan Cemer	56e2326be1	*nuke (#742)	2024-03-14 14:11:03 -05:00
dante	74feb829da	feat: parse command ast into flag strings (#720)	2024-02-21 00:38:26 +00:00
dante	e0771683a6	chore: update h2 curves (#709)	2024-02-10 22:54:38 +00:00