Ignacio Hagopian
5d58bc6724
Merge pull request #42 from eth-act/jsign-sp1-hack
...
sp1: experimental take to solve poisoned lock
2025-06-26 15:23:32 +02:00
Ignacio Hagopian
160feef479
improvement
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-06-25 17:45:34 -03:00
Ignacio Hagopian
c0d2f40946
sp1: implement workaround for poisoned mutex when prover crashes
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-06-25 17:34:23 -03:00
Ignacio Hagopian
ac3eb134a1
sp1: update sdk ( #40 )
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-06-23 14:29:10 +02:00
Ignacio Hagopian
9af117fd17
risc0: generate succinct proofs ( #38 )
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-06-21 16:14:44 +02:00
Ignacio Hagopian
10f1655bf2
Merge pull request #36 from eth-act/jsign-sp1-compressed
...
sp1: use compressed proofs
2025-06-20 14:51:12 +02:00
Ignacio Hagopian
99ecdca3a5
sp1: use compressed proofs
...
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-06-20 09:00:46 -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
kevaundray
8b84f257b9
Update README.md ( #30 )
2025-06-06 10:27:50 +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
Ignacio Hagopian
6728fde39c
Merge pull request #29 from jsign/jsign-execution-duration
...
zkvm-interface: add execution duration
2025-05-30 14:42:34 -03: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
Kevaundray Wedderburn
14144c4346
use write_frame for r0
2025-05-28 18:37:34 +01:00
Kevaundray Wedderburn
f9e7b4308d
compile in release mode
2025-05-28 18:03:33 +01: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
2c6a4f5313
Merge pull request #21 from eth-applied-research-group/kw/move-reports-to-module
...
chore: move proving/executing summaries to reports.rs
2025-05-24 21:14:40 +01:00
Kevaundray Wedderburn
015157f0d7
move reports to reports.rs
2025-05-24 21:13:41 +01:00
kevaundray
74df1a3613
Merge pull request #20 from eth-applied-research-group/kw/r0-gpu
...
feat: Add GPU support for risc0
2025-05-24 20:45:38 +01:00
Kevaundray Wedderburn
a1c0f98982
Merge branch 'master' into kw/r0-gpu
2025-05-24 20:26:23 +01:00
kevaundray
508c039cd2
Merge pull request #8 from eth-applied-research-group/kw/enable-pico
...
chore: add execute for pico
2025-05-24 20:23:28 +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
847dc0227f
Merge pull request #18 from eth-applied-research-group/kw/input-dyn-objects
...
feat: Modify Input to no longer use bincode implicitly
2025-05-24 19:51:15 +01:00
Kevaundray Wedderburn
5445f6c3f4
clippy
2025-05-24 19:29:38 +01:00
Kevaundray Wedderburn
798fcf23f3
InputErased -> Input
2025-05-24 19:28:40 +01:00
Kevaundray Wedderburn
f29b7adeb6
Merge branch 'master' into kw/input-dyn-objects
2025-05-24 19:15:35 +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
8521b060b3
Merge pull request #17 from eth-applied-research-group/kw/add-more-func-risc0
...
feat: Impl zkVM for Risc0
2025-05-24 18:54:05 +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
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
3cb1f39c23
Merge pull request #13 from eth-applied-research-group/kw/concrete-error
...
chore: concerete zkVM Error
2025-05-20 21:15:08 +01:00
Kevaundray Wedderburn
2a3caedc19
concrete error
2025-05-20 14:43:12 +01:00
Kevaundray Wedderburn
87f6e976dc
chore: expose zkVm initializers
2025-05-20 00:59:11 +01:00
Kevaundray Wedderburn
183a4bdec4
chore: add auto_impl
2025-05-20 00:58:42 +01:00
kevaundray
06d62b9a06
Merge pull request #12 from eth-applied-research-group/kw/prover-type
...
chore: move `new` out of zkvm-interface
2025-05-20 00:49:47 +01:00
Kevaundray Wedderburn
ea6600f932
move new out of zkvm-interface
2025-05-20 00:30:48 +01:00
kevaundray
36fa788dd3
Merge pull request #10 from eth-applied-research-group/kw/add-enum-for-gpu
...
feat: allow callers to specify GPU proving
2025-05-19 14:36:41 +01:00
Kevaundray Wedderburn
c28df50599
refactor zkVM impls -- only SP1 currently uses it
2025-05-19 14:16:57 +01:00
Kevaundray Wedderburn
536ebe374b
modify interface to add ProverResourceType
2025-05-19 14:16:37 +01:00
Kevaundray Wedderburn
491ac02431
sp1: cache proving and verifying key
2025-05-18 00:39:55 +01:00
Kevaundray Wedderburn
f038cb07c7
include region cycles in ere-report
2025-05-18 00:32:03 +01:00
Kevaundray Wedderburn
9123ce193a
Make reports serializable
2025-05-18 00:27:48 +01:00
