stwo-gpu-constraint-framework 2.0.0

Constraint framework for building AIR constraints with STWO-GPU
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

#[cfg(test)]
macro_rules! secure_col {
    ($a:expr, $b:expr, $c:expr, $d:expr) => {
        crate::expr::ExtExpr::SecureCol([
            Box::new($a.into()),
            Box::new($b.into()),
            Box::new($c.into()),
            Box::new($d.into()),
        ])
    };
}
#[cfg(test)]
pub(crate) use secure_col;

#[cfg(test)]
macro_rules! col {
    ($interaction:expr, $idx:expr, $offset:expr) => {
        crate::expr::BaseExpr::Col(($interaction, $idx, $offset).into())
    };
}
#[cfg(test)]
pub(crate) use col;

#[cfg(test)]
macro_rules! var {
    ($var:expr) => {
        crate::expr::BaseExpr::Param($var.to_string())
    };
}
#[cfg(test)]
pub(crate) use var;

#[cfg(test)]
macro_rules! qvar {
    ($var:expr) => {
        crate::expr::ExtExpr::Param($var.to_string())
    };
}
#[cfg(test)]
pub(crate) use qvar;

#[cfg(test)]
macro_rules! felt {
    ($val:expr) => {
        crate::expr::BaseExpr::Const($val.into())
    };
}
#[cfg(test)]
pub(crate) use felt;

#[cfg(test)]
macro_rules! qfelt {
    ($a:expr, $b:expr, $c:expr, $d:expr) => {
        crate::expr::ExtExpr::Const(stwo::core::fields::qm31::SecureField::from_m31_array([
            $a.into(),
            $b.into(),
            $c.into(),
            $d.into(),
        ]))
    };
}
#[cfg(test)]
pub(crate) use qfelt;