Commit Graph

202 Commits

Author SHA1 Message Date
dante
bceac2fab5 ci: make gpu tests single threaded (#700) 2024-01-31 18:19:29 +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
Jason Morton
11ac120f23 fix: large test numbering(#689)
Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
2024-01-21 21:01:46 +00:00
dante
ddbcc1d2d8 fix: calibration should only consider local scales (#691) 2024-01-18 23:28:49 +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
dante
fd3159d860 refactor: rm encrypted vis (#660) 2023-12-16 10:00:44 +00:00
Jseam
0b661e9c63 fix: use venv on musl linux (#652) 2023-12-10 16:59:15 +00:00
dante
71a0a5fa0b chore: cleanup remote cmds (#650) 2023-12-09 23:35:56 +00:00
dante
1697b6e46e feat!: create SRS repo by default to avoid redownloading (#649) 2023-12-08 17:59:55 +00:00
dante
54ab439fec fix: patch arg processing for 1D sumpool (#646) 2023-12-05 22:13:03 +00:00
dante
3386bba9ce chore: test for max 0.18 error on resources cal (#639) 2023-12-01 09:22:20 +00:00
dante
4fcf775d77 feat: lookup modularity (#637) 2023-11-28 22:43:28 +00:00
Jseam
e250b68979 fix: update hub queries (#630)
---------

Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
2023-11-27 11:12:06 +00:00
dante
cd70a95836 refactor: remove most paths that panic or crash when using as a lib not bin (#632) 2023-11-26 13:05:07 +00:00
dante
4b1b9a8b8b chore: rm hub example (#631) 2023-11-23 18:05:28 +00:00
Jseam
df27e81038 docs: add tictactoe examples (#623) 2023-11-21 10:25:39 +00:00
dante
6082d71f08 fix: allow for 0 instance evm verifier (#622) 2023-11-21 00:45:07 +00:00
dante
6fea1dea53 chore: world rotation example (#618) 2023-11-18 15:09:39 +03:00
dante
13dae3392f fix!: make calibrate-settings sync in python (#616)
BREAKING CHANGE: calibrate settings is no longer async
2023-11-18 01:08:10 +03:00
dante
679b59794a fix: remove import test (#615) 2023-11-15 05:26:13 +00:00
dante
95b1a75c11 fix: import hyphen (#614) 2023-11-14 23:32:28 +00:00
dante
13a7bdd2c6 fix: pip wheel name (#613) 2023-11-14 23:01:32 +00:00
dante
291544c1d2 fix: pip install wheel name (#612) 2023-11-14 22:59:38 +00:00
dante
cc26c6ddb5 fix: substitute project name in python gpu build (#611) 2023-11-14 22:25:03 +00:00
dante
e2f0c539cf fix: patch gpu release scripts (#610) 2023-11-14 21:28:00 +00:00
dante
bbb8aeada0 chore: add gpu releases to CI (#609) 2023-11-14 16:31:23 +00:00
Ethan Cemer
c531e49947 refactor: universal release trigger for python and js bindings (#608) 2023-11-14 16:09:41 +00:00
samtvlabs
9a2afb653a feat: hub auth (#605) 2023-11-14 16:11:19 +03:00
Jeremy Felder
97e473126d feat: icicle integration (gpu proving) (#586)
---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>
2023-11-12 16:49:25 +00:00
dante
50ed2e2990 chore: cleanup integration tests (#600) 2023-11-11 08:58:44 +03:00
dante
ae88ffe55b feat: match accum constraints to cuboid (#595) 2023-11-07 18:02:08 +03:00
dante
470116b97b chore: simple mnist classifier example (#593) 2023-11-04 19:38:33 +00:00
dante
4c8493d422 chore: generalized inverse example (#588) 2023-11-02 14:46:02 +00:00
dante
098903869a feat: aggregation for split proofs (#581) 2023-10-30 12:03:32 +00:00
dante
77df15d152 fix: patch int to float cast and rounding ops (#580) 2023-10-27 20:43:00 +01:00
Ethan Cemer
c821165ba1 feat: gen pk and vk wasm bindings (#577) 2023-10-27 09:31:12 +01:00
dante
8493ed3ddc fix: patch tract inference for ? dims (#576) 2023-10-26 23:30:24 +01:00
dante
3156738f16 chore: gan proof splitting example (no parallelism) (#574) 2023-10-25 23:52:42 +01:00
dante
875fdda60e chore: proof splitting example (#572) 2023-10-24 22:18:18 +01:00
dante
4ac0873c5a chore: solvency demo (#571) 2023-10-24 11:52:33 +01:00
dante
adff86a868 chore: kmeans example (#567) 2023-10-23 21:14:30 +01:00
Ethan Cemer
45fda82120 fix: non default export in utils method of web wasm bundle (#569) 2023-10-23 16:45:02 +01:00
dante
593e46a3da feat: kzg commitment proof bytes swapping (#565) 2023-10-20 17:00:19 +01:00
dante
18cb9d47da feat: add kzg commit in witness (#563) 2023-10-20 09:10:12 +01:00
dante
bd27720b7c feat: kzgcommit vis (#562) 2023-10-19 21:16:51 +01:00
dante
8eac8f2884 chore: sync halo2 with upstream (#561) 2023-10-19 12:39:04 +01:00
dante
a6242f69bd chore: lookup overflow benches (#557) 2023-10-17 08:16:10 +01:00
samtvlabs
efe65f06a3 feat: adds rust hub bindings (#551)
---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
2023-10-17 00:54:01 +01:00