boundless-xyz / kailuaView external linksLinks
The Ultimate ZK Proving Software Suite for Securing OP Rollups
☆67Updated this week
Alternatives and similar repositories for kailua
Users that are interested in kailua are comparing it to the libraries listed below
Sorting:
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆288Jan 16, 2026Updated 3 weeks ago
- World Chain monorepo☆94Updated this week
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated this week
- Cutting edge on-chain dark pool☆19Sep 26, 2025Updated 4 months ago
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- the race to mainnet-grade L1 zkEVMs☆136Updated this week
- Standard Tests for OP Stack Component Implementations.☆18Nov 11, 2024Updated last year
- A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve☆11Nov 18, 2023Updated 2 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated 11 months ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 8 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- EVM Execution Hooks.☆240Feb 3, 2026Updated last week
- Framework for implementing MPC protocol in Rust☆22Dec 10, 2025Updated 2 months ago
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆44Updated this week
- ☆26Apr 15, 2025Updated 10 months ago
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆83Updated this week
- The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…☆75Oct 23, 2025Updated 3 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- client side proving☆39Mar 12, 2025Updated 11 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- The Spire Based Stack☆22Nov 21, 2025Updated 2 months ago
- Translate circomlib into gnark☆20Sep 16, 2025Updated 4 months ago
- ECDSA P384 implementation for circom☆17Sep 1, 2024Updated last year
- spam EVM execution nodes over JSON-RPC & run benchmarks☆121Updated this week
- Mythic☆24Oct 15, 2024Updated last year
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- A kurtosis package for deploying an optimistic rollup☆95Jan 1, 2026Updated last month
- A mostly mostly reasonable approach to Huff styling.☆79Aug 8, 2023Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆32Jun 11, 2025Updated 8 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- A monorepo of reusable Noir circuits.☆47Jan 24, 2026Updated 3 weeks ago
- Minimal Merkle Tree implementations☆32Jun 13, 2025Updated 8 months ago
- ☆26Oct 6, 2025Updated 4 months ago
- ☆24Dec 21, 2024Updated last year
- ☆100May 2, 2025Updated 9 months ago
- ☆58Feb 5, 2026Updated last week