Prove Anything

With Bonsol you can prove anything, from simple computations to complex business logic. Using state of the art zk(risc0) technology, Bonsol allows you to prove computations that are impossible to run on-chain.

Solana Integrated

Bonsol can integrate with any solana program, allowing you to take action after a proof is verified. String on and off chain computations together with ease.

Batteries Included

Anchor integrated, CLI, SDKs will help you get up and running quickly.