$VERIA
Solana-native ZK coprocessor. SP1 + Nova folding. Anchor verifier on-chain. Few dots. Whole truth.