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 40 4

  2. clean clean Public

    Lean circuit DSL for AIR

    Lean 22 1

  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

    Lean 22 MIT 1 5 6 Updated Mar 21, 2025
  • ZKLib Public

    Formally Verified SNARKs in Lean

    Lean 40 Apache-2.0 4 5 0 Updated Mar 16, 2025
  • Overview Public

    Project overview with links to relevant repositories

    0 0 0 0 Updated Mar 7, 2025
  • verified-zkevm.org Public
    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