github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-04-03 03:00:17 -04:00
Code Issues Packages Projects Releases Wiki Activity
300 Commits 7 Branches 23 Tags
master
Commit Graph

213 Commits

Author SHA1 Message Date
Han
94922af899 Enable OpenVM nightly features (#210) 2025-11-18 09:37:01 +08:00
Han
7b8bb6adcd Remove default value of RUSTFLAGS (#208) 2025-11-07 09:54:54 +08:00
Marcin Bugaj
8d68a60de0 TamaGo compilation support (#206) 2025-11-06 20:15:45 +08:00
Han
6547820fc8 Support OutputHasher for all platform crate (#205) 2025-11-05 20:05:59 +08:00
Han
1de217d43a Make server handler non-blocking (#204) 2025-11-05 14:41:40 +08:00
Han
ae6baa03c1 Add crates ere-platform-{zkvm} (#202) 2025-11-05 12:49:12 +08:00
Han
52643911bc Update zisk to v0.13.0 (#187) 2025-11-03 19:42:36 +08:00
Han
9ef5aa513a Update miden to v0.18.3 (#198) 2025-11-01 15:28:23 +08:00
Han
81c8c6a62c Update nexus to v0.3.5 (#197) 2025-11-01 13:59:40 +08:00
Han
0b6a839f7a Update openvm to v1.4.1 (#195) 2025-11-01 11:32:11 +08:00
Han
f4b99ab7fd Update sp1 to v5.2.2 (#188) 2025-11-01 09:05:27 +08:00
Han
7ffdc632d4 Auto zkvm update check (#186) 2025-10-31 17:48:59 +08:00
Han
ceba282275 Install rust src if not found (#185) 2025-10-31 13:09:14 +08:00
Han
ffc2fccaea Refactor mods to separate compiler and zkvm (#184) 2025-10-30 18:54:08 +08:00
Han
9957836858 Alternative of #182 (#183) 
Co-authored-by: =?UTF-8?q?Lancelot=20de=20Ferri=C3=A8re?= <wraitii@gmail.com>
 2025-10-29 23:01:48 +08:00
Han
e9cdb1795d Update Jolt to v0.3.0-alpha (#181) 2025-10-29 07:11:11 +08:00
Han
0d0bb451ff Refactor zkVM error handling (#179) 2025-10-28 08:24:27 +08:00
Han
5c342eec44 Use zksync-os linker scripts (#178) 2025-10-24 19:57:11 +08:00
Han
6a2c6e1d54 Refactor dockerized zkvm error (#176) 2025-10-21 22:04:33 +08:00
Han
11020823a6 Integrate Airbender (#175) 2025-10-21 11:21:26 +08:00
Han
577f97165e zkVM takes opaque input (#173) 2025-10-18 11:04:35 +08:00
brechy
7bd1789a31 nexus: implement execute and io serialization (#171) 
Co-authored-by: han0110 <tinghan0110@gmail.com>
 2025-10-18 08:55:36 +08:00
Han
7e0c8d7fe8 Reorganize crates (#169) 2025-10-16 08:03:04 +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
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) 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