14 Commits

Author SHA1 Message Date
Ethan Cemer
0fc1c3eecd feat: single call DA verifier (#869) 2024-11-19 07:26:17 +00:00
Ethan Cemer
8e6ccc863d feat: all file source kzg commit DA (#812) 2024-06-11 09:32:54 -04:00
Ethan Cemer
685487c853 feat: DA swap proof commitments (#807) 2024-06-07 10:19:38 -04:00
dante
5125aaa090 chore: add aarch64 linux to release pipeline (#788) 2024-05-13 11:29:49 +09: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
3a3b7d5b7c feat: allow for hashed and elgamal vis for DA test data (#549)
---------

Co-authored-by: Ethan Cemer <tylercemer@gmail.com>
2023-10-15 11:56:01 +01:00
Ethan Cemer
686e2bc6c0 feat: evm instances parser (#539) 2023-10-13 00:44:28 +01:00
Ethan Cemer
5800eb56f7 fix: get input scales from graph for da creation (#529) 2023-10-06 23:28:13 +01:00
dante
fdb17a9bf3 refactor: shplonk opening (+verifier) (#518)
---------

Co-authored-by: Ethan Cemer <tylercemer@gmail.com>
2023-10-05 15:55:56 +01:00
Ethan Cemer
aa3053e254 feat: attest to negative values in da verifier + make calls to accounts updatable. (#493) 2023-09-26 13:18:34 +01:00
dante
88b30e51c5 chore: rn pubinputs to instances (#414) 2023-08-14 17:33:53 +01:00
Ethan Cemer
113452b650 fix: limit the pubinput size to verifiers to be < P (#384) 2023-07-31 08:21:25 +01:00
Ethan Cemer
b8913c92d9 perf: optimized sol verifier by replacing memory params with calldata. (#344) 2023-07-09 19:14: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