The solana-zk-sdk crate contains tools to create and verify zero-knowledge proofs on encrypted data.
solana-zk-sdk