From 359b973a465e3ccdb65bdb2accce980bd601206c Mon Sep 17 00:00:00 2001
From: leopardracer <136604165+leopardracer@users.noreply.github.com>
Date: Sat, 5 Jul 2025 17:20:20 +0300
Subject: [PATCH 1/2] Update proof.rs

---
 snark-verifier/src/verifier/plonk/proof.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/snark-verifier/src/verifier/plonk/proof.rs b/snark-verifier/src/verifier/plonk/proof.rs
index 4888d270..17875d15 100644
--- a/snark-verifier/src/verifier/plonk/proof.rs
+++ b/snark-verifier/src/verifier/plonk/proof.rs
@@ -38,7 +38,7 @@ where
     pub evaluations: Vec<L::LoadedScalar>,
     /// Proof of [`PolynomialCommitmentScheme`].
     pub pcs: <AS as PolynomialCommitmentScheme<C, L>>::Proof,
-    /// Old [`AccumulationScheme::Accumulator`]s read from instnaces.
+    /// Old [`AccumulationScheme::Accumulator`]s read from instances.
     pub old_accumulators: Vec<AS::Accumulator>,
 }
 

From 9c8307ef20cb182a07c124ec0cd88fccd0adc552 Mon Sep 17 00:00:00 2001
From: leopardracer <136604165+leopardracer@users.noreply.github.com>
Date: Sat, 5 Jul 2025 17:20:40 +0300
Subject: [PATCH 2/2] Update protocol.rs

---
 snark-verifier/src/verifier/plonk/protocol.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/snark-verifier/src/verifier/plonk/protocol.rs b/snark-verifier/src/verifier/plonk/protocol.rs
index 9260e572..7369addd 100644
--- a/snark-verifier/src/verifier/plonk/protocol.rs
+++ b/snark-verifier/src/verifier/plonk/protocol.rs
@@ -94,7 +94,7 @@ where
     ))]
     /// Prover and verifier common initial state to write to transcript if any.
     pub transcript_initial_state: Option<L::LoadedScalar>,
-    /// Instance polynomials commiting key if any.
+    /// Instance polynomials committing key if any.
     pub instance_committing_key: Option<InstanceCommittingKey<C>>,
     /// Linearization strategy.
     pub linearization: Option<LinearizationStrategy>,