Skip to content
@Verified-zkEVM

Verified zk(E)VM

Github organization for the verified zk(E)VM formal verification project

Popular repositories Loading

  1. ZKLib ZKLib Public

    Formally Verified SNARKs in Lean

    Lean 58 6

  2. clean clean Public

    Lean circuit DSL for AIR

    Lean 57 2

  3. verified-zkevm.org verified-zkevm.org Public

    HTML

  4. Overview Overview Public

    Project overview with links to relevant repositories

Repositories

Showing 4 of 4 repositories
  • clean Public

    Lean circuit DSL for AIR

    Verified-zkEVM/clean’s past year of commit activity
    Lean 57 MIT 2 5 3 Updated Apr 3, 2025
  • ZKLib Public

    Formally Verified SNARKs in Lean

    Verified-zkEVM/ZKLib’s past year of commit activity
    Lean 58 Apache-2.0 6 5 0 Updated Mar 27, 2025
  • Overview Public

    Project overview with links to relevant repositories

    Verified-zkEVM/Overview’s past year of commit activity
    0 0 0 0 Updated Mar 7, 2025
  • verified-zkevm.org Public
    Verified-zkEVM/verified-zkevm.org’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 21, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Lean HTML

Most used topics

Loading…