11 Commits

Author	SHA1	Message	Date
Han	c085ccd9f3	Add ProverResouce::Cluster and add cluster support for ZisK (#284)	2026-02-07 10:05:23 +08:00
Han	a9fb04dea8	Support --program-path flag in ere-server (#270)	2026-01-16 22:15:21 +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	1de217d43a	Make server handler non-blocking (#204)	2025-11-05 14:41:40 +08:00
Han	ffc2fccaea	Refactor mods to separate compiler and zkvm (#184)	2025-10-30 18:54:08 +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
Han	7e0c8d7fe8	Reorganize crates (#169)	2025-10-16 08:03:04 +08:00