nits

Author: raychu86

algorithms/src/snark/varuna/mode.rs

@@ -39,6 +39,7 @@ impl SNARKMode for VarunaNonHidingMode {
 }
 
 /// The different Varuna Versions.
+#[repr(u8)]
 #[derive(Copy, Clone, Debug, PartialEq, Eq)]
 pub enum VarunaVersion {
     V1 = 1,

console/program/src/data/future/to_bits.rs

@@ -69,7 +69,7 @@ impl<N: Network> ToBits for Future<N> {
             .write_bits_be(vec);
         vec.extend_from_slice(&function_name_bits);
 
-        // Write the number of arguments.s
+        // Write the number of arguments.
         u8::try_from(self.arguments.len()).or_halt_with::<N>("arguments exceed u8::MAX").write_bits_be(vec);
 
         // Write the arguments.

console/program/src/data/plaintext/mod.rs

@@ -89,7 +89,7 @@ impl<N: Network> Plaintext<N> {
         }
     }
 
-    /// Returns the `Plaintext` as a `Vec<N::Field>`, if it is a u8 array.
+    /// Returns the `Plaintext` as a `Vec<N::Field>`, if it is a field array.
     pub fn as_field_array(&self) -> Result<Vec<Field<N>>> {
         match self {
             Self::Array(elements, _) => {

synthesizer/program/src/logic/instruction/operation/snark_verify.rs

@@ -415,13 +415,13 @@ impl<N: Network, const VARIANT: u8> SnarkVerification<N, VARIANT> {
         );
         // Check that the number of circuit is properly bound.
         ensure!(
-            num_circuits < MAX_SNARK_VERIFY_CIRCUITS,
+            num_circuits <= MAX_SNARK_VERIFY_CIRCUITS,
             "Instruction '{}' supports a maximum of {MAX_SNARK_VERIFY_CIRCUITS} batched circuits, found {num_circuits} circuits.",
             Self::opcode()
         );
         // Check that the total number of instances/assignments is properly bound.
         ensure!(
-            num_instances < MAX_SNARK_VERIFY_INSTANCES,
+            num_instances <= MAX_SNARK_VERIFY_INSTANCES,
             "Instruction '{}' supports a maximum of {MAX_SNARK_VERIFY_INSTANCES} batched instances, found {num_instances} instances.",
             Self::opcode()
         );
@@ -436,7 +436,7 @@ impl<N: Network, const VARIANT: u8> SnarkVerification<N, VARIANT> {
             _ => bail!(
                 "Instruction '{}' expects the fourth input to be a byte array. Found input of type '{}'",
                 Self::opcode(),
-                input_types[2]
+                input_types[3]
             ),
         }