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

syntax = "proto3";

package acvm.acir.program;

// Only including the ACIR types for Berratenberg, not Brillig.
import "acir/circuit.proto";

// Same as the top level `program.proto` but ignores the
// `unconstrained_functions` field, so that Berratenberg doesn't need to
// deserialize it.
message Program {
  // ACIR circuits
  repeated acvm.acir.circuit.Circuit functions = 1;

  reserved 2;
  reserved "unconstrained_functions";
}