Skip to content
Change the repository type filter

All

    Repositories list

    • A robust execution client for Ethereum node operators.
      C#
      5371.4k323117Updated Aug 11, 2025Aug 11, 2025
    • raiko

      Public
      Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
      Rust
      121102Updated Aug 11, 2025Aug 11, 2025
    • juno

      Public
      Starknet client implementation.
      Go
      2134306035Updated Aug 11, 2025Aug 11, 2025
    • Rust
      2262Updated Aug 11, 2025Aug 11, 2025
    • Catalyst

      Public
      The preconfer sidecar for Taiko Alethia preconfirmations 🥁
      Rust
      833422Updated Aug 11, 2025Aug 11, 2025
    • rust-template

      Public template
      A rust starter template from ZK engineering team 🚀
      Rust
      1312Updated Aug 11, 2025Aug 11, 2025
    • 0003Updated Aug 11, 2025Aug 11, 2025
    • A libp2p implementation for .NET in C#.
      C#
      3491188Updated Aug 10, 2025Aug 10, 2025
    • Nitro goes vroom and fixes everything
      Go
      606003Updated Aug 10, 2025Aug 10, 2025
    • rbuilder

      Public
      rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust
      Rust
      158111Updated Aug 10, 2025Aug 10, 2025
    • C# bindings for the MCL library
      C#
      0001Updated Aug 9, 2025Aug 9, 2025
    • This repository provides Infrastructure-As-Code (IAC) for installing Gasolina on AWS via CDK.
      TypeScript
      18001Updated Aug 9, 2025Aug 9, 2025
    • A based rollup template of the Taiko Alethia stack.
      Svelte
      2.2k2404Updated Aug 9, 2025Aug 9, 2025
    • Golang Library for StarkNet/Cairo
      MDX
      1361752111Updated Aug 8, 2025Aug 8, 2025
    • wei

      Public
      Autonomous Agents for blockchain governance and development.
      Rust
      0051Updated Aug 8, 2025Aug 8, 2025
    • Nethermind Helm Charts
      Smarty
      1105Updated Aug 8, 2025Aug 8, 2025
    • zkEVM benchmarking
      Rust
      8001Updated Aug 8, 2025Aug 8, 2025
    • Benchmarking Ethereum mainnet performance across gas limits. Infra, analysis, and tooling for safe gas limit selection and client coordination.
      Python
      00301Updated Aug 8, 2025Aug 8, 2025
    • wormhole

      Public
      A reference implementation for the Wormhole blockchain interoperability protocol.
      TypeScript
      782001Updated Aug 8, 2025Aug 8, 2025
    • Plonky3 formal verification framework
      Lean
      0107Updated Aug 8, 2025Aug 8, 2025
    • Executable formal model of the EVM and Yul in Lean 4.
      Lean
      75901Updated Aug 8, 2025Aug 8, 2025
    • int256

      Public
      A 256-bit integer implementation for .NET
      C#
      114312Updated Aug 8, 2025Aug 8, 2025
    • C# bindings for the libsecp256k1 library
      C#
      2101Updated Aug 7, 2025Aug 7, 2025
    • C# bindings for the GMP library
      C#
      0001Updated Aug 7, 2025Aug 7, 2025
    • Gas benchmark research repository
      Python
      111536Updated Aug 7, 2025Aug 7, 2025
    • boundless

      Public
      Monorepo for Boundless, the universal ZK protocol
      Rust
      144001Updated Aug 7, 2025Aug 7, 2025
    • TeX
      0101Updated Aug 7, 2025Aug 7, 2025
    • Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
      Rust
      1.8k000Updated Aug 7, 2025Aug 7, 2025
    • condor-rs

      Public
      Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
      Rust
      120174Updated Aug 7, 2025Aug 7, 2025
    • Clear

      Public
      Interactive formal verification tool for Yul programs
      Lean
      768011Updated Aug 6, 2025Aug 6, 2025