air-mir 0.4.0

Intermediate representation for the AirScript language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use super::compile;

#[test]
fn bc_with_public_inputs() {
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    public_inputs {
        stack_inputs: [16],
    }
    boundary_constraints {
        enf clk.first = stack_inputs[0]^3;
    }
    integrity_constraints {
        enf clk' = clk - 1;
    }";

    assert!(compile(source).is_ok());
}