github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-02-19 11:54:42 -05:00
Code Issues Packages Projects Releases Wiki Activity
143 Commits 11 Branches 19 Tags
v0.0.9
Commit Graph

143 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ignacio Hagopian
498c484d1c Update SP1 SDK to v0.5.8 (#62) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
v0.0.9 		2025-07-22 16:34:12 -03:00
Han
6d30326da4 Add constructor function for trait zkVM (#61) 2025-07-22 20:49:38 +08:00
Han
3b230f423b Upgrade zisk to 0.9.0 (#53) 2025-07-21 13:18:38 +01:00
Ignacio Hagopian
f05aa50032 docker: separate workspace and guest program directories (#57) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
Co-authored-by: kevaundray <kevtheappdev@gmail.com>
v0.0.8 		2025-07-20 18:58:02 -03:00
Ignacio Hagopian
f01a6c16db InputItem: Support extra traits (#55) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
v0.0.7 		2025-07-18 16:05:25 -03:00
Ignacio Hagopian
3da61c14cb sp1: use Docker for guest program compilation (#54) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
v0.0.6 		2025-07-16 08:54:15 -03:00
Paul
6af8c939ff feat: add serde for Risc0Program (#45) 2025-07-15 20:19:32 +08:00
Han
1cf9d545ea Fix Pico's docker test (#51) 
Co-authored-by: kevaundray <kevtheappdev@gmail.com>
 2025-07-14 19:06:01 +08:00
Han
2fdc62a422 zisk: tempdir for cargo-zisk rom-setup (#39) 2025-07-14 11:26:26 +01:00
Ignacio Hagopian
94b026dc4b zkvm-interface: allow dynamic dispatch in zkVM trait (#52) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
v0.0.5 		2025-07-14 00:02:12 +01:00
Ignacio Hagopian
47e33298fb Add automatic name and sdk version (#48) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
v0.0.4 		2025-07-09 09:07:32 -03:00
Ignacio Hagopian
5d58bc6724 Merge pull request #42 from eth-act/jsign-sp1-hack 
sp1: experimental take to solve poisoned lock
v0.0.3 		2025-06-26 15:23:32 +02:00
Ignacio Hagopian
160feef479 improvement 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-06-25 17:45:34 -03:00
Ignacio Hagopian
c0d2f40946 sp1: implement workaround for poisoned mutex when prover crashes 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-06-25 17:34:23 -03:00
Ignacio Hagopian
ac3eb134a1 sp1: update sdk (#40) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
v0.0.2 		2025-06-23 14:29:10 +02:00
Ignacio Hagopian
9af117fd17 risc0: generate succinct proofs (#38) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-06-21 16:14:44 +02:00
Ignacio Hagopian
10f1655bf2 Merge pull request #36 from eth-act/jsign-sp1-compressed 
sp1: use compressed proofs
v0.0.1 		2025-06-20 14:51:12 +02:00
Ignacio Hagopian
99ecdca3a5 sp1: use compressed proofs 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-06-20 09:00:46 -03:00
kevaundray
33f0b62d34 feat: Add prover network parameter (#35) 
* one shot :D

* update cargo.lock

* one shot

* commit

* remove unused parameter

* simplify

* derive default

* update

* update cargo.lock
 2025-06-17 17:37:10 +02:00
kevaundray
8b84f257b9 Update README.md (#30) 2025-06-06 10:27:50 +02:00
Han
5f4fe5e7a8 refactor: Only do rom-setup when proving, and add ZiskTempDir in ere-zisk (#31) 
* refactor: `ere-zisk` only do `rom-setup` when proving, and add `ZiskTempDir`

* fix: update doc of `Program` from elf path to elf bytes

---------

Co-authored-by: kevaundray <kevtheappdev@gmail.com>
 2025-06-05 15:17:30 +02:00
Han
bd37fb0c9f fix: pin openvm version and upgrade the latest tag (#32) 2025-06-05 11:43:35 +02:00
Ignacio Hagopian
6728fde39c Merge pull request #29 from jsign/jsign-execution-duration 
zkvm-interface: add execution duration
 2025-05-30 14:42:34 -03:00
Ignacio Hagopian
0f6fb4ebbc zkvm-interface: add execution duration 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-05-30 14:18:09 -03:00
Kevaundray Wedderburn
14144c4346 use write_frame for r0 2025-05-28 18:37:34 +01:00
Kevaundray Wedderburn
f9e7b4308d compile in release mode 2025-05-28 18:03:33 +01:00
Han
5b5a012e26 feat: Add ere-zisk with only compile and execute utility. (#27) 
* feat: add `ere-zisk` and `compile` functionality

* fix: use `FixintEncoding` for `Input::as_bytes` to make it deterministic

* feat: implement `zkVM::execute`

* fix: make `install_zisk_sdk.sh` work with docker

* chore: add comment why use `#[should_panic]`

* feat: use command `cargo-zisk ...` for `compile`, `execute`, `prove` and `verify`

* ci

* fix: invalid proof
 2025-05-28 15:49:04 +01:00
Kevaundray Wedderburn
d106f8d65c fix: imports 2025-05-24 21:23:50 +01:00
kevaundray
2c6a4f5313 Merge pull request #21 from eth-applied-research-group/kw/move-reports-to-module 
chore: move proving/executing summaries to reports.rs
 2025-05-24 21:14:40 +01:00
Kevaundray Wedderburn
015157f0d7 move reports to reports.rs 2025-05-24 21:13:41 +01:00
kevaundray
74df1a3613 Merge pull request #20 from eth-applied-research-group/kw/r0-gpu 
feat: Add GPU support for risc0
 2025-05-24 20:45:38 +01:00
Kevaundray Wedderburn
a1c0f98982 Merge branch 'master' into kw/r0-gpu 2025-05-24 20:26:23 +01:00
kevaundray
508c039cd2 Merge pull request #8 from eth-applied-research-group/kw/enable-pico 
chore: add execute for pico
 2025-05-24 20:23:28 +01:00
Kevaundray Wedderburn
b911ce818d check for cuda or metal 2025-05-24 20:22:35 +01:00
Kevaundray Wedderburn
0825c06887 Merge branch 'master' into kw/enable-pico 2025-05-24 19:54:37 +01:00
kevaundray
847dc0227f Merge pull request #18 from eth-applied-research-group/kw/input-dyn-objects 
feat: Modify Input to no longer use bincode implicitly
 2025-05-24 19:51:15 +01:00
Kevaundray Wedderburn
5445f6c3f4 clippy 2025-05-24 19:29:38 +01:00
Kevaundray Wedderburn
798fcf23f3 InputErased -> Input 2025-05-24 19:28:40 +01:00
Kevaundray Wedderburn
f29b7adeb6 Merge branch 'master' into kw/input-dyn-objects 2025-05-24 19:15:35 +01:00
Kevaundray Wedderburn
03bd13c9c6 clippy 2025-05-24 19:14:53 +01:00
Kevaundray Wedderburn
e210675bab remove old Input 2025-05-24 19:11:48 +01:00
Kevaundray Wedderburn
e76f265dd3 use InputErased 2025-05-24 19:10:07 +01:00
Kevaundray Wedderburn
841f6872ca expose InputItem 2025-05-24 18:57:01 +01:00
Kevaundray Wedderburn
06e5596a38 expose InputErased 2025-05-24 18:55:58 +01:00
kevaundray
8521b060b3 Merge pull request #17 from eth-applied-research-group/kw/add-more-func-risc0 
feat: Impl zkVM for Risc0
 2025-05-24 18:54:05 +01:00
Kevaundray Wedderburn
1537c78414 use enum 2025-05-24 18:52:11 +01:00
Kevaundray Wedderburn
b18ab9a57d add initial code for inputErased 2025-05-24 18:40:51 +01:00
Kevaundray Wedderburn
a1f86602b4 fill in prove, test,execute 2025-05-24 18:15:43 +01:00
Kevaundray Wedderburn
5b3c7a9501 Merge branch 'master' into kw/enable-pico 2025-05-23 22:49:49 +01:00
kevaundray
3cb1f39c23 Merge pull request #13 from eth-applied-research-group/kw/concrete-error 
chore: concerete zkVM Error
 2025-05-20 21:15:08 +01:00