Commit Graph

  • 7bd1789a31 nexus: implement execute and io serialization (#171) v0.0.13 brechy 2025-10-17 21:55:36 -03:00
  • 7e0c8d7fe8 Reorganize crates (#169) Han 2025-10-16 08:03:04 +08:00
  • afab316a14 Add --locked in pico-cli installation scirpt (#168) Han 2025-10-14 22:57:37 +08:00
  • 1d9c16dc8d Support multiple proof kind (#161) Han 2025-10-14 21:30:07 +08:00
  • ad4e211af7 Refactor CI (#167) Han 2025-10-10 22:26:46 +08:00
  • 3d890355f0 OpenVM execution no metering (#166) Han 2025-10-10 19:43:10 +08:00
  • 48cb2b8a3f ere-dockerized: avoid blocking worker threads (#163) Ignacio Hagopian 2025-10-10 08:42:49 -03:00
  • 56cefae667 sp1: add clang dep (#164) Ignacio Hagopian 2025-10-09 22:15:34 -03:00
  • 6449699ec6 ci: fix compiler docker tag (#162) Ignacio Hagopian 2025-10-09 13:09:56 -03:00
  • a62e25c62d Refactor ere-dockerized (#160) Han 2025-10-09 21:47:10 +08:00
  • fb3443a169 Add crate ere-compiler (#159) Han 2025-10-08 20:04:31 +08:00
  • 4163db13b6 Include OpenVM execution cycles count (#158) Rohit Narurkar 2025-10-06 03:33:31 +01:00
  • b8a1cfae86 Upgrade zisk to v0.12.0 (#157) Han 2025-10-02 20:14:16 +08:00
  • fb115ab451 support risc0 profiling in docker. risc0-profiling rodiazet 2025-10-02 11:18:23 +02:00
  • 9bd082c2cb support risc0 profiling in docker. rodiazet 2025-10-02 11:13:34 +02:00
  • f3f2b23d5d support risc0 profiling in docker. rodiazet 2025-10-01 12:57:09 +02:00
  • f78a21ba1e Reorganize compiler modules (#156) Han 2025-10-01 22:27:57 +08:00
  • 70a84a375c Add crate ere-server (#153) Han 2025-10-01 21:11:29 +08:00
  • 215a326995 ZisK server mode (#150) Han 2025-09-26 00:02:06 +08:00
  • 1ab83ad3c7 zisk: add memlock unlimited (#145) Ignacio Hagopian 2025-09-23 11:22:15 -03:00
  • f62ce623f2 Refactor stock rust compilation with crate compile-utils (#144) Han 2025-09-20 21:32:49 +08:00
  • 3e4491d043 Test dockerized pico (#141) Han 2025-09-18 14:09:33 +08:00
  • 9804776022 Complete ere-pico (#139) Han 2025-09-18 10:28:58 +08:00
  • 7ef4598594 Use fork of zisk that allows to override CUDA_ARCH (#137) v0.0.12 Han 2025-09-17 20:12:17 +08:00
  • 1cb4e9238e feat: ere-miden (#136) Brechy 2025-09-17 00:14:01 -03:00
  • 2f979dbd01 zisk docker image rebuild (#133) Ignacio Hagopian 2025-09-10 02:42:04 +02:00
  • aa44b74101 CI runnable by fork (#131) Han 2025-09-09 21:32:22 +08:00
  • 75147106b2 Fix CI (#130) Han 2025-09-09 20:59:19 +08:00
  • e4e12bcb4e Fix invalid --chmod Dockerfile syntax in docker/sp1 (#127) Ivan Litteri 2025-09-09 00:06:25 -03:00
  • 58b76fb68e Add ere-zkm (#126) Han 2025-09-08 22:08:01 +08:00
  • 8e10e78c15 Upgrade ZisK to 0.11.0 (#125) Han 2025-09-08 20:29:45 +08:00
  • f32de5f647 Inherit env OPENVM_RUST_TOOLCHAIN for OpenVM in ere-dockerized (#124) Han 2025-09-04 17:16:54 +08:00
  • a9a0ce3aaa Upgrade risc0-zkvm to 3.0.3, also remove unused dep risc0-zkvm-platform (#123) Han 2025-09-03 21:24:07 +08:00
  • 9b67889162 Reuse base image if unchanged in CI (#122) Han 2025-09-03 19:23:06 +08:00
  • 071deec1c3 ere-risc0: allocator alignments test (#120) Ignacio Hagopian 2025-09-03 13:18:09 +02:00
  • e4b1ccca54 Upgrade sp1 to 5.2.1 (#108) Paul 2025-09-03 17:49:20 +08:00
  • 6a1855c7af Add GPU proving support in ere-openvm (#113) Han 2025-09-03 13:46:10 +08:00
  • 8fe61cad5b Add clang to ere-base (#119) Ignacio Hagopian 2025-09-02 03:09:15 +02:00
  • a2cb0d73dd pico: Guest program compilation with stock rust compiler. (#118) rodiazet 2025-09-02 03:09:00 +02:00
  • f32a77fcc0 Add getters for EreDockerizedzkVM (#117) v0.0.11 Han 2025-08-30 20:25:14 +08:00
  • c772b1ff2c jolt: Guest program compilation with stock rust compiler. (#116) rodiazet 2025-08-30 00:43:27 +02:00
  • 664dc62c9f openvm: Guest program compilation with stock rust compiler. (#115) rodiazet 2025-08-29 21:18:10 +02:00
  • a063344dae risc0: Guest program compilation with stock rust compiler. (#114) rodiazet 2025-08-29 20:57:40 +02:00
  • 8d3847df28 zkVM output for ere-dockerized (#112) Han 2025-08-29 09:21:46 +08:00
  • 36b1b8fe10 OpenVM cache pk (#110) Han 2025-08-29 09:21:37 +08:00
  • 642c59424e Fix openvm build stock-rust-compiler rodiazet 2025-08-28 13:16:52 +02:00
  • b18ac3e501 Support building pico guest program with stock rust compiler. Add compilation and execution unit tests. rodiazet 2025-08-28 11:30:03 +02:00
  • 80ad68f8dc Support building jolt guest program with stock rust compiler. Add compilation and execution unit tests. rodiazet 2025-08-27 15:59:31 +02:00
  • 1193f34dcd Add .idea to .gitignore rodiazet 2025-08-27 10:52:33 +02:00
  • f708b27105 Support building openvm guest program with stock rust compiler. Add compilation and execution unit tests. rodiazet 2025-08-26 11:34:22 +02:00
  • 0db60b1467 Disable failing zisk execution test rodiazet 2025-08-26 11:34:59 +02:00
  • 62b907d3e0 Support building zisk guest program with stock rust compiler. Add compilation and execution unit tests. WiP. rodiazet 2025-08-26 09:48:24 +02:00
  • 827b4d3b14 Support building risc0 guest program with stock rust compiler. Add compilation and execution unit tests. rodiazet 2025-08-25 12:08:28 +02:00
  • 54aa24c9a4 Implement returning of public values for other zkVMs (#109) Han 2025-08-28 11:24:52 +08:00
  • 44044a1858 zkVK methods return public values (#106) Han 2025-08-27 14:27:56 +08:00
  • 63107268a1 sp1: Compile sp1 guest program with stock rust compiler (#102) rodiazet 2025-08-22 14:57:27 +02:00
  • 5556109753 Upgrade risc0 to 3.0.1 and use the new actor system prover (#103) Han 2025-08-22 12:00:54 +08:00
  • 0505f0e6e9 Upgrade openvm (#98) Han 2025-08-21 00:47:10 +08:00
  • f8eef49fd0 Risc0 check receipt variant (#100) Han 2025-08-20 21:40:31 +08:00
  • afc686b4c8 In ZisK verify method checks rom digest is expected as the preprocessed one (#99) Han 2025-08-19 22:30:38 +08:00
  • 7749e1dfc6 Upgrade ZisK to v0.10.0 (#95) Han 2025-08-18 22:35:04 +08:00
  • 80330caf59 CI clippy ere-dockerized (#94) Han 2025-08-18 19:21:31 +08:00
  • 06d15a4a77 CI test more and cache image (#92) Han 2025-08-15 22:53:12 +08:00
  • bf6d94f32a Use test-utils for all zkvms (#88) Han 2025-08-15 09:34:24 +08:00
  • a0a29cbb7d Add crate test-utils (#82) Han 2025-08-14 22:00:23 +08:00
  • 360a59bd67 Resolves #83 (#86) Han 2025-08-14 21:58:13 +08:00
  • 63f4ab1fff Add multi-gpu proving for risc0 (#50) Han 2025-08-12 22:49:38 +08:00
  • 0c8d4c381c Add InputItem::SerializedObject (#80) Han 2025-08-11 14:44:22 +08:00
  • f281ead60a Cleanup some todos in SP1 dockerfile (#79) Han 2025-08-07 22:06:12 +08:00
  • 1ad15f7379 Fix ere-dockerized SP1 GPU prover (#78) Han 2025-08-05 22:15:24 +08:00
  • bddb264ab3 Refactor ere-dockerized (#77) Han 2025-08-05 14:17:11 +08:00
  • 42e7c6c416 Add ere-dockerized (#75) Han 2025-08-02 19:21:52 +08:00
  • 1585a77405 Refactor ere-zisk (#74) Han 2025-07-31 23:16:47 +08:00
  • e688cbdf8e Fix ere-jolt (#72) Han 2025-07-31 23:15:43 +08:00
  • ba4a1b453c Add ere-cli (#71) Han 2025-07-31 23:14:56 +08:00
  • d1fcf72d80 Do preprocess when instantiating EreJolt (#68) Han 2025-07-30 07:17:49 +08:00
  • 0ad7730a0c sp1: update sdk (#69) v0.0.10 Ignacio Hagopian 2025-07-29 17:04:20 +02:00
  • 7f812cda7e Do preprocess when instantiating EreOpenVM (#67) Han 2025-07-28 22:02:31 +08:00
  • 21e2c161de Risc0 docker compilation (#58) Han 2025-07-23 18:50:58 +08:00
  • bc3d99fa1b feat: Impl zkVM for Nexus zkvm (#47) Paul 2025-07-23 17:37:10 +08:00
  • 498c484d1c Update SP1 SDK to v0.5.8 (#62) v0.0.9 Ignacio Hagopian 2025-07-22 21:34:12 +02:00
  • 6d30326da4 Add constructor function for trait zkVM (#61) Han 2025-07-22 20:49:38 +08:00
  • 3b230f423b Upgrade zisk to 0.9.0 (#53) Han 2025-07-21 20:18:38 +08:00
  • f05aa50032 docker: separate workspace and guest program directories (#57) v0.0.8 Ignacio Hagopian 2025-07-20 23:58:02 +02:00
  • f01a6c16db InputItem: Support extra traits (#55) v0.0.7 Ignacio Hagopian 2025-07-18 21:05:25 +02:00
  • 3da61c14cb sp1: use Docker for guest program compilation (#54) v0.0.6 Ignacio Hagopian 2025-07-16 13:54:15 +02:00
  • 6af8c939ff feat: add serde for Risc0Program (#45) Paul 2025-07-15 20:19:32 +08:00
  • 1cf9d545ea Fix Pico's docker test (#51) Han 2025-07-14 19:06:01 +08:00
  • 2fdc62a422 zisk: tempdir for cargo-zisk rom-setup (#39) Han 2025-07-14 18:26:26 +08:00
  • 94b026dc4b zkvm-interface: allow dynamic dispatch in zkVM trait (#52) v0.0.5 Ignacio Hagopian 2025-07-14 01:02:12 +02:00
  • 47e33298fb Add automatic name and sdk version (#48) v0.0.4 Ignacio Hagopian 2025-07-09 14:07:32 +02:00
  • 5d58bc6724 Merge pull request #42 from eth-act/jsign-sp1-hack v0.0.3 Ignacio Hagopian 2025-06-26 15:23:32 +02:00
  • 160feef479 improvement Ignacio Hagopian 2025-06-25 17:45:34 -03:00
  • c0d2f40946 sp1: implement workaround for poisoned mutex when prover crashes Ignacio Hagopian 2025-06-25 17:34:23 -03:00
  • ac3eb134a1 sp1: update sdk (#40) v0.0.2 Ignacio Hagopian 2025-06-23 14:29:10 +02:00
  • 9af117fd17 risc0: generate succinct proofs (#38) Ignacio Hagopian 2025-06-21 16:14:44 +02:00
  • 10f1655bf2 Merge pull request #36 from eth-act/jsign-sp1-compressed v0.0.1 Ignacio Hagopian 2025-06-20 14:51:12 +02:00
  • 99ecdca3a5 sp1: use compressed proofs Ignacio Hagopian 2025-06-20 09:00:46 -03:00
  • 33f0b62d34 feat: Add prover network parameter (#35) kevaundray 2025-06-17 17:37:10 +02:00
  • 8b84f257b9 Update README.md (#30) kevaundray 2025-06-06 10:27:50 +02:00