Commit Graph

46 Commits

Author SHA1 Message Date
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
ceba282275 Install rust src if not found (#185) 2025-10-31 13:09:14 +08:00
Han
e9cdb1795d Update Jolt to v0.3.0-alpha (#181) 2025-10-29 07:11:11 +08:00
Han
6a2c6e1d54 Refactor dockerized zkvm error (#176) 2025-10-21 22:04:33 +08:00
Han
11020823a6 Integrate Airbender (#175) 2025-10-21 11:21:26 +08:00
Han
afab316a14 Add --locked in pico-cli installation scirpt (#168) 2025-10-14 22:57:37 +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
7ef4598594 Use fork of zisk that allows to override CUDA_ARCH (#137) 2025-09-17 20:12:17 +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
Han
6a1855c7af Add GPU proving support in ere-openvm (#113) 2025-09-03 13:46:10 +08: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
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
0505f0e6e9 Upgrade openvm (#98) 2025-08-20 17:47:10 +01: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
bf6d94f32a Use test-utils for all zkvms (#88) 2025-08-15 09:34:24 +08:00
Han
63f4ab1fff Add multi-gpu proving for risc0 (#50) 2025-08-12 22:49:38 +08:00
Han
f281ead60a Cleanup some todos in SP1 dockerfile (#79) 2025-08-07 22:06: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
1585a77405 Refactor ere-zisk (#74) 2025-07-31 16:16:47 +01:00
Han
e688cbdf8e Fix ere-jolt (#72) 2025-07-31 16:15:43 +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
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
2fdc62a422 zisk: tempdir for cargo-zisk rom-setup (#39) 2025-07-14 11:26:26 +01: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
60498c54eb download script locally and run (zisk) 2025-05-11 19:37:22 +01:00
Kevaundray Wedderburn
61ed23d699 use --1 2025-05-11 19:21:59 +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
fb1b4876b5 duplicate utils for now 2025-05-11 18:27:14 +01:00
Kevaundray Wedderburn
eb0a1de3df update 2025-05-11 18:21:38 +01:00
Kevaundray Wedderburn
3822ee8960 add utils script for checking if tools are installed 2025-05-11 18:21:33 +01:00
Kevaundray Wedderburn
0f32ad0578 add initial risc0 docker files 2025-05-11 18:13:11 +01:00
Kevaundray Wedderburn
3e750f039d add sp1 installer 2025-05-11 17:49:21 +01:00