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
280 Commits 11 Branches 19 Tags
master
Commit Graph

57 Commits

Author SHA1 Message Date
Han
e7ed714394 Update SP1 to v6.0.0 (#294) 2026-02-17 21:16:33 +08:00
Han
6b25e94cb0 Build and publish cuda enabled docker image (#291) 2026-02-12 20:53:34 +09:00
Han
45bebbfe5c Skip jolt in workflow check-zkvm-version.yml (#285) 2026-02-04 21:54:49 +08:00
Han
bfc3a2f472 Fix CI condition when push to master (#276) 2026-01-27 19:10:38 +09:00
Han
f16e009310 Fix docker image tag (#274) 2026-01-27 17:03:01 +08:00
Han
54ec4894a6 Add script build-image.sh (#273) 2026-01-27 10:27:14 +08:00
Han
19d90f8276 Fix CI script and remove unnecessary CI build arg (#248) 2025-12-13 14:43:13 +08:00
Han
e602c1824e Refactors (#244) 2025-12-12 09:31:11 +08:00
Han
8f6cee8a32 Refactor docs and make Input API more explicit (#235) 2025-12-06 11:02:14 +08:00
Han
6266b242ed Refactor crate ere-io (#233) 2025-12-02 20:07:35 +08:00
Han
8051edb079 Update miden to v0.19.1 (#229) 2025-11-28 19:45:50 +08:00
Han
daea3f4fff Introduce CompilerKind and refactor ere-dockerized (#221) 2025-11-25 09:59:48 +08:00
Han
94922af899 Enable OpenVM nightly features (#210) 2025-11-18 09:37:01 +08:00
Han
ae6baa03c1 Add crates ere-platform-{zkvm} (#202) 2025-11-05 12:49:12 +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
e9cdb1795d Update Jolt to v0.3.0-alpha (#181) 2025-10-29 07:11:11 +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
Han
7e0c8d7fe8 Reorganize crates (#169) 2025-10-16 08:03:04 +08:00
Han
ad4e211af7 Refactor CI (#167) 2025-10-10 22:26:46 +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
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
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