40 Commits

Author	SHA1	Message	Date
brechy	7bd1789a31	nexus: implement execute and io serialization (#171) ... Co-authored-by: han0110 <tinghan0110@gmail.com>	2025-10-18 08:55:36 +08:00
Han	7e0c8d7fe8	Reorganize crates (#169)	2025-10-16 08:03:04 +08:00
Han	a62e25c62d	Refactor ere-dockerized (#160)	2025-10-09 21:47:10 +08:00
Han	fb3443a169	Add crate ere-compiler (#159)	2025-10-08 20:04:31 +08:00
Han	b8a1cfae86	Upgrade zisk to v0.12.0 (#157)	2025-10-02 20:14:16 +08:00
Han	f78a21ba1e	Reorganize compiler modules (#156)	2025-10-01 22:27:57 +08:00
Han	70a84a375c	Add crate ere-server (#153)	2025-10-01 21:11:29 +08:00
Han	215a326995	ZisK server mode (#150)	2025-09-26 00:02:06 +08:00
Han	f62ce623f2	Refactor stock rust compilation with crate compile-utils (#144)	2025-09-20 21:32:49 +08:00
Han	9804776022	Complete ere-pico (#139)	2025-09-18 10:28:58 +08:00
Brechy	1cb4e9238e	feat: ere-miden (#136) ... Co-authored-by: Han <tinghan0110@gmail.com>	2025-09-17 11:14:01 +08:00
Han	58b76fb68e	Add ere-zkm (#126) ... Co-authored-by: Paul Cheng <chengyuejia@foxmail.com>	2025-09-08 22:08:01 +08:00
Han	a9a0ce3aaa	Upgrade risc0-zkvm to 3.0.3, also remove unused dep risc0-zkvm-platform (#123)	2025-09-03 21:24:07 +08:00
Paul	e4b1ccca54	Upgrade sp1 to 5.2.1 (#108)	2025-09-03 17:49:20 +08:00
Han	6a1855c7af	Add GPU proving support in ere-openvm (#113)	2025-09-03 13:46:10 +08: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
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
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	afc686b4c8	In ZisK verify method checks rom digest is expected as the preprocessed one (#99)	2025-08-19 22:30:38 +08:00
Han	a0a29cbb7d	Add crate test-utils (#82)	2025-08-14 22:00:23 +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	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	ba4a1b453c	Add ere-cli (#71)	2025-07-31 16:14:56 +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
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
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	c290578665	add initial jolt code	2025-05-13 17:22:45 +01:00
Kevaundray Wedderburn	6e19498b4b	add initial pico compile code	2025-05-13 11:39:40 +01:00
Kevaundray Wedderburn	e1333f054c	add initial openvm code	2025-05-12 21:28:21 +01:00
Kevaundray Wedderburn	40a62dc2aa	add risczero crate	2025-05-12 13:02:10 +01:00
Kevaundray Wedderburn	19ae9663b0	Cargo.lock	2025-05-11 22:56:16 +01:00
Kevaundray Wedderburn	401a95bba1	add zkVM interface crate	2025-05-11 21:39:40 +01:00