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
Han
5f4fe5e7a8
refactor: Only do rom-setup when proving, and add ZiskTempDir in ere-zisk ( #31 )
...
* refactor: `ere-zisk` only do `rom-setup` when proving, and add `ZiskTempDir`
* fix: update doc of `Program` from elf path to elf bytes
---------
Co-authored-by: kevaundray <kevtheappdev@gmail.com >
2025-06-05 15:17:30 +02:00
Han
bd37fb0c9f
fix: pin openvm version and upgrade the latest tag ( #32 )
2025-06-05 11:43:35 +02: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
a1c0f98982
Merge branch 'master' into kw/r0-gpu
2025-05-24 20:26:23 +01:00
Kevaundray Wedderburn
b911ce818d
check for cuda or metal
2025-05-24 20:22:35 +01:00
Kevaundray Wedderburn
0825c06887
Merge branch 'master' into kw/enable-pico
2025-05-24 19:54:37 +01:00
Kevaundray Wedderburn
f29b7adeb6
Merge branch 'master' into kw/input-dyn-objects
2025-05-24 19:15:35 +01:00
Kevaundray Wedderburn
1537c78414
use enum
2025-05-24 18:52:11 +01:00
Kevaundray Wedderburn
a1f86602b4
fill in prove, test,execute
2025-05-24 18:15:43 +01:00
Kevaundray Wedderburn
5b3c7a9501
Merge branch 'master' into kw/enable-pico
2025-05-23 22:49:49 +01:00
Kevaundray Wedderburn
183a4bdec4
chore: add auto_impl
2025-05-20 00:58:42 +01:00
Kevaundray Wedderburn
f038cb07c7
include region cycles in ere-report
2025-05-18 00:32:03 +01:00
Kevaundray Wedderburn
fa92d12b31
add execute method
2025-05-15 14:37:24 +01:00
Kevaundray Wedderburn
c290578665
add initial jolt code
2025-05-13 17:22:45 +01:00
Kevaundray Wedderburn
cf078f170b
pico: fill in as much as possible for Pico zkvm methods
2025-05-13 12:04:34 +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
caaac30e1c
update Cargo.toml
2025-05-12 14:01:46 +01:00
Kevaundray Wedderburn
233d5cc2b1
add scaffolding for Compiler trait
2025-05-12 13:08:20 +01:00
Kevaundray Wedderburn
40a62dc2aa
add risczero crate
2025-05-12 13:02:10 +01:00
Kevaundray Wedderburn
e2b342cda1
remove unused deps
2025-05-12 11:00:15 +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
