17 Commits

Author	SHA1	Message	Date
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	2622dfb400	formatting	2025-05-13 17:30:18 +01:00
Kevaundray Wedderburn	9e805d5a4f	add rustup default nightly	2025-05-13 17:28:51 +01:00
Kevaundray Wedderburn	1b22a73d41	test pico in docker	2025-05-13 11:40:53 +01:00
Kevaundray Wedderburn	5bf4fb8f9c	add test to openvm Dockefile	2025-05-12 21:35:22 +01:00
Kevaundray Wedderburn	049b099835	fix: copy host directory	2025-05-12 14:30:16 +01:00
Kevaundray Wedderburn	090b430971	fix comment: run tests in docker	2025-05-12 14:03:01 +01:00
Kevaundray Wedderburn	030ac2dbbc	run risczero tests in Docker	2025-05-12 14:02:14 +01:00
Kevaundray Wedderburn	fdbdb15272	add testing when building Dockerfile	2025-05-11 22:56:09 +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