rodiazet
b18ac3e501
Support building pico guest program with stock rust compiler. Add compilation and execution unit tests.
...
WiP. Works but needs cleanup
2025-08-28 11:58:15 +02:00
rodiazet
80ad68f8dc
Support building jolt guest program with stock rust compiler. Add compilation and execution unit tests.
...
WiP. Works but needs cleanup
2025-08-28 11:57:28 +02:00
rodiazet
f708b27105
Support building openvm guest program with stock rust compiler. Add compilation and execution unit tests.
...
WiP. Works but needs cleanup
2025-08-28 11:57:00 +02:00
rodiazet
62b907d3e0
Support building zisk guest program with stock rust compiler. Add compilation and execution unit tests. WiP.
2025-08-28 11:55:05 +02:00
rodiazet
827b4d3b14
Support building risc0 guest program with stock rust compiler. Add compilation and execution unit tests.
2025-08-28 11:53:48 +02:00
Han
54aa24c9a4
Implement returning of public values for other zkVMs ( #109 )
2025-08-28 11:24:52 +08:00
Han
44044a1858
zkVK methods return public values ( #106 )
2025-08-27 14:27:56 +08:00
rodiazet
63107268a1
sp1: Compile sp1 guest program with stock rust compiler ( #102 )
2025-08-22 14:57:27 +02:00
Han
5556109753
Upgrade risc0 to 3.0.1 and use the new actor system prover ( #103 )
...
Co-authored-by: Ignacio Hagopian <jsign.uy@gmail.com >
2025-08-22 12:00:54 +08:00
Han
7749e1dfc6
Upgrade ZisK to v0.10.0 ( #95 )
2025-08-18 22:35:04 +08:00
Han
bf6d94f32a
Use test-utils for all zkvms ( #88 )
2025-08-15 09:34:24 +08:00
Han
a0a29cbb7d
Add crate test-utils ( #82 )
2025-08-14 22:00:23 +08:00
Han
bddb264ab3
Refactor ere-dockerized ( #77 )
2025-08-05 14:17:11 +08:00
Han
e688cbdf8e
Fix ere-jolt ( #72 )
2025-07-31 16:15:43 +01:00
Han
d1fcf72d80
Do preprocess when instantiating EreJolt ( #68 )
2025-07-30 00:17:49 +01:00
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
Han
3b230f423b
Upgrade zisk to 0.9.0 ( #53 )
2025-07-21 13:18:38 +01: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
2fdc62a422
zisk: tempdir for cargo-zisk rom-setup ( #39 )
2025-07-14 11:26:26 +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
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
0dacaa9ebe
add basic pico test
2025-05-13 23:44:40 +01:00
Kevaundray Wedderburn
810471711f
add basic compile test for Jolt
2025-05-13 17:21:59 +01:00
Kevaundray Wedderburn
3cfaa2b7ff
add openvm basic compile test corpus
2025-05-12 20:45:16 +01:00
Kevaundray Wedderburn
15c77c0023
add basic project under compile
2025-05-12 13:55:08 +01:00
Kevaundray Wedderburn
3465ea75a2
add basic tests for risczero project
2025-05-12 13:54:36 +01:00
Kevaundray Wedderburn
9e5d71711c
add basic test to execute and prove
2025-05-11 23:27:51 +01:00
Kevaundray Wedderburn
0e6327f9f2
add basic compile test case for ere-sp1
2025-05-11 22:55:22 +01:00
