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
234 Commits 11 Branches 19 Tags
94922af899c7fcb23da730bd800e89dfd369f308
Commit Graph

53 Commits

Author SHA1 Message Date
Marcin Bugaj
8d68a60de0 TamaGo compilation support (#206) 2025-11-06 20:15:45 +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
52643911bc Update zisk to v0.13.0 (#187) 2025-11-03 19:42:36 +08:00
Han
81c8c6a62c Update nexus to v0.3.5 (#197) 2025-11-01 13:59:40 +08:00
Han
65167d0753 Update ziren to v1.2.1 (#196) 2025-11-01 12:55:55 +08:00
Han
0b6a839f7a Update openvm to v1.4.1 (#195) 2025-11-01 11:32:11 +08:00
Han
f4b99ab7fd Update sp1 to v5.2.2 (#188) 2025-11-01 09:05:27 +08:00
Han
e9cdb1795d Update Jolt to v0.3.0-alpha (#181) 2025-10-29 07:11:11 +08:00
Han
5c342eec44 Use zksync-os linker scripts (#178) 2025-10-24 19:57: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
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
7e0c8d7fe8 Reorganize crates (#169) 2025-10-16 08:03:04 +08:00
Han
b8a1cfae86 Upgrade zisk to v0.12.0 (#157) 2025-10-02 20:14:16 +08:00
Han
9804776022 Complete ere-pico (#139) 2025-09-18 10:28:58 +08:00
Brechy
1cb4e9238e feat: ere-miden (#136) 
Co-authored-by: Han <tinghan0110@gmail.com>
 2025-09-17 11:14:01 +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
a9a0ce3aaa Upgrade risc0-zkvm to 3.0.3, also remove unused dep risc0-zkvm-platform (#123) 2025-09-03 21:24:07 +08:00
Ignacio Hagopian
071deec1c3 ere-risc0: allocator alignments test (#120) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-09-03 08:18:09 -03: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
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
Han
54aa24c9a4 Implement returning of public values for other zkVMs (#109) 2025-08-28 11:24:52 +08:00
Han
44044a1858 zkVK methods return public values (#106) 2025-08-27 14:27:56 +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
7749e1dfc6 Upgrade ZisK to v0.10.0 (#95) 2025-08-18 22:35:04 +08:00
Han
bf6d94f32a Use test-utils for all zkvms (#88) 2025-08-15 09:34:24 +08:00
Han
a0a29cbb7d Add crate test-utils (#82) 2025-08-14 22:00:23 +08:00
Han
bddb264ab3 Refactor ere-dockerized (#77) 2025-08-05 14:17:11 +08:00
Han
e688cbdf8e Fix ere-jolt (#72) 2025-07-31 16:15:43 +01:00
Han
d1fcf72d80 Do preprocess when instantiating EreJolt (#68) 2025-07-30 00:17:49 +01: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
f01a6c16db InputItem: Support extra traits (#55) 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
 2025-07-18 16:05:25 -03: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
bd37fb0c9f fix: pin openvm version and upgrade the latest tag (#32) 2025-06-05 11:43:35 +02: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
0dacaa9ebe add basic pico test 2025-05-13 23:44:40 +01:00
Kevaundray Wedderburn
810471711f add basic compile test for Jolt 2025-05-13 17:21:59 +01:00
Kevaundray Wedderburn
3cfaa2b7ff add openvm basic compile test corpus 2025-05-12 20:45:16 +01:00
Kevaundray Wedderburn
15c77c0023 add basic project under compile 2025-05-12 13:55:08 +01:00