Skip to content
Change the repository type filter

All

    Repositories list

    • A robust execution client for Ethereum node operators.
      C#
      6331.5k326172Updated Jan 21, 2026Jan 21, 2026
    • A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.
      Lean
      11301Updated Jan 21, 2026Jan 21, 2026
    • Lean ZK circuit models for the Plonky3 zkDSL
      Lean
      0001Updated Jan 21, 2026Jan 21, 2026
    • Golang Library for StarkNet/Cairo
      Go
      1401772015Updated Jan 20, 2026Jan 20, 2026
    • zkEVM benchmarking
      Rust
      16004Updated Jan 20, 2026Jan 20, 2026
    • juno

      Public
      Starknet client implementation.
      Go
      2224434242Updated Jan 20, 2026Jan 20, 2026
    • A based rollup template of the Taiko Alethia stack.
      Svelte
      2.3k25023Updated Jan 20, 2026Jan 20, 2026
    • Catalyst

      Public
      The preconfer sidecar for Taiko Alethia preconfirmations 🥁
      Rust
      1244554Updated Jan 20, 2026Jan 20, 2026
    • 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.
      3002Updated Jan 20, 2026Jan 20, 2026
    • Lean
      0000Updated Jan 20, 2026Jan 20, 2026
    • A complete environment for nitro-based service including sequencer, batch-poster, validator, and a coordinator.
      TypeScript
      98001Updated Jan 20, 2026Jan 20, 2026
    • node

      Public
      Everything required to run your own Base node
      Go
      3.2k001Updated Jan 20, 2026Jan 20, 2026
    • Gas benchmark research repository
      Python
      172018Updated Jan 20, 2026Jan 20, 2026
    • wormhole

      Public
      A reference implementation for the Wormhole blockchain interoperability protocol.
      TypeScript
      8220112Updated Jan 20, 2026Jan 20, 2026
    • Start your Taiko node with a single command. 🌐
      Shell
      831002Updated Jan 20, 2026Jan 20, 2026
    • Nitro goes vroom and fixes everything
      Go
      708006Updated Jan 20, 2026Jan 20, 2026
    • Collection of Forta Bots for on-chain anomaly/threat detection
      TypeScript
      7611931.2kUpdated Jan 20, 2026Jan 20, 2026
    • Start your Surge node with a single command. 🌐
      Shell
      8310010Updated Jan 20, 2026Jan 20, 2026
    • A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
      Lean
      1000Updated Jan 20, 2026Jan 20, 2026
    • LSpec

      Public
      A Testing Framework for Lean - Dependency of https://github.com/NethermindEth/Poseidon.lean
      Lean
      15000Updated Jan 20, 2026Jan 20, 2026
    • Lean
      9000Updated Jan 20, 2026Jan 20, 2026
    • JavaScript
      12308Updated Jan 19, 2026Jan 19, 2026
    • This repository provides Infrastructure-As-Code (IAC) for installing Gasolina on AWS via CDK.
      TypeScript
      20003Updated Jan 19, 2026Jan 19, 2026
    • raiko

      Public
      Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
      Rust
      129209Updated Jan 19, 2026Jan 19, 2026
    • Open, flexible, and composable framework for transferring tokens across blockchains without liquidity pools
      TypeScript
      840013Updated Jan 19, 2026Jan 19, 2026
    • Scoring algo to determine the results of an AI security scan versus a source of truth.
      Python
      21601Updated Jan 19, 2026Jan 19, 2026
    • Rust
      0103Updated Jan 19, 2026Jan 19, 2026
    • int256

      Public
      A 256-bit integer implementation for .NET
      C#
      114811Updated Jan 16, 2026Jan 16, 2026
    • Shell
      0002Updated Jan 16, 2026Jan 16, 2026
    • Basic building blocks for ZK systems
      Rust
      1512Updated Jan 16, 2026Jan 16, 2026