Fix typo. (powdr-labs#1897)

gzanitti · Oct 14, 2024 · 231cd6b · 231cd6b
1 parent ec94539
commit 231cd6b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/std/machines/hash/keccakf16.asm b/std/machines/hash/keccakf16.asm
@@ -17,7 +17,7 @@ machine Keccakf16 with
 {
     // Adapted from Plonky3 implementation of Keccak: https://github.com/Plonky3/Plonky3/tree/main/keccak-air/src
 
-    std::check::require_field_bits(16, || "The field modulo should be at least 2^16 - 1 to work in the keccakf16 machine.");
+    std::check::require_field_bits(16, || "The field modulus should be at least 2^16 - 1 to work in the keccakf16 machine.");
 
     // Expects input of 25 64-bit numbers decomposed to 25 chunks of 4 16-bit little endian limbs. 
     // The output is a_prime_prime_prime_0_0_limbs for the first 4 and a_prime_prime for the rest.

diff --git a/std/machines/small_field/shift.asm b/std/machines/small_field/shift.asm
@@ -21,7 +21,7 @@ machine ByteShift with
     let bit_counts = [256, 32, 4, 2];
     let min_degree = std::array::product(bit_counts);
     std::check::assert(std::prover::min_degree() >= std::array::product(bit_counts), || "The shift16 machine needs at least 65536 rows to work.");
-    require_field_bits(16, || "The field modulo should be at least 2^16 - 1 to work in the shift16 machine.");
+    require_field_bits(16, || "The field modulus should be at least 2^16 - 1 to work in the shift16 machine.");
     let inputs = cross_product(bit_counts);
     let a: int -> int = inputs[0];
     let b: int -> int = inputs[1];