valar-pczt 0.5.1

Valar Group fork of pczt with shielded-voting getters, maintained until the getters are upstreamed to zcash/librustzcash.
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

use orchard::{Bundle, bundle::Authorized, circuit::VerifyingKey, pczt::Unbound};
use rand_core::OsRng;
use zcash_protocol::value::ZatBalance;

pub(super) fn extract_bundle(
    bundle: crate::orchard::Bundle,
) -> Result<Option<Bundle<Unbound, ZatBalance>>, OrchardError> {
    bundle
        .into_parsed()
        .map_err(OrchardError::Parse)?
        .extract()
        .map_err(OrchardError::Extract)
}

pub(super) fn verify_bundle(
    bundle: &Bundle<Authorized, ZatBalance>,
    orchard_vk: Option<&VerifyingKey>,
    sighash: [u8; 32],
) -> Result<(), OrchardError> {
    let mut validator = orchard::bundle::BatchValidator::new();
    let rng = OsRng;

    validator.add_bundle(bundle, sighash);

    if let Some(vk) = orchard_vk {
        if validator.validate(vk, rng) {
            Ok(())
        } else {
            Err(OrchardError::InvalidProof)
        }
    } else {
        let vk = VerifyingKey::build();
        if validator.validate(&vk, rng) {
            Ok(())
        } else {
            Err(OrchardError::InvalidProof)
        }
    }
}

#[derive(Debug)]
pub enum OrchardError {
    Extract(orchard::pczt::TxExtractorError),
    InvalidProof,
    Parse(orchard::pczt::ParseError),
}