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