It's no surprise that that zero knowledge proofs are taking the crypto space by storm, and Solana is no exception. As laid out by [Helius](https://www.helius.dev/blog/zero-knowledge-proofs-its-applications-on-solana) there is a great need for zk technology, as zk compression on Solana could drastically improve transaction costs and speeds. Beyond the infrastructure layer, zk proofs can enable Solana developers to build the next wave of trust and privacy powered applications. Solana also has some zk native attributes, making it ideal to use for verifying proofs onchain. The only problem is that writing zk proofs isn't easy or simple due to it's ["moon math"] (link to succinct post or tweet on moon math). Even further, it can be just as difficult to verify the proof onchain once you have one. Naturally, Succinct and SP1 have solved this for the everyday Solana developer.

Today Succinct is thrilled to announce the release of [SP1-Solana] (link to docs), a new crate extension to the existing SP1 ecosystem. With this new library any Solana developer can quickly and easily generate Groth16 proofs in Rust, and then verify the proof onchain using SP1-Solana. You can deploy the verifying program yourself or already using Succicnt's pre-deployed programs.

![code snip](https://cdn.stevedylan.dev/files/bafkreiahefeafznqikuqgytllmvq4kvf7yubjgua67gn2t2xlk6dknigr4)