Bonsol enables developers to run complex computations off-chain and verify results on Solana using zero-knowledge proofs.