From 8e6833064a12d104f11ca22abcc355dfed08d910 Mon Sep 17 00:00:00 2001 From: Probot <94048855+Prabhat1308@users.noreply.github.com> Date: Wed, 6 Nov 2024 03:15:13 +0530 Subject: [PATCH] docs: change docs for updated function call (#1732) --- book/writing-programs/proof-aggregation.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/book/writing-programs/proof-aggregation.md b/book/writing-programs/proof-aggregation.md index f9bc1c1068..36ee28e1ce 100644 --- a/book/writing-programs/proof-aggregation.md +++ b/book/writing-programs/proof-aggregation.md @@ -15,10 +15,10 @@ Note that by itself, SP1 can already prove arbitrarily large programs by chunkin ## Verifying Proofs inside the zkVM -To verify a proof inside the zkVM, you can use the `sp1_zkvm::lib::verify::verify_proof` function. +To verify a proof inside the zkVM, you can use the `sp1_zkvm::lib::verify::verify_sp1_proof` function. ```rust,noplayground -sp1_zkvm::lib::verify::verify_proof(vkey, public_values_digest); +sp1_zkvm::lib::verify::verify_sp1_proof(vkey, public_values_digest); ``` **You do not need to pass in the proof as input into the syscall, as the proof will automatically be read for the proof input stream by the prover.**