No results found

proven-zk

A support library for working with zero knowledge cryptography in Lean 4.
#formal-verification #zero-knowledge
Displaying 1-7 of 7 versions of proven-zk
Sort by
  1. Not a part of any version track.
    659b51e
    v1.4.0
    9 months ago
    Released on March 13, 2024 at 10:59:32PM
    Commit 659b51e builds on its old leanprover/lean4:v4.2.0
    v4.2.0
  2. Not a part of any version track.
    659b51e
    v1.4.0
    9 months ago
    Released on March 13, 2024 at 10:59:32PM
    Commit 659b51e builds on its old leanprover/lean4:v4.2.0
    v4.2.0
  3. Not a part of any version track.
    ae9327e
    v1.3.0
    a year ago
    Released on January 28, 2024 at 4:59:20PM
    Commit ae9327e builds on its old leanprover/lean4:nightly-2023-07-12
    nightly-2023-07-12
  4. Not a part of any version track.
    1f19c61
    v1.2.1
    a year ago
    Released on November 29, 2023 at 12:05:48PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2023-07-12
  5. Not a part of any version track.
    474d69f
    v1.2.0
    a year ago
    Released on November 28, 2023 at 3:23:59PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2023-07-12
  6. Not a part of any version track.
    18e62cc
    v1.1.0
    a year ago
    Released on October 16, 2023 at 4:20:06PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2023-07-12
  7. Not a part of any version track.
    08431b9
    v1.0.0
    a year ago
    Released on July 31, 2023 at 11:12:53PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2023-07-12