dusk-cdf 0.3.0

PLONK debugger CDF implementation
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

use std::cmp;

use dusk_cdf::*;
use dusk_zkp_debugger_utils::*;

#[test]
fn indexed_witness_validate_works() {
    let witnesses = 100;
    let constraints = 1000;

    let preamble = *Preamble::default()
        .with_witnesses(witnesses)
        .with_constraints(constraints);

    let mut generator = CDFGenerator::new(0x8437, preamble);

    let generated = generator.gen_indexed_witness();

    let id = generated.index();
    let origin = generated.origin();
    let value = generated.value();

    let ok_id = cmp::min(id, witnesses - 1);
    let wrong_id = cmp::max(id, witnesses);

    IndexedWitness::new(ok_id, *origin, *value)
        .validate(&preamble)
        .expect("consistent indexed witness should validate");

    IndexedWitness::new(wrong_id, *origin, *value)
        .validate(&preamble)
        .expect_err("inconsistent indexed witness shouldn't validate");

    let ok_constraint = constraints - 1;
    let wrong_constraint = constraints;

    IndexedWitness::new(ok_id, Some(ok_constraint), *value)
        .validate(&preamble)
        .expect("consistent indexed witness should validate");

    IndexedWitness::new(ok_id, Some(wrong_constraint), *value)
        .validate(&preamble)
        .expect_err("inconsistent indexed witness shouldn't validate");
}

#[test]
fn witness_validate_works() {
    let witnesses = 100;
    let constraints = 1000;

    let preamble = *Preamble::default()
        .with_witnesses(witnesses)
        .with_constraints(constraints);

    let mut generator = CDFGenerator::new(0x8437, preamble);

    let witness = generator.gen_witness();

    witness
        .source()
        .validate(&Default::default())
        .expect("failed to validate witness source");

    witness
        .validate(&Default::default())
        .expect("failed to validate witness");
}