Pinned Loading

1. eth-act/zkevm-test-monitor eth-act/zkevm-test-monitor Public

   ISA compliance testing of some RISC-V based ZKVMs

   Shell 5 3

2. eth-act/zisk-fv eth-act/zisk-fv Public

   Lean 4 formal verification of the ZisK zkVM against the Sail RISC-V specification (ZisK fork baseline + FV work in ai_plans/, docs/fv/, ZiskFv/, tools/zisk-pil-extract/).

   Lean

3. ypir-tileserver ypir-tileserver Public

   YPIR CPU-backed private map-tile server and demo (YPIR scheme from Menon & Wu, 2023)

   Rust 1

4. AztecProtocol/barretenberg AztecProtocol/barretenberg Public

   Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg

   193 130