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 >
bb::stdlib::cycle_group< Builder >	acir_format::to_grumpkin_point (const WitnessOrConstant< typename Builder::FF > &input_x, const WitnessOrConstant< typename Builder::FF > &input_y, const WitnessOrConstant< typename Builder::FF > &input_infinite, const bb::stdlib::bool_t< Builder > &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< UltraCircuitBuilder::FF > &input_x, const WitnessOrConstant< UltraCircuitBuilder::FF > &input_y, const WitnessOrConstant< UltraCircuitBuilder::FF > &input_infinite, const bb::stdlib::bool_t< UltraCircuitBuilder > &predicate, UltraCircuitBuilder &builder)
template bb::stdlib::cycle_group< MegaCircuitBuilder >	acir_format::to_grumpkin_point (const WitnessOrConstant< MegaCircuitBuilder::FF > &input_x, const WitnessOrConstant< MegaCircuitBuilder::FF > &input_y, const WitnessOrConstant< MegaCircuitBuilder::FF > &input_infinite, const bb::stdlib::bool_t< MegaCircuitBuilder > &predicate, MegaCircuitBuilder &builder)
template<typename Builder >
bb::stdlib::cycle_group< Builder >::cycle_scalar	acir_format::to_grumpkin_scalar (const WitnessOrConstant< typename Builder::FF > &scalar_lo, const WitnessOrConstant< typename Builder::FF > &scalar_hi, const bb::stdlib::bool_t< Builder > &predicate, Builder &builder)
	Convert inputs representing a Grumpkin scalar into a cycle_scalar element.
template bb::stdlib::cycle_group< UltraCircuitBuilder >::cycle_scalar	acir_format::to_grumpkin_scalar (const WitnessOrConstant< UltraCircuitBuilder::FF > &scalar_lo, const WitnessOrConstant< UltraCircuitBuilder::FF > &scalar_hi, const bb::stdlib::bool_t< UltraCircuitBuilder > &predicate, UltraCircuitBuilder &builder)
template bb::stdlib::cycle_group< MegaCircuitBuilder >::cycle_scalar	acir_format::to_grumpkin_scalar (const WitnessOrConstant< MegaCircuitBuilder::FF > &scalar_lo, const WitnessOrConstant< MegaCircuitBuilder::FF > &scalar_hi, const bb::stdlib::bool_t< MegaCircuitBuilder > &predicate, MegaCircuitBuilder &builder)