zkevm_circuits 0.153.12

ZKsync Era circuits for EraVM
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

use super::*;

#[inline(always)]
pub(crate) fn apply_nop<F: SmallField, CS: ConstraintSystem<F>>(
    cs: &mut CS,
    _draft_vm_state: &VmLocalState<F>,
    common_opcode_state: &CommonOpcodeState<F>,
    _opcode_carry_parts: &AfterDecodingCarryParts<F>,
    _diffs_accumulator: &mut StateDiffsAccumulator<F>,
) {
    const NOP_OPCODE: zkevm_opcode_defs::Opcode = Opcode::Nop(NopOpcode);

    // now we need to properly select and enforce
    let apply_nop = common_opcode_state
        .decoded_opcode
        .properties_bits
        .boolean_for_opcode(NOP_OPCODE);

    if crate::config::CIRCUIT_VERSOBE {
        if (apply_nop.witness_hook(&*cs))().unwrap_or(false) {
            println!("Applying NOP");
        }
    }
}