provekit_acir 1.0.0-beta.11-alpha.2

ACIR is the IR that the VM processes, it is analogous to LLVM IR
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

pub(crate) mod convert;

pub(crate) mod acir {

    #[allow(unreachable_pub)]
    pub(crate) mod native {
        include!(concat!(env!("OUT_DIR"), "/acvm.acir.native.rs"));
    }

    #[allow(unreachable_pub)]
    pub(crate) mod witness {
        include!(concat!(env!("OUT_DIR"), "/acvm.acir.witness.rs"));
    }

    #[allow(unreachable_pub)]
    pub(crate) mod circuit {
        include!(concat!(env!("OUT_DIR"), "/acvm.acir.circuit.rs"));
    }
}

#[allow(unreachable_pub, clippy::enum_variant_names)]
pub(crate) mod brillig {
    include!(concat!(env!("OUT_DIR"), "/acvm.brillig.rs"));
}

#[allow(unreachable_pub)]
pub(crate) mod program {
    include!(concat!(env!("OUT_DIR"), "/acvm.program.rs"));
}