M Cargo.toml → Cargo.toml

@@ -10,7 +10,7 @@ [dependencies]
 anyhow = { version = "1.0.40", default-features = false }
 itertools = { version = "0.10.0", default-features = false }
 num = { version = "0.4", default-features = false }
-plonky2 = { git = "https://github.com/mir-protocol/plonky2.git", default-features = false }
+plonky2 = { git = "https://github.com/mir-protocol/plonky2.git" }
 
 [dev-dependencies]
 plonky2 = { git = "https://github.com/mir-protocol/plonky2.git", default-features = false, features = ["gate_testing"] }

M src/gates/add_many_u32.rs → src/gates/add_many_u32.rs

@@ -92,7 +92,7 @@ format!("{self:?}")
     }
 
     fn serialize(&self, dst: &mut Vec<u8>) -> IoResult<()> {
-        dst.write_usize(self.num_addends);
+        dst.write_usize(self.num_addends)?;
         dst.write_usize(self.num_ops)
     }
 

M src/serialization.rs → src/serialization.rs

@@ -14,7 +14,6 @@ self.write_target(x.0)
     }
 }
 
-#[cfg(feature = "std")]
 pub trait ReadU32 {
     fn read_target_u32(&mut self) -> IoResult<U32Target>;
 }