9 Commits

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