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
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
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
