Thanks to visit codestin.com
Credit goes to github.com

Skip to content
@Verified-zkEVM

Verified zk(E)VM

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

Popular repositories Loading

  1. ArkLib ArkLib Public

    Formally Verified Arguments of Knowledge in Lean

    Lean 149 38

  2. clean clean Public

    Lean circuit DSL

    Lean 121 15

  3. VCV-io VCV-io Public

    Formalized Cryptography Proofs in Lean 4

    Lean 62 10

  4. iris-lean iris-lean Public

    Forked from leanprover-community/iris-lean

    Lean 4 port of Iris, a higher-order concurrent separation logic framework

    TeX 9 2

  5. CompPoly CompPoly Public

    A computable model of Polynomials in Lean.

    Lean 9 3

  6. verified-zkevm.org verified-zkevm.org Public

    JavaScript 1 1

Repositories

Showing 8 of 8 repositories

People

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

Top languages

Loading…

Most used topics

Loading…