Popular repositories Loading

1. Zk-Project Zk-Project Public

   Python 1

2. foundry foundry Public

   Forked from foundry-rs/foundry

   Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

   Rust 1

3. bsc bsc Public

   Forked from bnb-chain/bsc

   A BNB Smart Chain client based on the go-ethereum fork

   Go

4. Picus Picus Public

   Forked from chyanju/picus

   Automated verification of uniqueness property for ZKP circuits

   Circom

5. llzk-lib llzk-lib Public

   Forked from project-llzk/llzk-lib

   Library for parsing, generating, and analyzing LLZK code.

   C++

6. tamarin-prover tamarin-prover Public

   Forked from tamarin-prover/tamarin-prover

   Main source code repository of the Tamarin prover for security protocol verification.

   Haskell