337 Commits

Author	SHA1	Message	Date
dante	8cf28456b3	refactor: remove IPA (#1014)	2025-10-14 09:32:28 -04:00
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	2f1a3f430e	feat: optional rebase scale override (#993)	2025-07-27 21:05:54 +01:00
dante	e1c126c735	fix: ci (#988)	2025-07-23 20:11:31 -04:00
dante	28594c7651	chore: simplify DataSource (#986)	2025-07-03 10:52:31 -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	cfccc5460c	refactor: rm postgres (#977)	2025-04-29 08:59:14 -04:00
dante	0de0682bfa	refactor: configurable div epsilon (#968)	2025-04-23 09:12:24 +01:00
dante	bf9cf14ab7	refactor!: rpc url should be required (#965) ... BREAKING CHANGE: in python the order of arguments for evm related functions has changed	2025-04-22 12:45:36 +01: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	ab4997d0c2	chore: update docs and panics (#952)	2025-03-10 11:32:28 -04:00
dante	bc26691bd5	chore: smaller cat dog example (#947)	2025-02-28 10:37:08 -05:00
dante	ae076aef09	refactor: rm tolerance parameter (#937)	2025-02-11 12:57:18 -05:00
dante	a7544f4060	feat: generalize conv mem layout and ND (#935)	2025-02-10 09:11:58 -05:00
rebustron	eb205d0c73	chore: fix typos in comments and docs (#934)	2025-02-08 19:13:17 -05:00
dante	db498f8d7c	docs: cat-dog example (#929)	2025-02-08 17:30:13 -05:00
dante	f7f04415fa	chore!: add model input/output types to settings (#933) ... BREAKING CHANGE: compiled model serialization is not backwards compatible	2025-02-07 16:05:59 -05:00
dante	4ed7e0fd29	fix: use variable len domain for poseidon (#927)	2025-02-05 16:52:28 -05:00
dante	9a8c754e45	fix: use onnx convention when integer dividing (#925)	2025-02-05 09:32:44 +00:00
dante	820a80122b	fix: range-check graph input and outputs (#921)	2025-02-04 02:33:27 +00:00
dante	9c64e42bd3	docs: improve quality + code quality fixes (#920)	2025-01-31 10:48:25 +00:00
dante	d0ba505baa	fix: node parsing should not panic (#912)	2025-01-22 08:02:29 -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	675628cd08	fix!: shuffle argument should include an incrementing index (#904) ... BREAKING CHANGE: pk and vk will not be backwards compatible	2025-01-17 09:19:10 -05:00
dante	c5354c382d	refactor: range check sanity toggled by CHECKMODE (#902)	2025-01-10 22:58:52 +00:00
dante	e86caca8b6	refactor: batched poly reads (#897)	2025-01-06 15:49:47 +00:00
dante	7d7f049cc4	chore: neural bag of words example (#888)	2024-12-12 14:20:21 -05: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	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