Repositories list

• nethermind

  Public
  A robust execution client for Ethereum node operators.

  ethereumblockchainethereum-client+ 2ethevm

  C#

  •

  GNU General Public License v3.0

  •522•1.4k•360•103•Updated Jun 23, 2025Jun 23, 2025

• juno

  Public
  Starknet client implementation.

  gogolangrest-api+ 7ethereumnubiajunolayer2starksstarknetcairolang

  Go

  •

  Apache License 2.0

  •208•426•74•47•Updated Jun 23, 2025Jun 23, 2025

• stark-rings

  Public
  Cyclotomic rings over STARK-friendly fields

  rustcryptographyethereum+ 5blockchainlattice-based-cryptozk-snarkszk-starksstarknet

  Rust

  •

  Apache License 2.0

  •3•10•0•2•Updated Jun 23, 2025Jun 23, 2025

• surge-taiko-mono

  Public
  A based rollup template of the Taiko Alethia stack.

  Svelte

  •

  MIT License

  •2.2k•24•0•15•Updated Jun 23, 2025Jun 23, 2025

• arbiteragent-staging

  Public
  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

  •3•0•0•2•Updated Jun 23, 2025Jun 23, 2025

• agentarena-agent-template

  Public
  Python

  •

  MIT License

  •5•4•0•0•Updated Jun 23, 2025Jun 23, 2025

• client-nodes-reporter

  Public
  Go

  •

  GNU General Public License v3.0

  •1•0•0•1•Updated Jun 23, 2025Jun 23, 2025

• surge-ethereum-package

  Public
  A Kurtosis package that deploys a private, portable, and modular Surge devnet

  Starlark

  •

  MIT License

  •237•0•0•1•Updated Jun 23, 2025Jun 23, 2025

• ArkLibFri

  Public
  Formally Verified SNARKs in Lean

  Lean

  •

  Apache License 2.0

  •14•0•0•5•Updated Jun 23, 2025Jun 23, 2025

• gmp-bindings

  Public
  C# bindings for the GMP library

  gmp

  C#

  •

  MIT License

  •0•0•0•0•Updated Jun 23, 2025Jun 23, 2025

• rust-template

  Public template
  A rust starter template from ZK engineering team 🚀

  rusttemplatecargo-generate+ 1nethermind

  Rust

  •

  Apache License 2.0

  •1•2•1•2•Updated Jun 23, 2025Jun 23, 2025

• gas-benchmarks

  Public
  Gas benchmark research repository

  Python

  •

  MIT License

  •8•14•4•6•Updated Jun 23, 2025Jun 23, 2025

• starknet.go

  Public
  Golang Library for StarkNet/Cairo

  gogolangblockchain+ 2nubiastarknet

  MDX

  •

  MIT License

  •130•173•16•9•Updated Jun 23, 2025Jun 23, 2025

• arbitrum-nitro

  Public
  Nitro goes vroom and fixes everything

  Go

  •

  Other

  •575•0•0•0•Updated Jun 23, 2025Jun 23, 2025

• github-action-image-build-and-push

  Public
  0•0•0•2•Updated Jun 23, 2025Jun 23, 2025

• simple-surge-node

  Public
  Start your Surge node with a single command. 🌐

  Shell

  •

  MIT License

  •832•0•0•2•Updated Jun 23, 2025Jun 23, 2025

• CertiPlonk

  Public
  Plonky3 formal verification framework

  Apache License 2.0

  •0•0•0•2•Updated Jun 23, 2025Jun 23, 2025

• starknet-remix-plugin

  Public
  A plugin that brings Starknet to Remix! 🐺 ⭐

  caironubiaremix-ide+ 1starknet

  TypeScript

  •

  Apache License 2.0

  •32•44•23•10•Updated Jun 23, 2025Jun 23, 2025

• condor-rs

  Public
  Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust

  rustcryptographysignatures+ 2post-quantum-cryptographyzk

  Rust

  •

  Other

  •1•20•25•3•Updated Jun 23, 2025Jun 23, 2025

• dydxprotocol-v4-clients

  Public
  JavaScript

  •

  Other

  •71•0•0•4•Updated Jun 23, 2025Jun 23, 2025

• Clear

  Public
  Interactive formal verification tool for Yul programs

  Lean

  •

  Other

  •7•65•0•12•Updated Jun 23, 2025Jun 23, 2025

• github-workflows

  Public
  Other

  •0•0•0•3•Updated Jun 23, 2025Jun 23, 2025

• eigenlayer-onchain-exporter

  Public
  A tool to expose Prometheus metrics about EigenDA blob traffic.

  Go

  •

  Apache License 2.0

  •0•0•0•3•Updated Jun 21, 2025Jun 21, 2025

• layerzero-gasolina-aws

  Public
  This repository provides Infrastructure-As-Code (IAC) for installing Gasolina on AWS via CDK.

  TypeScript

  •16•0•0•0•Updated Jun 20, 2025Jun 20, 2025

• PublicAuditReports

  Public
  Public reports of audits performed by Nethermind Security

  8•49•2•2•Updated Jun 20, 2025Jun 20, 2025

• wormhole

  Public
  A reference implementation for the Wormhole blockchain interoperability protocol.

  TypeScript

  •

  Other

  •769•0•0•2•Updated Jun 20, 2025Jun 20, 2025

• pitchlake-coprocessor

  Public
  Calculates properties of a range of blocks in risc 0 environment

  Rust

  •2•0•1•7•Updated Jun 20, 2025Jun 20, 2025

• execution-payloads-benchmarks

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Jun 20, 2025Jun 20, 2025

• zkgas-profiling

  Public
  Rust

  •

  Other

  •0•0•0•1•Updated Jun 20, 2025Jun 20, 2025

• cvc5_smff_test_suite

  Public
  SMT

  •0•0•0•0•Updated Jun 20, 2025Jun 20, 2025