zkSVM Prover Module
Last updated
Last updated
Termina’s zkSVM module is designed to bring Solana a new level of scalability and privacy by leveraging (ZKPs) for arbitrary SVM transactions.
Leverage privacy-preserving ZKP systems for sensitive or complex transaction workflows.
Scale applications within Solana’s infrastructure while relying on the L1 as the source of truth.
Achieve faster dispute resolution in rollups with non-interactive ZKPs (from days → hours).
Every transaction must be verified for security, which means that each Solana validator has to rerun the transaction. For complex transactions, this can add up and degrade performance. The zkSVM resolves this issue by allowing Solana validators to check a small, cheap proof instead of execute large, expensive transactions. The zkSVM prover processes transactions, generates a , and submits that proof to Solana. The blockchain doesn’t need to run the transactions and only needs to verify the proof.
This allows teams to build privacy-first applications with advanced ZKPs (such as Groth16) that don't leak any information. It also enables , which means rollup disputes that normally take days to resolve can now be settled in hours.
Instead of a handrolled , the zkSVM runs on a general-purpose zkVM—which makes it easy to apply bug fixes or new features to the SVM as they become available upstream. It was initially built on but will work with any zkVM following the RISCV architecture.