zkboo 0.1.0

An implementation of the ZKBoo protocol.
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

// SPDX-License-Identifier: LGPL-3.0-or-later

//! Functions for generating MPC-in-the-Head views.

use zeroize::Zeroizing;

use crate::{
    circuit::Circuit,
    crypto::{Hasher, PseudoRandomGenerator, Seed},
    prover::views::{
        ViewBuilderBackend, ViewCommitment, Views, WordTriplePool,
        collectors::{OwnedViewsDataCollector, ViewCommitmentsRelayer, ViewsDataCollector},
    },
};

/// Builds the views for a given circuit and seeds, using a custom [ViewsDataCollector].
/// Returns the result of finalising the collector.
pub fn build_views_custom<
    C: Circuit,
    H: Hasher,
    PV: PseudoRandomGenerator,
    S: Seed,
    VDC: ViewsDataCollector<H::Digest, S>,
    WTP: WordTriplePool,
>(
    circuit: &C,
    seeds: Zeroizing<[S; 3]>,
    collector_init_arg: VDC::InitArg,
) -> VDC::FinalizeRes {
    let view_builder =
        ViewBuilderBackend::<H, PV, S, VDC, WTP>::new_with_arg(seeds, collector_init_arg)
            .into_view_builder();
    circuit.exec(&view_builder);
    return view_builder.finalize();
}

/// Builds the views for a given circuit and seeds, using an [OwnedViewsDataCollector]
/// to collect the full [Views] data in memory.
pub fn build_views<
    C: Circuit,
    H: Hasher,
    PV: PseudoRandomGenerator,
    S: Seed,
    WTP: WordTriplePool,
>(
    circuit: &C,
    seeds: Zeroizing<[S; 3]>,
) -> Views<H::Digest, S> {
    return build_views_custom::<C, H, PV, S, OwnedViewsDataCollector<H::Digest, S>, WTP>(
        circuit,
        seeds,
        (),
    );
}

/// Builds the view commitments for a given circuit and seeds, using an [ViewCommitmentsRelayer]
/// to collect the view commitments only from the view builder.
pub fn build_view_commitments<
    C: Circuit,
    H: Hasher,
    PV: PseudoRandomGenerator,
    S: Seed,
    WTP: WordTriplePool,
>(
    circuit: &C,
    seeds: Zeroizing<[S; 3]>,
) -> [ViewCommitment<H::Digest>; 3] {
    return build_views_custom::<C, H, PV, S, ViewCommitmentsRelayer<H::Digest, S>, WTP>(
        circuit,
        seeds,
        (),
    );
}