Veridise / CodaLinks
☆47Updated last year
Alternatives and similar repositories for Coda
Users that are interested in Coda are comparing it to the libraries listed below
Sorting:
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Solves systems of polynomial equations.☆29Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A course on Halo2 in collaboration with Zircuit☆25Updated 4 months ago
- Interactive formal verification tool for Yul programs☆65Updated 3 weeks ago
- ☆53Updated last week
- Proof system backends for OpenVM.☆30Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 3 weeks ago
- r1cs file format parser☆24Updated last year
- Verifiable FHE with GKR☆26Updated 8 months ago
- ☆27Updated last month
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- ☆30Updated 2 years ago
- Solidity implementation of Nova proving system verifier☆63Updated last year
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆13Updated 2 months ago
- ☆50Updated last year
- ☆43Updated 3 weeks ago
- ☆41Updated last year
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- polynomial commitments from linear codes☆44Updated 5 months ago
- Extracting the semantics of Noir to Lean for formal verification☆30Updated this week
- Honk Verifier in Solidity☆50Updated 7 months ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year