zeropool-tx 0.1.0

ZeroPool transaction format
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

use std::io::{Error, ErrorKind, Read, Result, Write};

use byteorder::{LittleEndian, ReadBytesExt, WriteBytesExt};
use fawkes_crypto::{backend::bellman_groth16::engines::Engine, ff_uint::Num};

use crate::{
    utils::{read_num, read_proof, write_num, write_proof},
    TxData, TxType,
};

pub fn read<R: Read, E: Engine>(r: &mut R) -> Result<TxData<E>> {
    let nullifier = read_num::<LittleEndian, _, E::Fr>(r)?;
    let out_commit = read_num::<LittleEndian, _, E::Fr>(r)?;
    let token_id = read_borsh_string(r)?;
    let delta = read_num::<LittleEndian, _, E::Fr>(r)?;
    let tx_proof = read_proof::<LittleEndian, _, E>(r)?;
    let root_after = read_num::<LittleEndian, _, E::Fr>(r)?;
    let tree_proof = read_proof::<LittleEndian, _, E>(r)?;
    let tx_type = r.read_u8()?;

    let tx_type = TxType::try_from(tx_type as u16)?;

    let memo = read_borsh_array(r)?;
    let mut extra_data = vec![];
    r.read_to_end(&mut extra_data)?;

    Ok(TxData {
        tx_type,
        proof: tx_proof,
        tree_proof,
        root_after,
        delta,
        out_commit,
        nullifier,
        memo,
        extra_data,
        token_id,
    })
}

pub fn write<W: Write, E: Engine>(data: &TxData<E>, w: &mut W) -> Result<()> {
    let mut buf = vec![];

    write_num::<LittleEndian, _, _>(w, &data.nullifier)?;
    write_num::<LittleEndian, _, E::Fr>(w, &data.out_commit)?;
    write_borsh_string(w, &data.token_id)?;
    write_num::<LittleEndian, _, E::Fr>(w, &Num::<E::Fr>::ZERO)?; // TODO: Change once support for different asset ids is added
    write_num::<LittleEndian, _, E::Fr>(w, &data.delta)?;
    write_proof::<LittleEndian, _, E>(w, &data.proof)?;
    write_num::<LittleEndian, _, E::Fr>(w, &data.root_after)?;
    write_proof::<LittleEndian, _, E>(w, &data.tree_proof)?;
    buf.write_u8(data.tx_type as u8)?;
    write_borsh_array(w, &data.memo)?;
    buf.write_all(&data.extra_data)?;

    Ok(())
}

fn read_borsh_string<R: Read>(r: &mut R) -> Result<String> {
    let len = r.read_u32::<LittleEndian>()?;
    let mut buf = vec![0u8; len as usize];
    r.read_exact(&mut buf)?;
    Ok(String::from_utf8(buf).map_err(|_| Error::new(ErrorKind::InvalidData, "invalid utf8"))?)
}

fn write_borsh_string<W: Write>(w: &mut W, s: &str) -> Result<()> {
    w.write_u32::<LittleEndian>(s.len() as u32)?;
    w.write_all(s.as_bytes())?;
    Ok(())
}

fn read_borsh_array<R: Read>(r: &mut R) -> Result<Vec<u8>> {
    let len = r.read_u32::<LittleEndian>()?;
    let mut buf = vec![0u8; len as usize];
    r.read_exact(&mut buf)?;
    Ok(buf)
}

fn write_borsh_array<W: Write>(w: &mut W, s: &[u8]) -> Result<()> {
    w.write_u32::<LittleEndian>(s.len() as u32)?;
    w.write_all(s)?;
    Ok(())
}