103 Commits

Author	SHA1	Message	Date
Han	ec75f8a266	Refactor platform impls a bit (#261)	2026-01-02 11:47:35 +08:00
Han	73a760aa63	Update zisk to v0.15.0 (#260)	2025-12-30 20:01:21 +08:00
Han	fd985bf542	Update zkVMs (#259)	2025-12-30 20:01:10 +08:00
Han	f6558e1be8	Patches for zkboost (#250)	2025-12-17 20:13:24 +08:00
Paul	d15d36aa0a	feat: upgrade ziren & pico & miden (#247) ... Co-authored-by: Han <tinghan0110@gmail.com>	2025-12-15 12:13:49 +08:00
Han	e602c1824e	Refactors (#244)	2025-12-12 09:31:11 +08:00
Han	d15c6b495d	Add 1 hour timeout for zisk proving (#245)	2025-12-11 23:03:57 +08:00
Han	ab50b417d9	Update zisk to v0.14.0 (#220)	2025-12-11 08:47:00 +08:00
Han	a75f8f4832	Update zkVMs (#240)	2025-12-09 19:46:48 +08:00
Han	2ede04de0d	Update openvm to v1.4.2-rc.1 (#236)	2025-12-06 15:29:55 +08:00
Han	8f6cee8a32	Refactor docs and make Input API more explicit (#235)	2025-12-06 11:02:14 +08:00
Han	3d844b9f8b	Input structure to support composition proof (#230)	2025-12-04 08:39:41 +08:00
Han	6266b242ed	Refactor crate ere-io (#233)	2025-12-02 20:07:35 +08:00
Han	8051edb079	Update miden to v0.19.1 (#229)	2025-11-28 19:45:50 +08:00
Han	b08dc30be0	Update zkVMs (#226)	2025-11-28 11:05:39 +08:00
Han	1f51e736a2	Improve crates ere-platform-{zkvm} a bit (#228)	2025-11-28 09:10:23 +08:00
Han	269570e0cc	Retry RPC and restart server container when necessary (#225)	2025-11-26 20:01:22 +08:00
Han	daea3f4fff	Introduce CompilerKind and refactor ere-dockerized (#221)	2025-11-25 09:59:48 +08:00
Han	ae6baa03c1	Add crates ere-platform-{zkvm} (#202)	2025-11-05 12:49:12 +08:00
Han	9ef5aa513a	Update miden to v0.18.3 (#198)	2025-11-01 15:28:23 +08:00
Han	81c8c6a62c	Update nexus to v0.3.5 (#197)	2025-11-01 13:59:40 +08:00
Han	65167d0753	Update ziren to v1.2.1 (#196)	2025-11-01 12:55:55 +08:00
Han	0b6a839f7a	Update openvm to v1.4.1 (#195)	2025-11-01 11:32:11 +08:00
Han	f4b99ab7fd	Update sp1 to v5.2.2 (#188)	2025-11-01 09:05:27 +08:00
Han	7ffdc632d4	Auto zkvm update check (#186)	2025-10-31 17:48:59 +08:00
Han	ffc2fccaea	Refactor mods to separate compiler and zkvm (#184)	2025-10-30 18:54:08 +08:00
Han	e9cdb1795d	Update Jolt to v0.3.0-alpha (#181)	2025-10-29 07:11:11 +08:00
Han	0d0bb451ff	Refactor zkVM error handling (#179)	2025-10-28 08:24:27 +08:00
Han	6a2c6e1d54	Refactor dockerized zkvm error (#176)	2025-10-21 22:04:33 +08:00
Han	11020823a6	Integrate Airbender (#175)	2025-10-21 11:21:26 +08:00
Han	577f97165e	zkVM takes opaque input (#173)	2025-10-18 11:04:35 +08:00
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	1d9c16dc8d	Support multiple proof kind (#161)	2025-10-14 21:30:07 +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
Han	7ef4598594	Use fork of zisk that allows to override CUDA_ARCH (#137)	2025-09-17 20:12:17 +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	8e10e78c15	Upgrade ZisK to 0.11.0 (#125)	2025-09-08 20:29:45 +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	a2cb0d73dd	pico: Guest program compilation with stock rust compiler. (#118) ... Co-authored-by: kevaundray <kevtheappdev@gmail.com> Co-authored-by: Han <tinghan0110@gmail.com>	2025-09-02 09:09:00 +08:00