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

32 Commits

Author SHA1 Message Date
Brechy
1cb4e9238e feat: ere-miden (#136) 
Co-authored-by: Han <tinghan0110@gmail.com>
 2025-09-17 11:14:01 +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
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
9b67889162 Reuse base image if unchanged in CI (#122) 2025-09-03 19:23:06 +08:00
Han
6a1855c7af Add GPU proving support in ere-openvm (#113) 2025-09-03 13:46:10 +08:00
Han
f32a77fcc0 Add getters for EreDockerizedzkVM (#117) 2025-08-30 20:25:14 +08:00
Han
36b1b8fe10 OpenVM cache pk (#110) 2025-08-29 09:21:37 +08:00
Han
0505f0e6e9 Upgrade openvm (#98) 2025-08-20 17:47:10 +01: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
06d15a4a77 CI test more and cache image (#92) 2025-08-15 22:53:12 +08:00
Han
360a59bd67 Resolves #83 (#86) 2025-08-14 21:58:13 +08:00
Han
42e7c6c416 Add ere-dockerized (#75) 2025-08-02 19:21:52 +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
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
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
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
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
b00d7913a6 disable zisk until fixed 2025-05-11 23:38:21 +01:00
Kevaundray Wedderburn
401a95bba1 add zkVM interface crate 2025-05-11 21:39:40 +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
Kevaundray Wedderburn
dcf0c8f7da add docker files for openVM 2025-05-11 18:56:57 +01:00
Kevaundray Wedderburn
ba443c270d add pico 2025-05-11 18:47:19 +01:00
Kevaundray Wedderburn
0f32ad0578 add initial risc0 docker files 2025-05-11 18:13:11 +01:00
Kevaundray Wedderburn
cb99c23b38 fix docker file -- $HOME is known only at runtime 2025-05-11 18:02:41 +01:00
Kevaundray Wedderburn
3e750f039d add sp1 installer 2025-05-11 17:49:21 +01:00
Kevaundray Wedderburn
fbe3d70e4b add base image 2025-05-11 17:26:51 +01:00