From bda8ad6ce16b2bfdaf93347e7e54d0c7800f16ab Mon Sep 17 00:00:00 2001
From: omahs <73983677+omahs@users.noreply.github.com>
Date: Wed, 5 Jun 2024 11:53:58 +0200
Subject: [PATCH] Fix typos (#109)

* fix typos

* fix typo
---
 README.md                  | 4 ++--
 folding-schemes/src/lib.rs | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index accbf94..7af21f4 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ Experimental folding schemes library implemented jointly by [0xPARC](https://0xp
 
 <img align="right" style="width:30%;min-width:250px;margin-bottom:20px;" src="https://privacy-scaling-explorations.github.io/sonobe-docs/imgs/sonobe.png">
 
-<b>Sonobe</b> is a modular library to fold arithmetic circuit instances in an Incremental Verifiable computation (IVC) style. It features multiple folding schemes and decider setups, allowing users to pick the scheme which best fit their needs.
+<b>Sonobe</b> is a modular library to fold arithmetic circuit instances in an Incremental Verifiable computation (IVC) style. It features multiple folding schemes and decider setups, allowing users to pick the scheme which best fits their needs.
 <br><br>
 Sonobe is conceived as an exploratory effort with the aim to push forward the practical side of folding schemes and advancing towards onchain (EVM) verification.
 <br><br>
@@ -64,7 +64,7 @@ The development flow using Sonobe looks like:
 1. Define a circuit to be folded
 2. Set which folding scheme to be used (eg. Nova with CycleFold)
 3. Set a final decider to generate the final proof (eg. Spartan over Pasta curves)
-4. Generate the the decider verifier
+4. Generate the decider verifier
 
 <p align="center">
     <img src="https://privacy-scaling-explorations.github.io/sonobe-docs/imgs/sonobe-lib-pipeline.png"/>
diff --git a/folding-schemes/src/lib.rs b/folding-schemes/src/lib.rs
index 51d2ecc..b43e49a 100644
--- a/folding-schemes/src/lib.rs
+++ b/folding-schemes/src/lib.rs
@@ -98,7 +98,7 @@ pub enum Error {
 
 /// FoldingScheme defines trait that is implemented by the diverse folding schemes. It is defined
 /// over a cycle of curves (C1, C2), where:
-/// - C1 is the main curve, which ScalarField we use as our F for al the field operations
+/// - C1 is the main curve, which ScalarField we use as our F for all the field operations
 /// - C2 is the auxiliary curve, which we use for the commitments, whose BaseField (for point
 /// coordinates) are in the C1::ScalarField.
 /// In other words, C1.Fq == C2.Fr, and C1.Fr == C2.Fq.