boundless-xyz/kailua external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

boundless-xyz/kailua

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/boundless-xyz/kailua)

Close

boundless-xyz / kailuaView on GitHubMore

• External links
• Readme badge

The Ultimate ZK Proving Software Suite for Securing OP Rollups

☆67Mar 6, 2026Updated this week

Alternatives and similar repositories for kailua

Users that are interested in kailua are comparing it to the libraries listed below

• op-rs / kona

  View on GitHub
  Monorepo for OP Stack Types, Components, and Services built in Rust.
  ☆289Jan 16, 2026Updated last month
• worldcoin / world-chain

  View on GitHub
  World Chain monorepo
  ☆101Feb 26, 2026Updated last week
• succinctlabs / op-succinct

  View on GitHub
  Succinct's Production-Grade Proving Engine for the OP Stack.
  ☆209Updated this week
• nemi-fi / mezcal

  View on GitHub
  Cutting edge on-chain dark pool
  ☆20Sep 26, 2025Updated 5 months ago
• costa-group / circom_civer

  View on GitHub
  zkSnark circuit compiler
  ☆12Feb 19, 2026Updated 2 weeks ago
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• varun-doshi / eth-binary-tree

  View on GitHub
  Rust Implementation of Ethereum Binary Tree EIP-7864
  ☆16Jul 13, 2025Updated 7 months ago
• ethproofs / ethproofs

  View on GitHub
  the race to mainnet-grade L1 zkEVMs
  ☆138Mar 1, 2026Updated last week
• ethereum-optimism / tests

  View on GitHub
  Standard Tests for OP Stack Component Implementations.
  ☆18Nov 11, 2024Updated last year
• banyancomputer / hot-proofs-blake3-circom

  View on GitHub
  banyan's hot on-chain data storage zk proofs
  ☆14May 22, 2025Updated 9 months ago
• op-rs / maili

  View on GitHub
  Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
  ☆16Feb 21, 2025Updated last year
• jat9292 / noir-elgamal

  View on GitHub
  A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve
  ☆11Nov 18, 2023Updated 2 years ago
• hashcloak / noir-mpc-ml

  View on GitHub
  Publicly Verifiable & Private Collaborative ML Model Training in Noir
  ☆13Feb 17, 2025Updated last year
• paradigmxyz / revm-inspectors

  View on GitHub
  EVM Execution Hooks.
  ☆240Feb 25, 2026Updated last week
• LFDT-Lockness / round-based

  View on GitHub
  Framework for implementing MPC protocol in Rust
  ☆22Dec 10, 2025Updated 2 months ago
• flashbots / contender

  View on GitHub
  spam EVM execution nodes over JSON-RPC & run benchmarks
  ☆126Updated this week
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• gnosisguild / enclave

  View on GitHub
  Enclave is an open-source protocol for Encrypted Execution Environments (E3).
  ☆46Updated this week
• alloy-rs / op-alloy

  View on GitHub
  Transports, Middleware, and Networks for the OP Stack built on Alloy
  ☆86Feb 18, 2026Updated 2 weeks ago
• ethereum / L2-interop

  View on GitHub
  The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…
  ☆75Oct 23, 2025Updated 4 months ago
• reilabs / lampe

  View on GitHub
  Extracting the semantics of Noir to Lean for formal verification
  ☆36Feb 27, 2026Updated last week
• pluto / edge

  View on GitHub
  client side proving
  ☆39Mar 12, 2025Updated 11 months ago
• op-rs / cannon-rs

  View on GitHub
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆65Jul 27, 2024Updated last year
• spire-labs / based-stack

  View on GitHub
  The Spire Based Stack
  ☆23Nov 21, 2025Updated 3 months ago
• liyue201 / gnark-circomlib

  View on GitHub
  Translate circomlib into gnark
  ☆20Sep 16, 2025Updated 5 months ago
• crema-labs / ecdsa-p384-circom

  View on GitHub
  ECDSA P384 implementation for circom
  ☆17Sep 1, 2024Updated last year
• op-rs / hilo

  View on GitHub
  A suite of portable, extensible `std` components for the superchain.
  ☆21Jan 20, 2025Updated last year
• primitivefinance / mythic

  View on GitHub
  Mythic
  ☆24Oct 15, 2024Updated last year
• ethpandaops / optimism-package

  View on GitHub
  A kurtosis package for deploying an optimistic rollup
  ☆95Jan 1, 2026Updated 2 months ago
• jtriley2p / huff-style-guide

  View on GitHub
  A mostly mostly reasonable approach to Huff styling.
  ☆79Aug 8, 2023Updated 2 years ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• Sovereign-Labs / nmt-rs

  View on GitHub
  An implementation of a namespaced merkle tree in Rust.
  ☆33Jun 11, 2025Updated 8 months ago
• zk-kit / zk-kit.noir

  View on GitHub
  A monorepo of reusable Noir circuits.
  ☆50Jan 24, 2026Updated last month
• succinctlabs / sp1-tee

  View on GitHub
  ☆26Oct 6, 2025Updated 5 months ago
• succinctlabs / plonky3

  View on GitHub
  ☆24Dec 21, 2024Updated last year
• rkdud007 / alloy-merkle-tree

  View on GitHub
  Minimal Merkle Tree implementations
  ☆31Jun 13, 2025Updated 8 months ago
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 10 months ago
• ethereum-optimism / design-docs

  View on GitHub
  ☆58Feb 26, 2026Updated last week