1use alloc::vec::Vec;
 2use plonky2::util::serialization::{Buffer, IoResult, Read, Write};
 3
 4use crate::gadgets::arithmetic_u32::U32Target;
 5
 6pub trait WriteU32 {
 7    fn write_target_u32(&mut self, x: U32Target) -> IoResult<()>;
 8}
 9
10impl WriteU32 for Vec<u8> {
11    #[inline]
12    fn write_target_u32(&mut self, x: U32Target) -> IoResult<()> {
13        self.write_target(x.0)
14    }
15}
16
17#[cfg(feature = "std")]
18pub trait ReadU32 {
19    fn read_target_u32(&mut self) -> IoResult<U32Target>;
20}
21
22impl ReadU32 for Buffer {
23    #[inline]
24    fn read_target_u32(&mut self) -> IoResult<U32Target> {
25        Ok(U32Target(self.read_target()?))
26    }
27}