ec_operations.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Luke], commit: a48c205d6dcd4338f5b83b4fda18bff6015be07b}
// 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 <cstdint>
 
namespace acir_format {
 
struct EcAdd {
    WitnessOrConstant<bb::fr> input1_x;
    WitnessOrConstant<bb::fr> input1_y;
    WitnessOrConstant<bb::fr> input1_infinite;
    WitnessOrConstant<bb::fr> input2_x;
    WitnessOrConstant<bb::fr> input2_y;
    WitnessOrConstant<bb::fr> input2_infinite;
    // Predicate indicating whether the constraint should be disabled:
    // - true: the constraint is valid
    // - false: the constraint is disabled, i.e it must not fail and can return whatever.
    WitnessOrConstant<bb::fr> predicate;
    uint32_t result_x;
    uint32_t result_y;
    uint32_t result_infinite;
 
    friend bool operator==(EcAdd const& lhs, EcAdd const& rhs) = default;
};
 
template <typename Builder> void create_ec_add_constraint(Builder& builder, const EcAdd& input);
} // namespace acir_format