A Solana-native ZK coprocessor. SP1 zkVM + Nova folding compress thousands of sub-proofs into one. The Anchor verifier on Solana writes the result on-chain. Few dots. Whole truth.
A Solana-native ZK coprocessor. SP1 zkVM + Nova folding compress thousands of sub-proofs into one. The Anchor verifier on Solana writes the result on-chain. Few dots. Whole truth.