乃ㄖ几丂ㄖㄥ

Bonsol is the Offchain compute framework to make everything possible on solana.

Interact with the docs at Bonsol.sh

Roadmap

Stage 1: Dawn (current stage)

Developer feedback
- New features
  - Interfaces
    - More Ingesters, Senders
    - More Input Types
  - Adding Integrations
    - Zktls,web proofs, client proving
- Node Ops
  - Claim based prover network (SOL)
  - Prover Supply Integrations
Community Building

Local Development

Prerequisites:

docker
probably a fast computer

Rust

You will need to install rust

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
rustup install 1.80.0

Risc0 Toolchain

cargo install cargo-binstall
cargo binstall cargo-risczero
cargo risczero install

ZK Snark deps

Run the setup script to install the zksnark deps and compile the zksnark prover

./setup.sh

Running a Local Environment

Download and setup the system with the needed binaries and keys to run the groth16 prover over the risc0 FRI
```
./setup.sh
```
Compile the 乃ㄖ几丂ㄖㄥ on chain program and start a localnet with the program loaded
```
./validator.sh
```
On a separate terminal, compile the 乃ㄖ几丂ㄖㄥ off-chain node and start it
```
./run-node.sh
```
Build the image binary if it hasn't already been built, this will result in the binary's path being available in the manifest.json (in this case images/simple/manifest.json)
```
cargo run -p bonsol-cli build -z images/simple
```

Use the bonsol cli to deploy a zkprogram (here is a example already uploaded for you)

cargo run -p bonsol-cli deploy -m images/simple/manifest.json -t url --url https://bonsol-public-images.s3.amazonaws.com/simple-68f4b0c5f9ce034aa60ceb264a18d6c410a3af68fafd931bcfd9ebe7c1e42960

Use the bonsol cli to execute a zkprogram

cargo run -p bonsol-cli execute -f testing-examples/example-execution-request.json -x 2000 -m 2000 -w

Contributing

Please see our Contributing Guide for details on how to get started building 乃ㄖ几丂ㄖㄥ.

anagrambuild / bonsol

readme