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
192 Commits 11 Branches 19 Tags
v0.0.12
Commit Graph

125 Commits

Author SHA1 Message Date
Han
7ef4598594 Use fork of zisk that allows to override CUDA_ARCH (#137) 2025-09-17 20:12:17 +08:00
Brechy
1cb4e9238e feat: ere-miden (#136) 
Co-authored-by: Han <tinghan0110@gmail.com>
 2025-09-17 11:14:01 +08:00
Han
58b76fb68e Add ere-zkm (#126) 
Co-authored-by: Paul Cheng <chengyuejia@foxmail.com>
 2025-09-08 22:08:01 +08:00
Han
8e10e78c15 Upgrade ZisK to 0.11.0 (#125) 2025-09-08 20:29:45 +08:00
Han
f32de5f647 Inherit env OPENVM_RUST_TOOLCHAIN for OpenVM in ere-dockerized (#124) 2025-09-04 17:16:54 +08:00
Han
a9a0ce3aaa Upgrade risc0-zkvm to 3.0.3, also remove unused dep risc0-zkvm-platform (#123) 2025-09-03 21:24:07 +08:00
Ignacio Hagopian
071deec1c3 ere-risc0: allocator alignments test (#120) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-09-03 08:18:09 -03:00
Han
6a1855c7af Add GPU proving support in ere-openvm (#113) 2025-09-03 13:46:10 +08:00
rodiazet
a2cb0d73dd pico: Guest program compilation with stock rust compiler. (#118) 
Co-authored-by: kevaundray <kevtheappdev@gmail.com>
Co-authored-by: Han <tinghan0110@gmail.com>
 2025-09-02 09:09:00 +08:00
Han
f32a77fcc0 Add getters for EreDockerizedzkVM (#117) 2025-08-30 20:25:14 +08:00
rodiazet
c772b1ff2c jolt: Guest program compilation with stock rust compiler. (#116) 2025-08-29 23:43:27 +01:00
rodiazet
664dc62c9f openvm: Guest program compilation with stock rust compiler. (#115) 2025-08-29 20:18:10 +01:00
rodiazet
a063344dae risc0: Guest program compilation with stock rust compiler. (#114) 2025-08-29 19:57:40 +01:00
Han
8d3847df28 zkVM output for ere-dockerized (#112) 2025-08-29 09:21:46 +08:00
Han
36b1b8fe10 OpenVM cache pk (#110) 2025-08-29 09:21:37 +08:00
Han
54aa24c9a4 Implement returning of public values for other zkVMs (#109) 2025-08-28 11:24:52 +08:00
Han
44044a1858 zkVK methods return public values (#106) 2025-08-27 14:27:56 +08:00
rodiazet
63107268a1 sp1: Compile sp1 guest program with stock rust compiler (#102) 2025-08-22 14:57:27 +02:00
Han
5556109753 Upgrade risc0 to 3.0.1 and use the new actor system prover (#103) 
Co-authored-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-08-22 12:00:54 +08:00
Han
0505f0e6e9 Upgrade openvm (#98) 2025-08-20 17:47:10 +01:00
Han
f8eef49fd0 Risc0 check receipt variant (#100) 2025-08-20 21:40:31 +08:00
Han
afc686b4c8 In ZisK verify method checks rom digest is expected as the preprocessed one (#99) 2025-08-19 22:30:38 +08:00
Han
7749e1dfc6 Upgrade ZisK to v0.10.0 (#95) 2025-08-18 22:35:04 +08:00
Han
80330caf59 CI clippy ere-dockerized (#94) 
Co-authored-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-08-18 19:21:31 +08:00
Han
bf6d94f32a Use test-utils for all zkvms (#88) 2025-08-15 09:34:24 +08:00
Han
a0a29cbb7d Add crate test-utils (#82) 2025-08-14 22:00:23 +08:00
Han
360a59bd67 Resolves #83 (#86) 2025-08-14 21:58:13 +08:00
Han
63f4ab1fff Add multi-gpu proving for risc0 (#50) 2025-08-12 22:49:38 +08:00
Han
0c8d4c381c Add InputItem::SerializedObject (#80) 2025-08-11 14:44:22 +08:00
Han
1ad15f7379 Fix ere-dockerized SP1 GPU prover (#78) 2025-08-05 22:15:24 +08:00
Han
bddb264ab3 Refactor ere-dockerized (#77) 2025-08-05 14:17:11 +08:00
Han
42e7c6c416 Add ere-dockerized (#75) 2025-08-02 19:21:52 +08:00
Han
1585a77405 Refactor ere-zisk (#74) 2025-07-31 16:16:47 +01:00
Han
ba4a1b453c Add ere-cli (#71) 2025-07-31 16:14:56 +01:00
Han
d1fcf72d80 Do preprocess when instantiating EreJolt (#68) 2025-07-30 00:17:49 +01:00
Ignacio Hagopian
0ad7730a0c sp1: update sdk (#69) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-07-29 12:04:20 -03:00
Han
7f812cda7e Do preprocess when instantiating EreOpenVM (#67) 2025-07-28 22:02:31 +08:00
Han
21e2c161de Risc0 docker compilation (#58) 2025-07-23 11:50:58 +01:00
Paul
bc3d99fa1b feat: Impl zkVM for Nexus zkvm (#47) 
Co-authored-by: Han <tinghan0110@gmail.com>
 2025-07-23 17:37:10 +08:00
Ignacio Hagopian
498c484d1c Update SP1 SDK to v0.5.8 (#62) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 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>
 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>
 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>
 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>
 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>
 2025-07-09 09:07:32 -03:00