aes128_constraint.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Planned, auditors: [], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include <array>
#include <cstdint>
#include <vector>
 
namespace acir_format {
 
struct AES128Input {
    uint32_t witness;
    uint32_t num_bits;
 
    friend bool operator==(AES128Input const& lhs, AES128Input const& rhs) = default;
};
 
struct AES128Constraint {
    std::vector<WitnessOrConstant<bb::fr>> inputs;
    std::array<WitnessOrConstant<bb::fr>, 16> iv;
    std::array<WitnessOrConstant<bb::fr>, 16> key;
    std::vector<uint32_t> outputs;
 
    friend bool operator==(AES128Constraint const& lhs, AES128Constraint const& rhs) = default;
};
 
template <typename Builder> void create_aes128_constraints(Builder& builder, const AES128Constraint& constraint);
 
} // namespace acir_format