NethermindEthsp1-poc1.0.0

Proof-of-Concept Verification Infrastructure for SP1 zk chips
Displaying 1-1 of 1 versions of sp1-poc
Sort by
  1. 1.xVersion track: 1.x
    1.0.0
    a year ago
    Released on May 21, 2025 at 3:31:33PM
    Commit 36ee28c builds on its old leanprover/lean4:v4.18.0
    v4.18.0
    63.6 MB Build archive size: 63625651 bytes.