Risc Zero zkVM proving general‑purpose program execution with succinct, verifiable proofs. category ZK Proving date 23 September 2025