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

58 Commits

Author SHA1 Message Date
Han
e7ed714394 Update SP1 to v6.0.0 (#294) 2026-02-17 21:16:33 +08:00
Han
c085ccd9f3 Add ProverResouce::Cluster and add cluster support for ZisK (#284) 2026-02-07 10:05:23 +08:00
Han
a9fb04dea8 Support --program-path flag in ere-server (#270) 2026-01-16 22:15:21 +08:00
Han
46672d08b7 Revert the untagged derive (#252) 2025-12-17 23:01:59 +08:00
Han
f6558e1be8 Patches for zkboost (#250) 2025-12-17 20:13:24 +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
3d844b9f8b Input structure to support composition proof (#230) 2025-12-04 08:39:41 +08:00
Han
6266b242ed Refactor crate ere-io (#233) 2025-12-02 20:07:35 +08:00
Han
5c44c14957 Add print and cycle_scope methods for Platform (#224) 2025-11-26 11:45:46 +08:00
Han
daea3f4fff Introduce CompilerKind and refactor ere-dockerized (#221) 2025-11-25 09:59:48 +08:00
Han
6547820fc8 Support OutputHasher for all platform crate (#205) 2025-11-05 20:05:59 +08:00
Han
ae6baa03c1 Add crates ere-platform-{zkvm} (#202) 2025-11-05 12:49:12 +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
0d0bb451ff Refactor zkVM error handling (#179) 2025-10-28 08:24:27 +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
1d9c16dc8d Support multiple proof kind (#161) 2025-10-14 21:30:07 +08:00
Han
a62e25c62d Refactor ere-dockerized (#160) 2025-10-09 21:47:10 +08:00
Han
44044a1858 zkVK methods return public values (#106) 2025-08-27 14:27:56 +08:00
Han
f8eef49fd0 Risc0 check receipt variant (#100) 2025-08-20 21:40:31 +08:00
Han
0c8d4c381c Add InputItem::SerializedObject (#80) 2025-08-11 14:44:22 +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
ba4a1b453c Add ere-cli (#71) 2025-07-31 16:14:56 +01:00
Han
6d30326da4 Add constructor function for trait zkVM (#61) 2025-07-22 20:49:38 +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
f01a6c16db InputItem: Support extra traits (#55) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-07-18 16:05:25 -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
Ignacio Hagopian
94b026dc4b zkvm-interface: allow dynamic dispatch in zkVM trait (#52) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-07-14 00:02:12 +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
kevaundray
33f0b62d34 feat: Add prover network parameter (#35) 
* one shot :D

* update cargo.lock

* one shot

* commit

* remove unused parameter

* simplify

* derive default

* update

* update cargo.lock
 2025-06-17 17:37:10 +02:00
Ignacio Hagopian
0f6fb4ebbc zkvm-interface: add execution duration 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-05-30 14:18:09 -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
d106f8d65c fix: imports 2025-05-24 21:23:50 +01:00
Kevaundray Wedderburn
015157f0d7 move reports to reports.rs 2025-05-24 21:13:41 +01:00
Kevaundray Wedderburn
798fcf23f3 InputErased -> Input 2025-05-24 19:28:40 +01:00
Kevaundray Wedderburn
03bd13c9c6 clippy 2025-05-24 19:14:53 +01:00
Kevaundray Wedderburn
e210675bab remove old Input 2025-05-24 19:11:48 +01:00
Kevaundray Wedderburn
e76f265dd3 use InputErased 2025-05-24 19:10:07 +01:00
Kevaundray Wedderburn
841f6872ca expose InputItem 2025-05-24 18:57:01 +01:00
Kevaundray Wedderburn
06e5596a38 expose InputErased 2025-05-24 18:55:58 +01:00
Kevaundray Wedderburn
1537c78414 use enum 2025-05-24 18:52:11 +01:00
Kevaundray Wedderburn
b18ab9a57d add initial code for inputErased 2025-05-24 18:40:51 +01:00
Kevaundray Wedderburn
2a3caedc19 concrete error 2025-05-20 14:43:12 +01:00
Kevaundray Wedderburn
183a4bdec4 chore: add auto_impl 2025-05-20 00:58:42 +01:00
Kevaundray Wedderburn
ea6600f932 move new out of zkvm-interface 2025-05-20 00:30:48 +01:00
Kevaundray Wedderburn
536ebe374b modify interface to add ProverResourceType 2025-05-19 14:16:37 +01:00