multi_scalar_mul.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/stdlib/primitives/field/field.hpp"
#include "serde/index.hpp"
#include "witness_constant.hpp"
#include <cstdint>
#include <vector>
 
namespace acir_format {
 
struct MultiScalarMul {
    std::vector<WitnessOrConstant<bb::fr>> points;
    std::vector<WitnessOrConstant<bb::fr>> scalars;
    // 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 out_point_x;
    uint32_t out_point_y;
    uint32_t out_point_is_infinite;
 
    friend bool operator==(MultiScalarMul const& lhs, MultiScalarMul const& rhs) = default;
};
 
template <typename Builder> void create_multi_scalar_mul_constraint(Builder& builder, const MultiScalarMul& input);
 
} // namespace acir_format