qp-plonky2 1.4.1

Recursive SNARKs based on PLONK and FRI
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

#[cfg(not(feature = "std"))]
use alloc::string::String;

use crate::iop::target::Target;

/// A named copy constraint.
#[derive(Debug)]
pub struct CopyConstraint {
    pub pair: (Target, Target),
    #[allow(dead_code)]
    pub name: String,
}

impl From<(Target, Target)> for CopyConstraint {
    fn from(pair: (Target, Target)) -> Self {
        Self {
            pair,
            name: String::new(),
        }
    }
}

impl CopyConstraint {
    pub const fn new(pair: (Target, Target), name: String) -> Self {
        Self { pair, name }
    }
}