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
195 Commits 11 Branches 19 Tags
risc0-profiling
Commit Graph

128 Commits

Author SHA1 Message Date
rodiazet
fb115ab451 support risc0 profiling in docker. 2025-10-02 11:18:23 +02:00
rodiazet
9bd082c2cb support risc0 profiling in docker. 2025-10-02 11:13:34 +02:00
rodiazet
f3f2b23d5d support risc0 profiling in docker. 2025-10-02 11:07:33 +02:00
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