Skip to content

@Verified-zkEVM Verified zk(E)VM

Change the repository type filter

All

    Repositories list

    11 repositories

    • VCV-io

      Public
      Formalized Cryptography Proofs in Lean 4
      Lean
      •
      Apache License 2.0
      •21•89•40•1•Updated Apr 28, 2026Apr 28, 2026

    • evm-asm

      Public
      Lean
      •
      MIT License
      •4•10•61•4•Updated Apr 28, 2026Apr 28, 2026

    • clean

      Public
      Lean circuit DSL
      Lean
      •
      MIT License
      •18•134•25•14•Updated Apr 27, 2026Apr 27, 2026

    • ArkLib

      Public
      Formally Verified Arguments of Knowledge in Lean
      leanformal-verificationzk
      leanformal-verificationzkzero-knowledgesnarklean4
      Lean
      •
      Apache License 2.0
      •50•188•11•27•Updated Apr 27, 2026Apr 27, 2026

    • iris-lean

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

    • CompPoly

      Public
      A computable model of Polynomials in Lean.
      Lean
      •
      Apache License 2.0
      •18•38•7•11•Updated Apr 27, 2026Apr 27, 2026

    • rust-lean

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

    • verified-zkevm.org

      Public
      JavaScript
      •2•1•0•2•Updated Apr 9, 2026Apr 9, 2026

    • ExtTreeMapLemmas

      Public
      Lean
      •4•0•0•0•Updated Mar 31, 2026Mar 31, 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•0•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.