openvm_native_circuit/branch_eq/
mod.rs

1
2
3
4
5
6
7
8
use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
use openvm_rv32im_circuit::{BranchEqualCoreAir, BranchEqualCoreChip};

use super::adapters::branch_native_adapter::{BranchNativeAdapterAir, BranchNativeAdapterChip};

pub type NativeBranchEqAir = VmAirWrapper<BranchNativeAdapterAir, BranchEqualCoreAir<1>>;
pub type NativeBranchEqChip<F> =
    VmChipWrapper<F, BranchNativeAdapterChip<F>, BranchEqualCoreChip<1>>;