argumentcomputerZKSnark.lean

https://yatima-inc.github.io/ZKSnark.lean/
#zk-snarks #zkp
Displaying 1-1 of 1 versions of ZKSnark.lean
Sort by
  1. Not a part of any version track.
    a92ff01
    3 years ago
    Released on September 1, 2022 at 12:35:17PM
    Commit a92ff01 builds on its old leanprover/lean4:nightly-2022-06-14
    nightly-2022-06-14