libzeropool 0.5.6

zk-SNARK circuit and cryptography for ZeroPool
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

use crate::{
    fawkes_crypto::{
        native::poseidon::MerkleProof,
        ff_uint::{Num, PrimeField},
        borsh::{self, BorshSerialize, BorshDeserialize},
    },
    constants::{HEIGHT, OUTPLUSONELOG}
};


use std::fmt::Debug;


#[derive(Clone, Debug, Serialize, Deserialize, BorshSerialize, BorshDeserialize)]
#[serde(bound(serialize = "", deserialize = ""))]
pub struct TreePub<Fr:PrimeField> {
    pub root_before: Num<Fr>,
    pub root_after: Num<Fr>,
    pub leaf: Num<Fr>
}

#[derive(Clone, Debug, Serialize, Deserialize, BorshSerialize, BorshDeserialize)]
#[serde(bound(serialize = "", deserialize = ""))]
pub struct TreeSec<Fr:PrimeField> {
    pub proof_filled:MerkleProof<Fr, {HEIGHT - OUTPLUSONELOG}>,
    pub proof_free:MerkleProof<Fr, {HEIGHT - OUTPLUSONELOG}>,
    pub prev_leaf:Num<Fr>
}