dante
f5f8ef56f7
chore: ezkl self update ( #809 )
2024-06-07 10:30:21 -04:00
dante
27b1f2e9d4
fix: move banner to command loop
2024-05-30 17:01:40 -04:00
dante
4a172877af
feat: add autocompletion tooling to cli ( #805 )
2024-05-30 16:44:24 -04:00
dante
5125aaa090
chore: add aarch64 linux to release pipeline ( #788 )
2024-05-13 11:29:49 +09:00
dante
74feb829da
feat: parse command ast into flag strings ( #720 )
2024-02-21 00:38:26 +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
e30683a4c2
chore: allow for multiple redirect calls during calibrate ( #625 )
2023-11-21 20:17:20 +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
e67535a154
refactor: faster filtering algorithm for null consts ( #421 )
2023-08-16 22:16:09 +01:00
Jseam
287935645a
refactor: change ezkl_lib to ezkl ( #345 )
...
---------
Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com >
2023-07-08 14:50:09 +01:00
dante
83e2de24a9
fix: use tokio (not rayon) for calibration parallelism ( #331 )
2023-06-27 17:57: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
dante
6b3e66a648
feat: hashed parameters ( #309 )
2023-06-17 08:12:19 +01:00
dante
76a16a2374
feat: hashes of inputs and outputs as instances ( #291 )
2023-06-10 14:35:31 +01:00
dante
f96aa45219
feat: parallel einsum layout ( #251 )
2023-05-22 09:54:23 +01:00
dante
2e1e756d40
feat: allow for single channel conv kernels ( #201 )
2023-04-24 08:41:53 +01:00
dante
f448150905
feat: integrate accumulated args into graph ( #174 )
...
* feat: accum pow
* feat: accum pack
* feat: pairwise rescaled ops
* fix examples
* feat: integrate accumulated args into graph
* rm max rotations argument
* update readme
* feat: reuse base gate config
* matmul relu benches
* nil rotation lookup and range
* Update rust.yml
* clippy cleanup
* doc strings
* rm init dot
* fix doc tests
* single lookup as default
* Update integration_tests.rs
* Update rust.yml
* split SRS generation 20/23
2023-03-24 21:14:07 -04:00
dante
cd986fe536
feat: cli compilation to wasi ( #159 )
2023-03-11 09:53:47 +00:00
dante
ec40a77d15
fix: logs should go to stdout not stderr ( #153 )
2023-03-07 13:09:39 +00:00
Koh Wei Jie
0a5d1aa192
chore: minor adjustment to the Solidity verify() function signature and integration of Solidity verification with the CI ( #114 )
2023-02-25 11:34:43 +00:00
dante
161b0e2249
refactor: run args as separate struct ( #112 )
2023-02-23 20:22:40 +00:00
dante
65fb1a05b0
feat: prove and verify for evm pipeline ( #109 )
2023-02-18 06:49:58 +00:00
dante
16f746b0d2
chore: error bubbling ( #93 )
...
Co-authored-by: jason <jason.morton@gmail.com >
2023-01-15 09:02:39 +00:00
Jason Morton
c067790f6a
refactor: more explicit parameters, separate run function ( #91 )
...
* refactor env/arg state
* separate execute
2023-01-02 15:28:55 -05: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
Alexander Camuto
9eb2aecfb0
refactor: struct for tracking variables ( #63 )
2022-11-19 16:20:15 +00:00
Alexander Camuto
ed87fa780f
feat: range check outputs ( #60 )
2022-11-06 18:13:30 -08:00
Alexander Camuto
9852a26ce1
chore: clean up onnx sub-package ( #57 )
2022-11-05 10:19:27 -07:00
Jason Morton
31722d4711
feat: evm verify ( #56 )
...
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk >
2022-11-04 12:33:33 -07:00
Alexander Camuto
447c6f6629
chore: more informative errors ( #51 )
2022-10-30 19:14:00 +00:00
Alexander Camuto
8ab86dce6f
chore: helpful error messages for mock proving ( #50 )
...
* chore: helpful error messages for mock proving
* Update ezkl.rs
* fix warnings
* naming
* Update ezkl.rs
2022-10-29 11:40:06 -04:00
Alexander Camuto
e4de10a9ff
chore: python tutorial ( #44 )
2022-10-17 08:57:41 +01:00
Alexander Camuto
b5bb0d8994
feat: fuse operations ( #43 )
...
Co-authored-by: Horace <horacepan@gmail.com >
2022-10-16 19:01:09 +01:00
Alexander Camuto
40887133ab
fix: pav integration test ( #42 )
2022-10-09 11:41:10 +01: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
0d7b6940ba
rename crate ( #39 )
...
Adjust crate name uses internally to ezkl.
2022-10-08 01:46:13 -04:00
Alexander Camuto
58ad46d74b
fix: sigmoid OOR issues ( #35 )
...
* OOR example
* An mnist with max pooling
* clean up scaling
* Update ezkl.rs
* cleanup further
* Update ezkl.rs
* trace out values
* bits and scale as cli params
* input ex
* relusig example
* add default pair for lookups
* fix sigmoid scaling
* Update README.md
* better logging of unknown funcs
* fix sigmoid tests
* defaults for bits and scale
* cli flag for k and default k
Co-authored-by: Jason Morton <jason.morton@gmail.com >
2022-10-07 13:49:42 -04:00
Alexander Camuto
ed8d95b44f
chore: title screen for cli ( #34 )
2022-10-06 01:36:18 +01:00
Alexander Camuto
3ef3c468c8
fix: conv rescaling and unknown values for fixed tensors ( #33 )
...
Co-authored-by: jason <jason.morton@gmail.com >
2022-10-05 23:21:14 +01:00
Jason Morton
29df95f19c
feat: load a model entirely from an onnx file and build circuit at runtime ( #25 )
...
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk >
2022-10-04 14:49:03 +01:00
