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

use fawkes_crypto::circuit::bool::CBool;

use crate::fawkes_crypto::circuit::{
    ecc::CEdwardsPoint,
    num::CNum,
    poseidon::{c_poseidon},
    cs::CS
};
use crate::native::params::PoolParams;



// intermediate key
pub fn c_derive_key_eta<C:CS, P: PoolParams<Fr = C::Fr>>(a: &CNum<C>, params: &P) -> CNum<C> {
    c_poseidon(&[a.clone()], params.hash())
}


pub fn c_derive_key_p_d<C:CS, P: PoolParams<Fr = C::Fr>>(
    d: &CNum<C>,
    eta_bits: &[CBool<C>],
    params: &P,
) -> CEdwardsPoint<C> {
    let d_hash = c_poseidon(&[d.clone()], params.hash());
    CEdwardsPoint::from_scalar(&d_hash, params.jubjub()).mul(&eta_bits, params.jubjub())
}