dante
|
2a1ee1102c
|
refactor: range check recip (#703)
|
2024-02-05 14:42:26 +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
|
df72e01414
|
feat: make selector compression optional (#696)
|
2024-01-24 00:09:00 +00:00 |
|
dante
|
de48ae18fa
|
refactor: lookup safety during cal should be selectable (#678)
|
2024-01-03 16:10:58 +00:00 |
|
dante
|
fd3159d860
|
refactor: rm encrypted vis (#660)
|
2023-12-16 10:00:44 +00:00 |
|
dante
|
faf4db25d7
|
chore: adds rescaled public inputs / outputs as optional field to proofs (#658)
|
2023-12-14 11:33:38 +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
|
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
|
ee4e64faee
|
feat: cuboid cell arrangement (#594)
|
2023-11-06 08:25:04 +00:00 |
|
dante
|
a71951a14a
|
chore: cleanup intermediary lookup calcs (#583)
|
2023-10-30 18:05:34 +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 |
|
Ethan Cemer
|
c0b1d7e3d0
|
feat: add artifact validations to wasm build (#564)
|
2023-10-20 14:46:01 +01:00 |
|
Ethan Cemer
|
cf35332e9f
|
refactor: remove parseProof methods from js utils + set types to nodejs types. (#544)
|
2023-10-13 08:14:33 +01:00 |
|
dante
|
ffab1e4e60
|
refactor: tighter lookup ranges (#543)
|
2023-10-12 00:44:10 +01:00 |
|
Ethan Cemer
|
7b3dd7b299
|
feat: add in-browswer evm verify js unit tests (#533)
|
2023-10-09 22:12:34 +01:00 |
|
Ethan Cemer
|
a36b954737
|
feat: evm verifier calldata wasm binding (#536)
|
2023-10-09 14:00:03 +01:00 |
|
Ethan Cemer
|
5800eb56f7
|
fix: get input scales from graph for da creation (#529)
|
2023-10-06 23:28:13 +01:00 |
|
Ethan Cemer
|
f859d1577f
|
feat: serialize/deserialize ezkljs/engine helper methods (#505)
|
2023-09-30 17:22:27 +01:00 |
|
dante
|
24482cad3c
|
refactor!: simplify transcript/strategy choice (#502)
BREAKING CHANGE: replaces transcript and strategy args with a single arg
|
2023-09-26 15:04:38 +01:00 |
|
dante
|
eade3647d0
|
feat: merge compiled-model and circuit to reduce pipeline errors (#495)
|
2023-09-19 19:51:54 +01:00 |
|
dante
|
10dcdb949e
|
feat: constant (FIXED) column overflow (#490)
|
2023-09-16 22:34:56 +01:00 |
|
Ethan Cemer
|
7d7de3e3ff
|
chore: comprehensive WASM tests in JS (#483)
|
2023-09-15 14:28:12 +01:00 |
|
dante
|
b8cafcdaea
|
chore: set-membership example (#449)
|
2023-09-01 22:06:39 +01:00 |
|
dante
|
0af90169b4
|
refactor: remove lookup scale rebasing (#448)
|
2023-08-31 21:20:54 +01:00 |
|
dante
|
e3828209ea
|
refactor: multiplicative rescaling + periodic rebasing + dissambiguate input & param scales (#446)
BREAKING CHANGES: split scale into 3 params
|
2023-08-31 12:05:36 +01:00 |
|
dante
|
ee86b76101
|
feat: generic symbol <> dimension size matching (#436)
|
2023-08-25 17:02:09 +01:00 |
|
dante
|
617215a199
|
chore: cleanup input scale processing (#433)
|
2023-08-25 10:24:19 +01:00 |
|
dante
|
1edb7840aa
|
refactor: handle all field processing utils in wasm not js (#425)
|
2023-08-19 05:47:52 -06:00 |
|
dante
|
0b109ed4db
|
refactor: remove tract as dep in wasm compile (#422)
|
2023-08-16 22:28:49 +01:00 |
|
dante
|
34b5d3252c
|
fix: num_constraints calculation during calibration for fixed params (#412)
|
2023-08-14 14:29:49 +01:00 |
|
dante
|
7814f8f5f5
|
refactor: leverage sparsity in argument construction (#392)
|
2023-08-04 20:52:56 +01:00 |
|
dante
|
de7a81c078
|
chore: add current version to settings.json (#374)
|
2023-07-27 17:58:20 +01:00 |
|
dante
|
cd39e5564e
|
chore: serialize/deserialize processed graph (#371)
|
2023-07-24 22:48:49 +01:00 |
|
dante
|
6dd9aacb7f
|
refactor: only GraphData can be on-chain (#342)
|
2023-07-07 12:21:53 +01:00 |
|
dante
|
d895ab3023
|
refactor: abstract over input types (#335)
|
2023-07-01 23:02:52 +01:00 |
|
dante
|
4e350ec06c
|
refactor: split input and witness data types (#334)
|
2023-06-30 03:55:27 +01:00 |
|
Ethan Cemer
|
71c3024f48
|
feat: onchain / file options for input data + persisted evm state between cmds (#319)
---------
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-06-25 18:34:10 +01:00 |
|
dante
|
730e440605
|
refactor: rm absolute tolerance (#317)
|
2023-06-21 08:34:53 +01:00 |
|
dante
|
f6de16a6e4
|
refactor: split input/witness (#316)
|
2023-06-20 22:08:39 +01:00 |
|
Ethan Cemer
|
7325122d83
|
feat: Create verifyWithDataAttestation.sol (#293)
|
2023-06-20 09:42:39 +01:00 |
|
Jseam
|
6cce387a16
|
feat: standardize serialization and lets forward output values (#312)
---------
Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
|
2023-06-19 14:54:07 +01:00 |
|
dante
|
9edd47bbf6
|
feat: visibility = encrypted (#311)
|
2023-06-18 18:25:33 +01:00 |
|
dante
|
6b3e66a648
|
feat: hashed parameters (#309)
|
2023-06-17 08:12:19 +01:00 |
|
dante
|
7b5a0e03e0
|
feat: calibration pass (#295)
|
2023-06-13 13:34:33 +01:00 |
|
dante
|
76a16a2374
|
feat: hashes of inputs and outputs as instances (#291)
|
2023-06-10 14:35:31 +01:00 |
|
dante
|
73ed05cef4
|
feat: allow for variable batch sizes (#283)
|
2023-06-04 12:08:55 +01:00 |
|