Module ace 

ACE circuit integration for ProcessorAir.

This module contains:

• Batching types and functions (MessageElement, ReducedAuxBatchConfig, batch_reduced_aux_values) that extend a constraint check DAG with the auxiliary trace boundary checks.
• The AIR-specific reduced_aux_batch_config() that describes the Miden VM’s auxiliary trace boundary checks.
• The convenience function build_batched_ace_circuit() that builds the full batched circuit in one call.

The formula checked by the batched circuit is: constraint_check + gamma * product_check + gamma^2 * sum_check = 0

Structs

ReducedAuxBatchConfig

Configuration for building the reduced_aux_values batching in the ACE DAG.

Enums

MessageElement

An element in a bus message encoding.

ProductFactor

A multiplicative factor in the product check.

Functions

batch_reduced_aux_values

Extend an existing constraint DAG with auxiliary trace boundary checks.

build_batched_ace_circuit

Build a batched ACE circuit for the provided AIR.

reduced_aux_batch_config

Build the ReducedAuxBatchConfig for the Miden VM ProcessorAir.