8 Commits

Author SHA1 Message Date
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
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
c290578665 add initial jolt code 2025-05-13 17:22:45 +01:00
Kevaundray Wedderburn
6e19498b4b add initial pico compile code 2025-05-13 11:39:40 +01:00
Kevaundray Wedderburn
e1333f054c add initial openvm code 2025-05-12 21:28:21 +01:00
Kevaundray Wedderburn
40a62dc2aa add risczero crate 2025-05-12 13:02:10 +01:00
Kevaundray Wedderburn
19ae9663b0 Cargo.lock 2025-05-11 22:56:16 +01:00
Kevaundray Wedderburn
401a95bba1 add zkVM interface crate 2025-05-11 21:39:40 +01:00