40 Commits

Author	SHA1	Message	Date
rodiazet	c772b1ff2c	jolt: Guest program compilation with stock rust compiler. (#116)	2025-08-29 23:43:27 +01:00
rodiazet	664dc62c9f	openvm: Guest program compilation with stock rust compiler. (#115)	2025-08-29 20:18:10 +01:00
rodiazet	a063344dae	risc0: Guest program compilation with stock rust compiler. (#114)	2025-08-29 19:57:40 +01:00
Han	36b1b8fe10	OpenVM cache pk (#110)	2025-08-29 09:21:37 +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	0505f0e6e9	Upgrade openvm (#98)	2025-08-20 17:47:10 +01:00
Han	7749e1dfc6	Upgrade ZisK to v0.10.0 (#95)	2025-08-18 22:35:04 +08:00
Han	06d15a4a77	CI test more and cache image (#92)	2025-08-15 22:53:12 +08:00
Han	63f4ab1fff	Add multi-gpu proving for risc0 (#50)	2025-08-12 22:49:38 +08:00
Han	0c8d4c381c	Add InputItem::SerializedObject (#80)	2025-08-11 14:44:22 +08:00
Han	f281ead60a	Cleanup some todos in SP1 dockerfile (#79)	2025-08-07 22:06:12 +08:00
Han	1ad15f7379	Fix ere-dockerized SP1 GPU prover (#78)	2025-08-05 22:15:24 +08:00
Han	bddb264ab3	Refactor ere-dockerized (#77)	2025-08-05 14:17:11 +08:00
Han	42e7c6c416	Add ere-dockerized (#75)	2025-08-02 19:21:52 +08:00
Han	e688cbdf8e	Fix ere-jolt (#72)	2025-07-31 16:15:43 +01:00
Ignacio Hagopian	0ad7730a0c	sp1: update sdk (#69) ... Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>	2025-07-29 12:04:20 -03: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	3da61c14cb	sp1: use Docker for guest program compilation (#54) ... Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>	2025-07-16 08:54:15 -03:00
Han	1cf9d545ea	Fix Pico's docker test (#51) ... Co-authored-by: kevaundray <kevtheappdev@gmail.com>	2025-07-14 19:06:01 +08:00
Han	2fdc62a422	zisk: tempdir for cargo-zisk rom-setup (#39)	2025-07-14 11:26:26 +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	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