Since the Toccata hard fork, Kaspa scripts can verify zero-knowledge proofs on L1: OpZkPrecompile (KIP-16) ships with two proof systems - Groth16 on BN254 and RISC0-Succinct - and is the basis for trustless bridges and proof-based L2 settlement. Per-app sequencing lanes (KIP-21) keep proving costs proportional to an app’s own activity.
Resources
- KIP-16 - New Transaction Opcodes for Verifiable Computation.
- ZK Covenant Rollup mdbook by Maxim Buryikov
- JS zk proof examples in rusty-kaspa covpp branch
- Aspectron’s document on Execution Proof Aggregator (EPA)