witness_constant.hpp File Reference

#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"

Go to the source code of this file.

Classes
struct	acir_format::WitnessOrConstant< FF >

Namespaces
namespace	acir_format

Functions
template<typename Builder >
bb::stdlib::field_t< Builder >	acir_format::to_field_ct (const WitnessOrConstant< typename Builder::FF > &input, Builder &builder)
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<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.