22 Commits

Author	SHA1	Message	Date
Han	e7ed714394	Update SP1 to v6.0.0 (#294)	2026-02-17 21:16:33 +08:00
Han	fd985bf542	Update zkVMs (#259)	2025-12-30 20:01:10 +08:00
Han	e602c1824e	Refactors (#244)	2025-12-12 09:31:11 +08:00
Han	b08dc30be0	Update zkVMs (#226)	2025-11-28 11:05:39 +08:00
Han	daea3f4fff	Introduce CompilerKind and refactor ere-dockerized (#221)	2025-11-25 09:59:48 +08:00
Han	7b8bb6adcd	Remove default value of RUSTFLAGS (#208)	2025-11-07 09:54:54 +08:00
Han	f4b99ab7fd	Update sp1 to v5.2.2 (#188)	2025-11-01 09:05:27 +08:00
Han	ceba282275	Install rust src if not found (#185)	2025-10-31 13:09:14 +08:00
Ignacio Hagopian	56cefae667	sp1: add clang dep (#164) ... Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>	2025-10-10 09:15:34 +08:00
Han	a62e25c62d	Refactor ere-dockerized (#160)	2025-10-09 21:47:10 +08:00
Ivan Litteri	e4e12bcb4e	Fix invalid --chmod Dockerfile syntax in docker/sp1 (#127)	2025-09-09 11:06:25 +08:00
Paul	e4b1ccca54	Upgrade sp1 to 5.2.1 (#108)	2025-09-03 17:49:20 +08:00
rodiazet	63107268a1	sp1: Compile sp1 guest program with stock rust compiler (#102)	2025-08-22 14:57:27 +02: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	42e7c6c416	Add ere-dockerized (#75)	2025-08-02 19:21:52 +08: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
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
Kevaundray Wedderburn	090b430971	fix comment: run tests in docker	2025-05-12 14:03:01 +01:00
Kevaundray Wedderburn	fdbdb15272	add testing when building Dockerfile	2025-05-11 22:56:09 +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