Update codebase to correspond to o1Labs/proof-systems

Author: dannywillems

mina-p2p-messages/Cargo.toml

@@ -7,6 +7,7 @@ license = "Apache-2.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+ark-serialize = { workspace = true }
 base64 = "0.22"
 binprot = { git = "https://github.com/openmina/binprot-rs", rev = "400b52c" }
 binprot_derive = { git = "https://github.com/openmina/binprot-rs", rev = "400b52c" }

mina-p2p-messages/src/bigint.rs

@@ -1,4 +1,5 @@
 use ark_ff::BigInteger256;
+use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
 use malloc_size_of::MallocSizeOf;
 use rsexp::{OfSexp, SexpOf};
 use serde::{Deserialize, Serialize};
@@ -63,16 +64,14 @@ impl BigInt {
     }
 
     pub fn to_bytes(&self) -> [u8; 32] {
-        use ark_ff::ToBytes;
-        let mut bytes = std::io::Cursor::new([0u8; 32]);
-        self.0 .0.write(&mut bytes).unwrap(); // Never fail, there is 32 bytes
-        bytes.into_inner()
+        let mut bytes = Vec::with_capacity(32);
+        self.0.serialize_uncompressed(&mut bytes).unwrap(); // Never fail, there is 32 bytes
+        bytes.try_into().unwrap()
     }
 
     pub fn from_bytes(bytes: [u8; 32]) -> Self {
-        use ark_ff::FromBytes;
-        let value = FromBytes::read(&bytes[..]).expect("Don't fail");
-        Self(BigInteger256::new(value)) // Never fail, we read from 32 bytes
+        let value = BigInteger256::deserialize_uncompressed(&bytes[..]).expect("Don't fail");
+        Self(value) // Never fail, we read from 32 bytes
     }
 
     pub fn from_decimal(s: &str) -> Result<Self, InvalidDecimalNumber> {
@@ -211,17 +210,15 @@ impl binprot::BinProtRead for BigInt {
     where
         Self: Sized,
     {
-        use ark_ff::FromBytes;
-        let value = FromBytes::read(r)?;
-        Ok(Self(BigInteger256::new(value)))
+        let mut bytes = [0u8; 32];
+        r.read_exact(&mut bytes)?;
+        Ok(Self::from_bytes(bytes))
     }
 }
 
 impl binprot::BinProtWrite for BigInt {
     fn binprot_write<W: std::io::Write>(&self, w: &mut W) -> std::io::Result<()> {
-        use ark_ff::ToBytes;
-        let Self(biginteger) = self;
-        biginteger.0.write(w)
+        w.write_all(&self.to_bytes())
     }
 }
 

vrf/src/lib.rs

@@ -1,6 +1,5 @@
 use ark_ec::{AffineRepr, CurveGroup};
 use ark_ff::PrimeField;
-use core::ops::Mul;
 use ledger::AccountIndex;
 use message::VrfMessage;
 use mina_node_account::AccountPublicKey;