Skip to content
Change the repository type filter

All

    Repositories list

    • Golang Library for StarkNet/Cairo
      MDX
      MIT License
      132172188Updated Jun 5, 2025Jun 5, 2025
    • ZKLibFri

      Public
      Formally Verified SNARKs in Lean
      Lean
      Apache License 2.0
      11004Updated Jun 5, 2025Jun 5, 2025
    • nebula

      Public
      🌌 A network agnostic DHT crawler, monitor, and measurement tool that exposes timely information about DHT networks.
      Go
      Apache License 2.0
      45001Updated Jun 5, 2025Jun 5, 2025
    • Benchmarking Ethereum mainnet performance across gas limits. Infra, analysis, and tooling for safe gas limit selection and client coordination.
      MIT License
      00301Updated Jun 5, 2025Jun 5, 2025
    • A robust execution client for Ethereum node operators.
      C#
      GNU General Public License v3.0
      5221.4k35986Updated Jun 5, 2025Jun 5, 2025
    • A collection of Safe singleton deployments
      TypeScript
      MIT License
      336000Updated Jun 5, 2025Jun 5, 2025
    • Validator software for Starknet stakers written in Go
      Go
      MIT License
      4842Updated Jun 5, 2025Jun 5, 2025
    • juno

      Public
      Starknet client implementation.
      Go
      Apache License 2.0
      2044266549Updated Jun 5, 2025Jun 5, 2025
    • The preconfer sidecar for Taiko Alethia preconfirmations 🥁
      Rust
      MIT License
      727472Updated Jun 5, 2025Jun 5, 2025
    • cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
      SMT
      Other
      257000Updated Jun 5, 2025Jun 5, 2025
    • Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
      Rust
      Apache License 2.0
      1.6k001Updated Jun 5, 2025Jun 5, 2025
    • raiko

      Public
      Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
      Rust
      Apache License 2.0
      114102Updated Jun 5, 2025Jun 5, 2025
    • Gas benchmark research repository
      Python
      MIT License
      61146Updated Jun 5, 2025Jun 5, 2025
    • A based rollup template of the Taiko Alethia stack.
      Svelte
      MIT License
      2.2k24013Updated Jun 5, 2025Jun 5, 2025
    • Nethermind Helm Charts
      Smarty
      MIT License
      1107Updated Jun 5, 2025Jun 5, 2025
    • Etheruem JSON-RPC benchmarking suite
      Go
      0000Updated Jun 5, 2025Jun 5, 2025
    • wormhole

      Public
      A reference implementation for the Wormhole blockchain interoperability protocol.
      TypeScript
      Other
      760001Updated Jun 5, 2025Jun 5, 2025
    • A Kurtosis package that deploys a private, portable, and modular Ethereum devnet for preconfirm AVS
      Starlark
      MIT License
      233012Updated Jun 5, 2025Jun 5, 2025
    • JavaScript
      Other
      70004Updated Jun 5, 2025Jun 5, 2025
    • A Worldcoin bridge for Starknet
      Cairo
      MIT License
      1701Updated Jun 4, 2025Jun 4, 2025
    • MDX
      Other
      40001Updated Jun 4, 2025Jun 4, 2025
    • ArbiterAgent is an open source AI-powered triage system that aggregates, deduplicates, and assigns severity to vulnerability findings from multiple AI auditing agents. It ensures consistent scoring, fair reward allocation, and streamlined dispute resolution within smart contract auditing ecosystems.
      MIT License
      3002Updated Jun 4, 2025Jun 4, 2025
    • Rust
      MIT License
      2122Updated Jun 4, 2025Jun 4, 2025
    • Public reports of audits performed by Nethermind Security
      84621Updated Jun 4, 2025Jun 4, 2025
    • Go
      0001Updated Jun 4, 2025Jun 4, 2025
    • 0000Updated Jun 4, 2025Jun 4, 2025
    • Start your Surge node with a single command. 🌐
      Shell
      MIT License
      832003Updated Jun 4, 2025Jun 4, 2025
    • condor-rs

      Public
      Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
      Rust
      Other
      120243Updated Jun 4, 2025Jun 4, 2025
    • Plonky3 formal verification framework
      Apache License 2.0
      0002Updated Jun 2, 2025Jun 2, 2025
    • Python
      MIT License
      4401Updated Jun 2, 2025Jun 2, 2025