Popular repositories Loading

1. solid-public solid-public Public

   Source code of Solid, the prototype type inference tool developed for the SolType paper

   Haskell 3 1

2. Picus Picus Public

   Forked from chyanju/Picus

   Automated verification of uniqueness property for ZKP circuits

   Circom 2

3. Coda Coda Public

   Coq 1

4. zk-bug-finder-playground zk-bug-finder-playground Public

   Host code for zk-bug-finder workspace

   Rust 1

5. defi-threat defi-threat Public

   Forked from manifoldfinance/defi-threat

   a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance

6. noir-halo2-backend noir-halo2-backend Public

   Forked from Ethan-000/halo2_backend

   Rust