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

56 Commits

Author SHA1 Message Date
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
1d9c16dc8d Support multiple proof kind (#161) 2025-10-14 21:30:07 +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
Han
a62e25c62d Refactor ere-dockerized (#160) 2025-10-09 21:47:10 +08:00
Han
b8a1cfae86 Upgrade zisk to v0.12.0 (#157) 2025-10-02 20:14:16 +08:00
Han
70a84a375c Add crate ere-server (#153) 2025-10-01 21:11:29 +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
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
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
a9a0ce3aaa Upgrade risc0-zkvm to 3.0.3, also remove unused dep risc0-zkvm-platform (#123) 2025-09-03 21:24:07 +08: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
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
36b1b8fe10 OpenVM cache pk (#110) 2025-08-29 09:21:37 +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
7749e1dfc6 Upgrade ZisK to v0.10.0 (#95) 2025-08-18 22:35:04 +08:00
Han
06d15a4a77 CI test more and cache image (#92) 2025-08-15 22:53:12 +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
f281ead60a Cleanup some todos in SP1 dockerfile (#79) 2025-08-07 22:06:12 +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
e688cbdf8e Fix ere-jolt (#72) 2025-07-31 16:15:43 +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
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
Han
3b230f423b Upgrade zisk to 0.9.0 (#53) 2025-07-21 13:18:38 +01: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
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
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
2622dfb400 formatting 2025-05-13 17:30:18 +01:00
Kevaundray Wedderburn
9e805d5a4f add rustup default nightly 2025-05-13 17:28:51 +01:00
Kevaundray Wedderburn
1b22a73d41 test pico in docker 2025-05-13 11:40:53 +01:00
Kevaundray Wedderburn
5bf4fb8f9c add test to openvm Dockefile 2025-05-12 21:35:22 +01:00
Kevaundray Wedderburn
049b099835 fix: copy host directory 2025-05-12 14:30:16 +01:00
Kevaundray Wedderburn
090b430971 fix comment: run tests in docker 2025-05-12 14:03:01 +01:00
Kevaundray Wedderburn
030ac2dbbc run risczero tests in Docker 2025-05-12 14:02:14 +01:00
Kevaundray Wedderburn
fdbdb15272 add testing when building Dockerfile 2025-05-11 22:56:09 +01:00
Kevaundray Wedderburn
c4bdea8981 add zisk 2025-05-11 19:18:19 +01:00
Kevaundray Wedderburn
893df214e1 add jolt 2025-05-11 19:09:15 +01:00