witness_constant.cpp File Reference

#include "witness_constant.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<typename Builder , typename FF >
bb::stdlib::cycle_group< Builder >	acir_format::to_grumpkin_point (const WitnessOrConstant< FF > &input_x, const WitnessOrConstant< FF > &input_y, const WitnessOrConstant< FF > &input_infinite, bool has_valid_witness_assignments, const WitnessOrConstant< FF > &predicate, Builder &builder)
	Convert inputs representing a Grumpkin point into a cycle_group element.
template bb::stdlib::cycle_group< UltraCircuitBuilder >	acir_format::to_grumpkin_point (const WitnessOrConstant< fr > &input_x, const WitnessOrConstant< fr > &input_y, const WitnessOrConstant< fr > &input_infinite, bool has_valid_witness_assignments, const WitnessOrConstant< fr > &predicate, UltraCircuitBuilder &builder)
template bb::stdlib::cycle_group< MegaCircuitBuilder >	acir_format::to_grumpkin_point (const WitnessOrConstant< fr > &input_x, const WitnessOrConstant< fr > &input_y, const WitnessOrConstant< fr > &input_infinite, bool has_valid_witness_assignments, const WitnessOrConstant< fr > &predicate, MegaCircuitBuilder &builder)