github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-04-03 03:00:17 -04:00
Code Issues Packages Projects Releases Wiki Activity
127 Commits 7 Branches 23 Tags
v0.0.1
Commit Graph

25 Commits

Author SHA1 Message Date
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