Pinned Loading

1. Verified-zkEVM/CompPoly Verified-zkEVM/CompPoly Public

   Computable Polynomials in Lean.

   Lean 46 33

2. Verified-zkEVM/ArkLib Verified-zkEVM/ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 306 81

3. Plonky3Verif Plonky3Verif Public

   Forked from Plonky3/Plonky3

   A toolkit for polynomial IOPs (PIOPs)

   Rust

4. Verified-zkEVM/evm-asm Verified-zkEVM/evm-asm Public

   Lean 41 9

5. LC3-Lean LC3-Lean Public

   A proof system in Lean for the LC-3 VM.

   Lean 8 2

6. FinCert FinCert Public

   An experimental repository developing formal tools to specify financial smart contracts in ConCert (Coq). Corresponds to the text of my PhD thesis.

   Coq 9 1