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

212 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
brechy
7bd1789a31 nexus: implement execute and io serialization (#171) 
Co-authored-by: han0110 <tinghan0110@gmail.com>
v0.0.13 		2025-10-18 08:55:36 +08:00
Han
7e0c8d7fe8 Reorganize crates (#169) 2025-10-16 08:03:04 +08:00
Han
afab316a14 Add --locked in pico-cli installation scirpt (#168) 2025-10-14 22:57:37 +08:00
Han
1d9c16dc8d Support multiple proof kind (#161) 2025-10-14 21:30:07 +08:00
Han
ad4e211af7 Refactor CI (#167) 2025-10-10 22:26:46 +08:00
Han
3d890355f0 OpenVM execution no metering (#166) 2025-10-10 19:43:10 +08:00
Ignacio Hagopian
48cb2b8a3f ere-dockerized: avoid blocking worker threads (#163) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-10-10 19:42:49 +08:00
Ignacio Hagopian
56cefae667 sp1: add clang dep (#164) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-10-10 09:15:34 +08:00
Ignacio Hagopian
6449699ec6 ci: fix compiler docker tag (#162) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-10-09 13:09:56 -03:00
Han
a62e25c62d Refactor ere-dockerized (#160) 2025-10-09 21:47:10 +08:00
Han
fb3443a169 Add crate ere-compiler (#159) 2025-10-08 20:04:31 +08:00
Rohit Narurkar
4163db13b6 Include OpenVM execution cycles count (#158) 2025-10-06 10:33:31 +08:00
Han
b8a1cfae86 Upgrade zisk to v0.12.0 (#157) 2025-10-02 20:14:16 +08:00
Han
f78a21ba1e Reorganize compiler modules (#156) 2025-10-01 22:27:57 +08:00
Han
70a84a375c Add crate ere-server (#153) 2025-10-01 21:11:29 +08:00
Han
215a326995 ZisK server mode (#150) 2025-09-26 00:02:06 +08:00
Ignacio Hagopian
1ab83ad3c7 zisk: add memlock unlimited (#145) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-09-23 22:22:15 +08:00
Han
f62ce623f2 Refactor stock rust compilation with crate compile-utils (#144) 2025-09-20 21:32:49 +08:00
Han
3e4491d043 Test dockerized pico (#141) 2025-09-18 14:09:33 +08:00
Han
9804776022 Complete ere-pico (#139) 2025-09-18 10:28:58 +08:00
Han
7ef4598594 Use fork of zisk that allows to override CUDA_ARCH (#137) v0.0.12 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
Ignacio Hagopian
2f979dbd01 zisk docker image rebuild (#133) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-09-10 08:42:04 +08:00
Han
aa44b74101 CI runnable by fork (#131) 2025-09-09 21:32:22 +08:00
Han
75147106b2 Fix CI (#130) 2025-09-09 20:59:19 +08:00
Ivan Litteri
e4e12bcb4e Fix invalid --chmod Dockerfile syntax in docker/sp1 (#127) 2025-09-09 11:06:25 +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
Han
9b67889162 Reuse base image if unchanged in CI (#122) 2025-09-03 19:23:06 +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
Paul
e4b1ccca54 Upgrade sp1 to 5.2.1 (#108) 2025-09-03 17:49:20 +08:00
Han
6a1855c7af Add GPU proving support in ere-openvm (#113) 2025-09-03 13:46:10 +08:00
Ignacio Hagopian
8fe61cad5b Add clang to ere-base (#119) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-09-02 09:09:15 +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) v0.0.11 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