17 Commits

Author SHA1 Message Date
Han
ab50b417d9 Update zisk to v0.14.0 (#220) 2025-12-11 08:47:00 +08:00
Han
6266b242ed Refactor crate ere-io (#233) 2025-12-02 20:07:35 +08:00
Han
1f51e736a2 Improve crates ere-platform-{zkvm} a bit (#228) 2025-11-28 09:10:23 +08:00
Marcin Bugaj
8d68a60de0 TamaGo compilation support (#206) 2025-11-06 20:15:45 +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
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
b8a1cfae86 Upgrade zisk to v0.12.0 (#157) 2025-10-02 20:14:16 +08:00
Han
8e10e78c15 Upgrade ZisK to 0.11.0 (#125) 2025-09-08 20:29:45 +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
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
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