143 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
DoHoon Kim	b9c5ae76c0	chore: bump halo2_solidity_verifier (#985)	2025-07-03 09:54:46 -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	a7544f4060	feat: generalize conv mem layout and ND (#935)	2025-02-10 09:11:58 -05:00
Jseam	de8d419e5d	ci: change to sha hashes (#922)	2025-02-07 12:27:35 -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	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	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
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	e5aa48fbd6	chore: support all padding types (#848)	2024-10-05 10:43:12 -04: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	616b421967	fix: bump compiler to latest to accomodate latest serde diagnostic (#830)	2024-07-25 07:56:21 -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
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	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	749e0ba652	chore: update h2 solidity verifier (#787)	2024-05-03 01:25:14 +01: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	f78618ec59	feat: full ND conv and pool (#770)	2024-04-06 23:29:30 +01: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	80a3c44cb4	feat: lookup-less recip by default (#725)	2024-02-28 16:35:20 +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	e0771683a6	chore: update h2 curves (#709)	2024-02-10 22:54:38 +00:00