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

22 Commits

Author SHA1 Message Date
Han
c085ccd9f3 Add ProverResouce::Cluster and add cluster support for ZisK (#284) 2026-02-07 10:05:23 +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
daea3f4fff Introduce CompilerKind and refactor ere-dockerized (#221) 2025-11-25 09:59:48 +08:00
Han
7b8bb6adcd Remove default value of RUSTFLAGS (#208) 2025-11-07 09:54:54 +08:00
Han
52643911bc Update zisk to v0.13.0 (#187) 2025-11-03 19:42:36 +08:00
Han
577f97165e zkVM takes opaque input (#173) 2025-10-18 11:04:35 +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
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
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
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
3b230f423b Upgrade zisk to 0.9.0 (#53) 2025-07-21 13:18:38 +01: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
c4bdea8981 add zisk 2025-05-11 19:18:19 +01:00