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

syntax = "proto3";

package acvm.program;

import public "acir/circuit.proto";
import public "brillig.proto";

// A program represents an entire circuit with ACIR and Brillig functions and
// potentially multiple endpoints.
message Program {
  // ACIR circuits
  repeated acvm.acir.circuit.Circuit functions = 1;
  // Brillig functions
  repeated acvm.brillig.BrilligBytecode unconstrained_functions = 2;
}