11 Commits

Author	SHA1	Message	Date
Han	7ef4598594	Use fork of zisk that allows to override CUDA_ARCH (#137)	2025-09-17 20:12:17 +08:00
Ignacio Hagopian	2f979dbd01	zisk docker image rebuild (#133) ... Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>	2025-09-10 08:42:04 +08: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	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	3b230f423b	Upgrade zisk to 0.9.0 (#53)	2025-07-21 13:18:38 +01: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	c4bdea8981	add zisk	2025-05-11 19:18:19 +01:00