reilabsproven-zk

A support library for working with zero knowledge cryptography in Lean 4.
#formal-verification #zero-knowledge
Displaying 1-8 of 8 versions of proven-zk
Sort by
  1. Not a part of any version track.
    45b4de9
    5 months ago
    Released on June 30, 2025 at 4:57:58PM
    Commit 45b4de9 builds on its old leanprover/lean4:v4.21.0
    v4.21.0
    1.2 MB Build archive size: 1206343 bytes.
  2. Not a part of any version track.
    62cb9d8
    v1.5.0
    8 months ago
    Released on April 4, 2025 at 2:38:38PM
    Commit 62cb9d8 builds on its old leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    1.2 MB Build archive size: 1186970 bytes.
  3. Not a part of any version track.
    659b51e
    v1.4.0
    2 years ago
    Released on March 13, 2024 at 10:59:32PM
    Commit 659b51e builds on its old leanprover/lean4:v4.2.0
    v4.2.0
  4. Not a part of any version track.
    ae9327e
    v1.3.0
    2 years 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
  5. Not a part of any version track.
    1f19c61
    v1.2.1
    2 years 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
  6. Not a part of any version track.
    474d69f
    v1.2.0
    2 years 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
  7. Not a part of any version track.
    18e62cc
    v1.1.0
    2 years 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
  8. Not a part of any version track.
    08431b9
    v1.0.0
    2 years 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