Skip to content
@boundless-xyz

boundless_xyz

The universal ZK protocol

Popular repositories Loading

  1. zeth zeth Public

    A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

    Rust 435 99

  2. boundless boundless Public

    Monorepo for Boundless, the universal ZK protocol.

    Rust 186 167

  3. risc0-foundry-template risc0-foundry-template Public archive

    Template for integrating RISC Zero and Ethereum using Foundry

    Rust 140 77

  4. kailua kailua Public

    The Ultimate ZK Proving Software Suite for Securing OP Rollups

    Rust 65 29

  5. risc0-solana risc0-solana Public

    TypeScript 43 8

  6. boundless-foundry-template boundless-foundry-template Public

    Template for developing applications with Boundless and RISC Zero via Foundry

    Rust 31 18

Repositories

Showing 10 of 37 repositories
  • boundless Public

    Monorepo for Boundless, the universal ZK protocol.

    boundless-xyz/boundless’s past year of commit activity
    Rust 186 Apache-2.0 167 53 (1 issue needs help) 30 Updated Jan 30, 2026
  • zeth Public

    A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

    boundless-xyz/zeth’s past year of commit activity
    Rust 435 Apache-2.0 99 6 2 Updated Jan 30, 2026
  • kailua Public

    The Ultimate ZK Proving Software Suite for Securing OP Rollups

    boundless-xyz/kailua’s past year of commit activity
    Rust 65 Apache-2.0 29 2 4 Updated Jan 30, 2026
  • docs Public
    boundless-xyz/docs’s past year of commit activity
    MDX 0 0 0 2 Updated Jan 29, 2026
  • steel Public

    Steel: The ZK Coprocessor for EVM Apps

    boundless-xyz/steel’s past year of commit activity
    Rust 7 Apache-2.0 3 1 2 Updated Jan 25, 2026
  • Signal-Ethereum Public
    boundless-xyz/Signal-Ethereum’s past year of commit activity
    Rust 21 Apache-2.0 5 1 0 Updated Jan 21, 2026
  • lido-accounting-oracle Public

    LIP-23 Lido oracle that proves computation over beacon state

    boundless-xyz/lido-accounting-oracle’s past year of commit activity
    Rust 1 Apache-2.0 0 3 1 Updated Dec 19, 2025
  • ethereum-consensus Public Forked from ralexstokes/ethereum-consensus
    boundless-xyz/ethereum-consensus’s past year of commit activity
    Rust 0 Apache-2.0 71 0 0 Updated Nov 26, 2025
  • zkc Public
    boundless-xyz/zkc’s past year of commit activity
    Solidity 0 0 0 1 Updated Nov 20, 2025
  • risc0 Public Forked from risc0/risc0

    RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

    boundless-xyz/risc0’s past year of commit activity
    C++ 0 Apache-2.0 696 0 0 Updated Nov 6, 2025
View all repositories