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
1cf9d545ea
Fix Pico's docker test ( #51 )
...
Co-authored-by: kevaundray <kevtheappdev@gmail.com >
2025-07-14 19:06:01 +08: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
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
b00d7913a6
disable zisk until fixed
2025-05-11 23:38:21 +01:00
Kevaundray Wedderburn
401a95bba1
add zkVM interface crate
2025-05-11 21:39:40 +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
0f32ad0578
add initial risc0 docker files
2025-05-11 18:13:11 +01:00
Kevaundray Wedderburn
cb99c23b38
fix docker file -- $HOME is known only at runtime
2025-05-11 18:02:41 +01:00
Kevaundray Wedderburn
3e750f039d
add sp1 installer
2025-05-11 17:49:21 +01:00
Kevaundray Wedderburn
fbe3d70e4b
add base image
2025-05-11 17:26:51 +01:00
