https://github.com/boundless-xyz/boundless
Monorepo for Boundless, the universal ZK protocol.
https://github.com/boundless-xyz/boundless
blockchain cryptography ethereum rust verifiable-computation web3 zero-knowledge
Last synced: about 1 month ago
JSON representation
Monorepo for Boundless, the universal ZK protocol.
- Host: GitHub
- URL: https://github.com/boundless-xyz/boundless
- Owner: boundless-xyz
- License: apache-2.0
- Created: 2024-09-25T22:51:41.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2026-02-18T00:27:22.000Z (about 1 month ago)
- Last Synced: 2026-02-18T01:35:06.820Z (about 1 month ago)
- Topics: blockchain, cryptography, ethereum, rust, verifiable-computation, web3, zero-knowledge
- Language: Rust
- Homepage: https://boundless.network
- Size: 39.7 MB
- Stars: 192
- Watchers: 13
- Forks: 166
- Open Issues: 92
-
Metadata Files:
- Readme: README.md
- License: LICENSE-Apache-2.0
- Codeowners: .github/CODEOWNERS
Awesome Lists containing this project
README
# Boundless
This repository contains the core primitives for Boundless.
> **Note:** If you are a builder looking to build an application on Boundless, you should start with the [Boundless Foundry Template](https://github.com/boundless-xyz/boundless-foundry-template) and the [Boundless Builder Docs](https://docs.boundless.network/developers/quick-start).
> **Note:** If you are a prover looking to get started, please refer to the [Boundless Prover Quick Start Guide](https://docs.boundless.network/provers/quick-start).
## Repository Structure
The repository is structured as a monorepo and contains Rust crates and Solidity contracts. Some key components:
- **Boundless Core Contracts**: The core smart contracts for Boundless. [./contracts](./contracts)
- **Boundless SDK**: Rust SDK for interacting with Boundless. [./crates/boundless-market](./crates/boundless-market)
- **Boundless CLI**: Command-line interface for interacting with Boundless. [./crates/boundless-cli](./crates/boundless-cli)
- **Boundless Broker**: Our sample prover implementation. [./crates/broker](./crates/broker)
- **Boundless zkVM Guests**: The zkVM guests required for generating proofs on Boundless. [./crates/guest](./crates/guest) and [./crates/assessor](./crates/assessor)
## Developing
If you don't already have Rust installed, start by [installing Rust and rustup](https://doc.rust-lang.org/cargo/getting-started/installation.html).
Then download the RISC Zero toolchain and install it using rzup:
```sh
curl -L https://risczero.com/install | bash
```
Next we can install the RISC Zero toolchain by running rzup install:
```sh
rzup install
```
You can verify the installation was successful by running:
```sh
cargo risczero --version
```
If you don't already have Forge installed, you can install it using Foundry:
```sh
curl -L https://foundry.paradigm.xyz | bash
foundryup
```
To build the Solidity contracts, run:
```sh
forge build
```
To build the Rust crates, run:
```sh
cargo build
```
## Documentation
You can find the documentation in the [boundless-xyz/docs](https://github.com/boundless-xyz/docs) repo.
## Audits
See https://github.com/boundless-xyz/boundless-security
## License
The [Boundless Contracts](./contracts), Boundless Assessor Library (./crates/assessor) and Boundless Assessor Guest (./crates/guest/assessor) in this repository are licensed under the Business Source License, with conversion to Apache-2.0 at a future date. See [LICENSE-BSL](./LICENSE-BSL) for a copy of the license.
Other source code within this repository is licensed under the Apache-2.0 license, unless otherwise stated at the file header. See [LICENSE-Apache-2.0][./LICENSE-Apache-2.0] for a copy of the license.