Skip to content

@Verified-zkEVM Verified zk(E)VM

Change the repository type filter

All

    Repositories list

    12 repositories

    • evm-asm

      Public
      Lean
      •
      MIT License
      •6•29•53•7•Updated May 21, 2026May 21, 2026

    • clean

      Public
      Lean circuit DSL
      Lean
      •
      MIT License
      •19•142•25•10•Updated May 21, 2026May 21, 2026

    • ArkLib

      Public
      Formally Verified Arguments of Knowledge in Lean
      leanformal-verificationzk
      leanformal-verificationzkzero-knowledgesnarklean4
      Lean
      •
      Apache License 2.0
      •66•287•11•24•Updated May 21, 2026May 21, 2026

    • CompPoly

      Public
      Computable Polynomials in Lean.
      Lean
      •
      Apache License 2.0
      •20•42•5•6•Updated May 21, 2026May 21, 2026

    • VCV-io

      Public
      Formalized Cryptography Proofs in Lean 4
      Lean
      •
      Apache License 2.0
      •32•111•34•2•Updated May 21, 2026May 21, 2026

    • verified-zkevm.org

      Public
      JavaScript
      •2•1•0•2•Updated May 19, 2026May 19, 2026

    • iris-lean

      Public
      Lean 4 port of Iris, a higher-order concurrent separation logic framework
      TeX
      •
      Apache License 2.0
      •34•13•40•0•Updated May 19, 2026May 19, 2026

    • PolyFun

      Public
      Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
      Lean
      •
      Apache License 2.0
      •0•6•0•1•Updated May 19, 2026May 19, 2026

    • ExtTreeMapLemmas

      Public
      Lean
      •4•0•0•0•Updated May 4, 2026May 4, 2026

    • rust-lean

      Public
      Verification of Rust code in Lean 4
      Lean
      •0•5•0•0•Updated Apr 18, 2026Apr 18, 2026

    • zkLean

      Public
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • Overview

      Public
      Project overview with links to relevant repositories
      0•1•0•0•Updated Jul 19, 2025Jul 19, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.