12 Commits

Author	SHA1	Message	Date
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	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	b00d7913a6	disable zisk until fixed	2025-05-11 23:38:21 +01:00
Kevaundray Wedderburn	401a95bba1	add zkVM interface crate	2025-05-11 21:39:40 +01:00
Kevaundray Wedderburn	c4bdea8981	add zisk	2025-05-11 19:18:19 +01:00
Kevaundray Wedderburn	893df214e1	add jolt	2025-05-11 19:09:15 +01:00
Kevaundray Wedderburn	dcf0c8f7da	add docker files for openVM	2025-05-11 18:56:57 +01:00
Kevaundray Wedderburn	ba443c270d	add pico	2025-05-11 18:47:19 +01:00
Kevaundray Wedderburn	0f32ad0578	add initial risc0 docker files	2025-05-11 18:13:11 +01:00
Kevaundray Wedderburn	cb99c23b38	fix docker file -- $HOME is known only at runtime	2025-05-11 18:02:41 +01:00
Kevaundray Wedderburn	3e750f039d	add sp1 installer	2025-05-11 17:49:21 +01:00
Kevaundray Wedderburn	fbe3d70e4b	add base image	2025-05-11 17:26:51 +01:00