35 Commits

Author SHA1 Message Date
Ethan Cemer
3ea68f08b3 feat: vka hashing squash (#982) 2025-06-27 22:58:10 +02: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
b2e4e414f0 chore: update pyo3 and add stub (#879) 2024-12-05 10:35:06 -05:00
Artem
1cb1b6e143 feat: iOS Bindings (#846) 2024-10-23 09:58:55 -04:00
dante
924f7c0420 fix: simplify kzg-commit (#780) 2024-04-24 11:57:20 -04:00
Ethan Cemer
8aaf518b5e fix: fix @ezkljs/verify etherumjs deps (#765) 2024-04-12 18:24:59 -04:00
Jseam
0943e534ee docs: automated sphinx documentation for python bindings (#714)
---------

Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
Co-authored-by: Ethan Cemer <tylercemer@gmail.com>
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
2024-04-05 18:33:06 +01:00
dante
5639d36097 chore: verify aggr wasm unit test (#760) 2024-04-01 20:54:20 +01:00
Ethan Cemer
2be181db35 feat: merge @ezkljs/verify package into core repo. (#736) 2024-03-14 01:13:14 +00:00
dante
3386bba9ce chore: test for max 0.18 error on resources cal (#639) 2023-12-01 09:22:20 +00:00
Ethan Cemer
686e2bc6c0 feat: evm instances parser (#539) 2023-10-13 00:44:28 +01:00
Ethan Cemer
7d7de3e3ff chore: comprehensive WASM tests in JS (#483) 2023-09-15 14:28:12 +01:00
Jseam
a329d2c0a6 feat: time series forecasting example with nbeat (#481)
---------

Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>
2023-09-15 14:24:27 +01:00
Ethan Cemer
d6a7841026 feat: JS<>wasm npm package release script (#404) 2023-08-12 15:35:15 +01:00
dante
7ffd646027 fix: compiled model serialization with neq binaries (#395) 2023-08-05 14:02:07 +01:00
dante
50635cb884 chore: python integration tests (#350) 2023-07-10 22:24:46 +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
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
Jseam
cc5ec813ab feat: Create python bindings for aggregate, verify_aggr, create_evm_verifier_aggr, print_proof_hex (#258) 2023-05-27 18:03:05 +01:00
dante
df52f6e8a8 chore: jupyter notebook demo (#223) 2023-05-05 10:47:22 +01:00
dante
a9c5bd7c49 feat: separate keygen and setup cmd (#221) 2023-05-04 22:55:01 +01:00
Jseam
699bd3992b feat: Add python bindings for mock and prove (#197) 2023-05-03 03:24:34 +01:00
Jason Morton
c03a242f85 feat: Python bindings (#185)
---------

Co-authored-by: jseam2 <joshia_seam@mymail.sutd.edu.sg>
2023-04-13 08:26:05 +01:00
Alluri
a111214da0 feat: add tanh nonlinearity (#175)
---------

Co-authored-by: disirulla <sidalluri@gmail.com>
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>
2023-03-29 07:32:31 +01:00
dante
e23d876e6e feat: vanilla model forward pass for output json generation (#122) 2023-02-26 21:56:11 +00:00
Koh Wei Jie
39bb7b87d8 feat: solidity verifier generation (#111)
* added ability to output the proof as hex and save Yul code to a file

* --sol-code-path parameter for CreateEVMVerifier and python script to make it work

* updated readme about --sol-code-path
2023-02-22 20:00:57 -05:00
dante
65fb1a05b0 feat: prove and verify for evm pipeline (#109) 2023-02-18 06:49:58 +00:00
dcbuilder.eth
d0b7ae26f0 add: leaky_relu non-linearity (#72)
Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
2022-12-29 14:02:57 +00:00
dante
e2f23d7852 fix: kzg verification with EVM (#83) 2022-12-23 07:04:53 -05:00
dante
f228d238f6 feat: KZG commitments with single strategy for proving (#81) 2022-12-18 04:01:37 +00:00
Jason Morton
390507ab20 feat: cli subcommands (#41)
Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
2022-10-09 10:21:03 +01:00
Jason Morton
11434e92a7 em 2022-08-28 21:52:37 -04:00
Alexander Camuto
2a8b2d121e chore: added cargo lock to ignore as a library not an app 2022-08-28 17:02:12 +02:00
Alexander Camuto
9b00e052bb chore: remove clippy warnings 2022-08-28 04:00:45 +02:00