From c498f5c52f44f0c1b11241715869cfbafb8531b2 Mon Sep 17 00:00:00 2001 From: roublardise Date: Sat, 1 Feb 2025 13:26:30 +0100 Subject: [PATCH] chore: fix several typos in docs and comments --- ceno_emul/src/disassemble/mod.rs | 2 +- ceno_zkvm/src/e2e.rs | 2 +- ceno_zkvm/src/instructions/riscv/div.rs | 2 +- ceno_zkvm/src/scheme/mock_prover.rs | 2 +- ceno_zkvm/src/scheme/verifier.rs | 2 +- mpcs/src/basefold.rs | 2 +- multilinear_extensions/src/mle.rs | 2 +- sumcheck_macro/src/lib.rs | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/ceno_emul/src/disassemble/mod.rs b/ceno_emul/src/disassemble/mod.rs index 94709e74b..bfbed7ae5 100644 --- a/ceno_emul/src/disassemble/mod.rs +++ b/ceno_emul/src/disassemble/mod.rs @@ -272,7 +272,7 @@ impl InstructionProcessor for InstructionTranspiler { /// Convert AUIPC to ADDI. /// - /// RiscV's instructions are designed to be (mosty) position-independent. AUIPC is used + /// RiscV's instructions are designed to be (mostly) position-independent. AUIPC is used /// to get access to the current program counter, even if the code has been moved around /// by the linker. /// diff --git a/ceno_zkvm/src/e2e.rs b/ceno_zkvm/src/e2e.rs index 31cf9d55c..fd01d28a4 100644 --- a/ceno_zkvm/src/e2e.rs +++ b/ceno_zkvm/src/e2e.rs @@ -365,7 +365,7 @@ pub type IntermediateState = (ZKVMProof, ZKVMVerifier); // // The return type is a pair of: // 1. Explicit state -// 2. A no-input-no-ouptut closure +// 2. A no-input-no-output closure // // (2.) is useful when you want to setup a certain action and run it // elsewhere (i.e, in a benchmark) diff --git a/ceno_zkvm/src/instructions/riscv/div.rs b/ceno_zkvm/src/instructions/riscv/div.rs index daa7bc000..46027eb78 100644 --- a/ceno_zkvm/src/instructions/riscv/div.rs +++ b/ceno_zkvm/src/instructions/riscv/div.rs @@ -7,7 +7,7 @@ //! //! where `remainder` is constrained to be between 0 and the divisor in a way //! that suitably respects signed values, except for the case of division by 0. -//! Of particular note for this implememntation is the fact that in the +//! Of particular note for this implementation is the fact that in the //! Goldilocks field, the right hand side of (1) does not wrap around under //! modular arithmetic for either unsigned or signed 32-bit range-checked //! values of `divisor`, `quotient`, and `remainder`, taking values between `0` diff --git a/ceno_zkvm/src/scheme/mock_prover.rs b/ceno_zkvm/src/scheme/mock_prover.rs index 9ea7791c3..52a3299aa 100644 --- a/ceno_zkvm/src/scheme/mock_prover.rs +++ b/ceno_zkvm/src/scheme/mock_prover.rs @@ -614,7 +614,7 @@ impl<'a, E: ExtensionField + Hash> MockProver { }) .collect(); - // Count lookups infered from ConstraintSystem from all instances into lkm_from_cs. + // Count lookups inferred from ConstraintSystem from all instances into lkm_from_cs. for inst_id in 0..num_instances { match rom_type { ROMType::U5 => lkm_from_cs.assert_ux::<5>(args_eval[0][inst_id]), diff --git a/ceno_zkvm/src/scheme/verifier.rs b/ceno_zkvm/src/scheme/verifier.rs index e9cc8fa6e..2716d6c0f 100644 --- a/ceno_zkvm/src/scheme/verifier.rs +++ b/ceno_zkvm/src/scheme/verifier.rs @@ -774,7 +774,7 @@ impl> ZKVMVerifier if circuit_vk.fixed_commit.is_some() { let Some(fixed_opening_proof) = &proof.fixed_opening_proof else { return Err(ZKVMError::VerifyError( - "fixed openning proof shoudn't be none".into(), + "fixed opening proof shouldn't be none".into(), )); }; PCS::simple_batch_verify( diff --git a/mpcs/src/basefold.rs b/mpcs/src/basefold.rs index 6204ed038..f0a3e4f68 100644 --- a/mpcs/src/basefold.rs +++ b/mpcs/src/basefold.rs @@ -137,7 +137,7 @@ where // endian, so the left half of the evaluation vector are evaluated // at 0 for the first variable, and the right half are evaluated at // 1 for the first variable. - // In each step of sum-check, we subsitute the first variable of the + // In each step of sum-check, we substitute the first variable of the // current polynomial with the random challenge, which is equivalent // to a left-right folding of the evaluation vector. // However, the algorithms that we will use are applying even-odd diff --git a/multilinear_extensions/src/mle.rs b/multilinear_extensions/src/mle.rs index b4e8df983..dbb7fb507 100644 --- a/multilinear_extensions/src/mle.rs +++ b/multilinear_extensions/src/mle.rs @@ -740,7 +740,7 @@ impl MultilinearExtension for DenseMultilinearExtension self.evaluations = b; } (a, b) => panic!( - "do not support merge differnt field type DME a: {:?} b: {:?}", + "do not support merge different field type DME a: {:?} b: {:?}", a, b ), } diff --git a/sumcheck_macro/src/lib.rs b/sumcheck_macro/src/lib.rs index e42da5ad0..89b90ff0d 100644 --- a/sumcheck_macro/src/lib.rs +++ b/sumcheck_macro/src/lib.rs @@ -73,7 +73,7 @@ pub fn sumcheck_code_gen(input: proc_macro::TokenStream) -> proc_macro::TokenStr } // Part 2 - Sort f vars based on FieldType. - // match (&f0.evaluations(), &f1.evalutations(), ...) { + // match (&f0.evaluations(), &f1.evaluations(), ...) { // (FieldType::Base(base1), FieldType::Base(base2), ...) => {...} // ... // }