dusk-cdf 0.5.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

/// State describind a mutation of the zk debugger
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum State {
    /// BOF of the CDF backend
    ///
    /// Id is constant `0`
    Beginning,
    /// Mutated the position to a different constraint
    Constraint {
        /// Id of the constraint
        id: usize,
    },
    /// Hit a constraint that evaluated to false
    InvalidConstraint {
        /// Id of the constraint
        id: usize,
    },
    /// Hit a breakpoint
    Breakpoint {
        /// Id of the breakpoint
        id: usize,
    },
    /// EOF of the CDF backend
    End {
        /// Id of the breakpoint
        id: usize,
    },
}