chore: rename verify_proof_output to verify_stark

Author: stephenh-axiom-xyz

crates/sdk/programs/examples/verify-stark.rs

@@ -7,7 +7,7 @@ use alloc::vec::Vec;
 
 use openvm::io::read;
 use openvm_deferral_guest::Commit;
-use openvm_verify_stark_guest::{verify_proof_output, ProofOutput};
+use openvm_verify_stark_guest::{verify_stark, ProofOutput};
 
 openvm::entry!(main);
 
@@ -23,5 +23,5 @@ pub fn main() {
     };
 
     let input_commit: Commit = read();
-    verify_proof_output::<0>(&input_commit, &expected);
+    verify_stark::<0>(&input_commit, &expected);
 }

docs/vocs/docs/pages/book/guest-libraries/verify-stark.mdx

@@ -21,13 +21,13 @@ Invokes a deferred call at deferral index `DEF_IDX` with the given `input_commit
 
 `DEF_IDX` must match the index of the corresponding `DeferralFn` in `DeferralExtension.fns`, as configured when [building the VM extension](#using-deferralextension). Each STARK verifying key will correspond to a different deferral circuit, and thus a different `DEF_IDX`.
 
-### `verify_proof_output`
+### `verify_stark`
 
 ```rust
-pub fn verify_proof_output<const DEF_IDX: u16>(input_commit: &Commit, expected: &ProofOutput)
+pub fn verify_stark<const DEF_IDX: u16>(input_commit: &Commit, expected: &ProofOutput)
 ```
 
-Convenience wrapper that calls `get_proof_output` and panics if the result does not match `expected`.
+Cals `get_proof_output` and panics if the result does not match `expected`.
 
 ## Circuit
 

guest-libs/verify-stark/guest/src/lib.rs

@@ -38,7 +38,7 @@ pub fn get_proof_output<const DEF_IDX: u16>(input_commit: &Commit) -> ProofOutpu
     }
 }
 
-pub fn verify_proof_output<const DEF_IDX: u16>(input_commit: &Commit, expected: &ProofOutput) {
+pub fn verify_stark<const DEF_IDX: u16>(input_commit: &Commit, expected: &ProofOutput) {
     let actual = get_proof_output::<DEF_IDX>(input_commit);
     if actual != *expected {
         panic!("Proof verification failed for commit {:?}", input_commit);