ironfish-proofs 0.1.1

Zcash zk-SNARK circuits and proving APIs
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

//! Helpers for creating Sapling proofs.

use ironfish_primitives::{
    constants::VALUE_COMMITMENT_VALUE_GENERATOR, transaction::components::Amount,
};

mod prover;
mod verifier;

pub use self::prover::SaplingProvingContext;
pub use self::verifier::{SaplingVerificationContext};

// This function computes `value` in the exponent of the value commitment base
fn compute_value_balance(value: Amount) -> Option<ironfish_jubjub::ExtendedPoint> {
    // Compute the absolute value (failing if -i64::MAX is
    // the value)
    let abs = match i64::from(value).checked_abs() {
        Some(a) => a as u64,
        None => return None,
    };

    // Is it negative? We'll have to negate later if so.
    let is_negative = value.is_negative();

    // Compute it in the exponent
    let mut value_balance = *VALUE_COMMITMENT_VALUE_GENERATOR * ironfish_jubjub::Fr::from(abs);

    // Negate if necessary
    if is_negative {
        value_balance = -value_balance;
    }

    // Convert to unknown order point
    Some(value_balance.into())
}