$Proofra
Proofra is a Solana-native ZK compute layer that transforms heavy offchain computation into compact cryptographic proofs verified directly onchain.