Han
44044a1858
zkVK methods return public values ( #106 )
2025-08-27 14:27:56 +08:00
Han
f8eef49fd0
Risc0 check receipt variant ( #100 )
2025-08-20 21:40:31 +08:00
Han
0c8d4c381c
Add InputItem::SerializedObject ( #80 )
2025-08-11 14:44:22 +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
ba4a1b453c
Add ere-cli ( #71 )
2025-07-31 16:14:56 +01:00
Han
6d30326da4
Add constructor function for trait zkVM ( #61 )
2025-07-22 20:49:38 +08:00
Ignacio Hagopian
f05aa50032
docker: separate workspace and guest program directories ( #57 )
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
Co-authored-by: kevaundray <kevtheappdev@gmail.com >
2025-07-20 18:58:02 -03:00
Ignacio Hagopian
f01a6c16db
InputItem: Support extra traits ( #55 )
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-07-18 16:05:25 -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
Ignacio Hagopian
94b026dc4b
zkvm-interface: allow dynamic dispatch in zkVM trait ( #52 )
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-07-14 00:02:12 +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
kevaundray
33f0b62d34
feat: Add prover network parameter ( #35 )
...
* one shot :D
* update cargo.lock
* one shot
* commit
* remove unused parameter
* simplify
* derive default
* update
* update cargo.lock
2025-06-17 17:37:10 +02:00
Ignacio Hagopian
0f6fb4ebbc
zkvm-interface: add execution duration
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-05-30 14:18:09 -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
d106f8d65c
fix: imports
2025-05-24 21:23:50 +01:00
Kevaundray Wedderburn
015157f0d7
move reports to reports.rs
2025-05-24 21:13:41 +01:00
Kevaundray Wedderburn
798fcf23f3
InputErased -> Input
2025-05-24 19:28:40 +01:00
Kevaundray Wedderburn
03bd13c9c6
clippy
2025-05-24 19:14:53 +01:00
Kevaundray Wedderburn
e210675bab
remove old Input
2025-05-24 19:11:48 +01:00
Kevaundray Wedderburn
e76f265dd3
use InputErased
2025-05-24 19:10:07 +01:00
Kevaundray Wedderburn
841f6872ca
expose InputItem
2025-05-24 18:57:01 +01:00
Kevaundray Wedderburn
06e5596a38
expose InputErased
2025-05-24 18:55:58 +01:00
Kevaundray Wedderburn
1537c78414
use enum
2025-05-24 18:52:11 +01:00
Kevaundray Wedderburn
b18ab9a57d
add initial code for inputErased
2025-05-24 18:40:51 +01:00
Kevaundray Wedderburn
2a3caedc19
concrete error
2025-05-20 14:43:12 +01:00
Kevaundray Wedderburn
183a4bdec4
chore: add auto_impl
2025-05-20 00:58:42 +01:00
Kevaundray Wedderburn
ea6600f932
move new out of zkvm-interface
2025-05-20 00:30:48 +01:00
Kevaundray Wedderburn
536ebe374b
modify interface to add ProverResourceType
2025-05-19 14:16:37 +01:00
Kevaundray Wedderburn
9123ce193a
Make reports serializable
2025-05-18 00:27:48 +01:00
Kevaundray Wedderburn
86d476b9dd
chore: add method to write directly to slice
2025-05-15 16:43:52 +01:00
Kevaundray Wedderburn
99ad510dae
make API stateful
2025-05-14 14:04:18 +01:00
Kevaundray Wedderburn
126a34f118
loosen bounds on zkinterface
2025-05-12 20:45:30 +01:00
Kevaundray Wedderburn
33085b7319
Program now is AsRef<[u8>]
2025-05-11 22:21:18 +01:00
Kevaundray Wedderburn
ae99dac7e0
move Input to separate module
2025-05-11 22:20:39 +01:00
Kevaundray Wedderburn
4642bb304d
split compiler from zkVM
2025-05-11 21:56:20 +01:00
Kevaundray Wedderburn
401a95bba1
add zkVM interface crate
2025-05-11 21:39:40 +01:00
