This class implements the execution of biggroup with an oracle to detect discrepancies. More...

#include <biggroup.fuzzer.hpp>

Public Member Functions
	ExecutionHandler ()=default

	ExecutionHandler (ScalarField s, GroupElement g, biggroup_t w_g)

ExecutionHandler	operator_add (Builder *builder, const ExecutionHandler &other)

ExecutionHandler	operator_sub (Builder *builder, const ExecutionHandler &other)
	Subtract two ExecutionHandlers, exploring different code paths for edge cases.

ExecutionHandler	mul (Builder *builder, const ScalarField &multiplier)

void	validate_on_curve () const

ExecutionHandler	operator- ()

ExecutionHandler	dbl ()

ExecutionHandler	conditional_select (Builder *builder, ExecutionHandler &other, const bool predicate)

void	incomplete_assert_equal (Builder *builder, ExecutionHandler &other)

ExecutionHandler	set (Builder *builder)

Static Public Member Functions
static ExecutionHandler	batch_mul (Builder *builder, const std::vector< ExecutionHandler > &to_add, const std::vector< ScalarField > &to_mul)

static size_t	execute_CONSTANT (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the constant instruction (push constant biggroup to the stack)

static size_t	execute_WITNESS (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the witness instruction (push witness biggroup to the stack)

static size_t	execute_CONSTANT_WITNESS (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the constant_witness instruction (push a biggroup witness set to be public or constant made witness to the stack)

static size_t	execute_VALIDATE_ON_CURVE (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the VALIDATE_ON_CURVE instruction.

static size_t	execute_DBL (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the DBL instruction.

static size_t	execute_NEG (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the NEG instruction.

static size_t	execute_ASSERT_EQUAL (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the ASSERT_EQUAL instruction.

static size_t	execute_SET (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the SET instruction.

static size_t	execute_ADD (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the addition operator instruction.

static size_t	execute_SUBTRACT (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the subtraction operator instruction.

static size_t	execute_COND_ASSIGN (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the COND_ASSIGN instruction.

static size_t	execute_MULTIPLY (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the multiply instruction.

static size_t	execute_BATCH_MUL (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the BATCH_MUL instruction.

static size_t	execute_RANDOMSEED (Builder *builder, std::vector< ExecutionHandler > &stack, Instruction &instruction)
	Execute the RANDOMSEED instruction.

Public Attributes
ScalarField	base_scalar

GroupElement	base

biggroup_t	biggroup

Private Member Functions
biggroup_t	bg () const

ExecutionHandler	handle_add_doubling_case (Builder *builder, const ExecutionHandler &other, const ScalarField &base_scalar_res, const GroupElement &base_res)
	Handle addition when points are equal (requires doubling)

ExecutionHandler	handle_add_infinity_case (const ExecutionHandler &other, const ScalarField &base_scalar_res, const GroupElement &base_res)
	Handle addition when points are negations (result is point at infinity)

ExecutionHandler	handle_add_normal_case (const ExecutionHandler &other, const ScalarField &base_scalar_res, const GroupElement &base_res)
	Handle normal addition (no special edge cases)

ExecutionHandler	handle_sub_doubling_case (Builder *builder, const ExecutionHandler &other, const ScalarField &base_scalar_res, const GroupElement &base_res)
	Handle subtraction when points are negations: x - (-x) = 2x (doubling case)

ExecutionHandler	handle_sub_infinity_case (const ExecutionHandler &other, const ScalarField &base_scalar_res, const GroupElement &base_res)
	Handle subtraction when points are equal: x - x = 0 (point at infinity)

ExecutionHandler	handle_sub_normal_case (const ExecutionHandler &other, const ScalarField &base_scalar_res, const GroupElement &base_res)
	Handle normal subtraction case (no special edge cases)

Static Private Member Functions
static bool_t	construct_predicate (Builder *builder, const bool predicate)

Detailed Description

template<typename Builder, typename BigGroupType, bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>
class BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler

This class implements the execution of biggroup with an oracle to detect discrepancies.

Definition at line 907 of file biggroup.fuzzer.hpp.

Constructor & Destructor Documentation

◆ ExecutionHandler() [1/2]

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::ExecutionHandler ( )

default

◆ ExecutionHandler() [2/2]

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::ExecutionHandler	(	ScalarField	s,
		GroupElement	g,
		biggroup_t	w_g
	)

inline

Definition at line 937 of file biggroup.fuzzer.hpp.

Member Function Documentation

◆ batch_mul()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::batch_mul	(	Builder *	builder,
		const std::vector< ExecutionHandler > &	to_add,
		const std::vector< ScalarField > &	to_mul
	)

inlinestatic

Definition at line 1132 of file biggroup.fuzzer.hpp.

◆ bg()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

biggroup_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::bg ( ) const

inlineprivate

Definition at line 925 of file biggroup.fuzzer.hpp.

◆ conditional_select()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::conditional_select	(	Builder *	builder,
		ExecutionHandler &	other,
		const bool	predicate
	)

inline

Definition at line 1183 of file biggroup.fuzzer.hpp.

◆ construct_predicate()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static bool_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::construct_predicate	(	Builder *	builder,
		const bool	predicate
	)

inlinestaticprivate

Definition at line 909 of file biggroup.fuzzer.hpp.

◆ dbl()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::dbl ( )

inline

Definition at line 1178 of file biggroup.fuzzer.hpp.

◆ execute_ADD()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_ADD	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the addition operator instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1510 of file biggroup.fuzzer.hpp.

◆ execute_ASSERT_EQUAL()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_ASSERT_EQUAL	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the ASSERT_EQUAL instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1446 of file biggroup.fuzzer.hpp.

◆ execute_BATCH_MUL()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_BATCH_MUL	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the BATCH_MUL instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1652 of file biggroup.fuzzer.hpp.

◆ execute_COND_ASSIGN()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_COND_ASSIGN	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the COND_ASSIGN instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1578 of file biggroup.fuzzer.hpp.

◆ execute_CONSTANT()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_CONSTANT	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the constant instruction (push constant biggroup to the stack)

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1257 of file biggroup.fuzzer.hpp.

◆ execute_CONSTANT_WITNESS()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_CONSTANT_WITNESS	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the constant_witness instruction (push a biggroup witness set to be public or constant made witness to the stack)

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1306 of file biggroup.fuzzer.hpp.

◆ execute_DBL()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_DBL	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the DBL instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1380 of file biggroup.fuzzer.hpp.

◆ execute_MULTIPLY()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_MULTIPLY	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the multiply instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1618 of file biggroup.fuzzer.hpp.

◆ execute_NEG()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_NEG	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the NEG instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1413 of file biggroup.fuzzer.hpp.

◆ execute_RANDOMSEED()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_RANDOMSEED	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the RANDOMSEED instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1706 of file biggroup.fuzzer.hpp.

◆ execute_SET()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_SET	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the SET instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1472 of file biggroup.fuzzer.hpp.

◆ execute_SUBTRACT()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_SUBTRACT	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the subtraction operator instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1544 of file biggroup.fuzzer.hpp.

◆ execute_VALIDATE_ON_CURVE()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_VALIDATE_ON_CURVE	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the VALIDATE_ON_CURVE instruction.

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1354 of file biggroup.fuzzer.hpp.

◆ execute_WITNESS()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

static size_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::execute_WITNESS	(	Builder *	builder,
		std::vector< ExecutionHandler > &	stack,
		Instruction &	instruction
	)

inlinestatic

Execute the witness instruction (push witness biggroup to the stack)

Parameters

builder
stack
instruction

Returns: 0 to continue, 1 to stop

Definition at line 1280 of file biggroup.fuzzer.hpp.

◆ handle_add_doubling_case()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::handle_add_doubling_case	(	Builder *	builder,
		const ExecutionHandler &	other,
		const ScalarField &	base_scalar_res,
		const GroupElement &	base_res
	)

inlineprivate

Handle addition when points are equal (requires doubling)

Parameters

builder	Circuit builder
other	The other execution handler
base_scalar_res	Result scalar for native computation
base_res	Result point for native computation

Returns: ExecutionHandler with doubled point via various code paths

Definition at line 952 of file biggroup.fuzzer.hpp.

◆ handle_add_infinity_case()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::handle_add_infinity_case	(	const ExecutionHandler &	other,
		const ScalarField &	base_scalar_res,
		const GroupElement &	base_res
	)

inlineprivate

Handle addition when points are negations (result is point at infinity)

Parameters

builder	Circuit builder
other	The other execution handler
base_scalar_res	Result scalar for native computation
base_res	Result point for native computation

Returns: ExecutionHandler with point at infinity via various code paths

Definition at line 981 of file biggroup.fuzzer.hpp.

◆ handle_add_normal_case()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::handle_add_normal_case	(	const ExecutionHandler &	other,
		const ScalarField &	base_scalar_res,
		const GroupElement &	base_res
	)

inlineprivate

Handle normal addition (no special edge cases)

Parameters

other	The other execution handler
base_scalar_res	Result scalar for native computation
base_res	Result point for native computation

Returns: ExecutionHandler with addition via various code paths

Definition at line 1003 of file biggroup.fuzzer.hpp.

◆ handle_sub_doubling_case()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::handle_sub_doubling_case	(	Builder *	builder,
		const ExecutionHandler &	other,
		const ScalarField &	base_scalar_res,
		const GroupElement &	base_res
	)

inlineprivate

Handle subtraction when points are negations: x - (-x) = 2x (doubling case)

Definition at line 1050 of file biggroup.fuzzer.hpp.

◆ handle_sub_infinity_case()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::handle_sub_infinity_case	(	const ExecutionHandler &	other,
		const ScalarField &	base_scalar_res,
		const GroupElement &	base_res
	)

inlineprivate

Handle subtraction when points are equal: x - x = 0 (point at infinity)

Definition at line 1073 of file biggroup.fuzzer.hpp.

◆ handle_sub_normal_case()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::handle_sub_normal_case	(	const ExecutionHandler &	other,
		const ScalarField &	base_scalar_res,
		const GroupElement &	base_res
	)

inlineprivate

Handle normal subtraction case (no special edge cases)

Definition at line 1083 of file biggroup.fuzzer.hpp.

◆ incomplete_assert_equal()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

void BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::incomplete_assert_equal	(	Builder *	builder,
		ExecutionHandler &	other
	)

inline

Definition at line 1199 of file biggroup.fuzzer.hpp.

◆ mul()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::mul	(	Builder *	builder,
		const ScalarField &	multiplier
	)

inline

Definition at line 1120 of file biggroup.fuzzer.hpp.

◆ operator-()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::operator- ( )

inline

Definition at line 1176 of file biggroup.fuzzer.hpp.

◆ operator_add()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::operator_add	(	Builder *	builder,
		const ExecutionHandler &	other
	)

inline

Definition at line 1027 of file biggroup.fuzzer.hpp.

◆ operator_sub()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::operator_sub	(	Builder *	builder,
		const ExecutionHandler &	other
	)

inline

Subtract two ExecutionHandlers, exploring different code paths for edge cases.

Definition at line 1106 of file biggroup.fuzzer.hpp.

◆ set()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ExecutionHandler BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::set ( Builder * builder )

inline

Definition at line 1213 of file biggroup.fuzzer.hpp.

◆ validate_on_curve()

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

void BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::validate_on_curve ( ) const

inline

Definition at line 1174 of file biggroup.fuzzer.hpp.

Member Data Documentation

◆ base

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

GroupElement BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::base

Definition at line 933 of file biggroup.fuzzer.hpp.

◆ base_scalar

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

ScalarField BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::base_scalar

Definition at line 932 of file biggroup.fuzzer.hpp.

◆ biggroup

template<typename Builder , typename BigGroupType , bool _use_bigfield = false, typename BigfieldScalar = typename BigGroupType::ScalarField>

biggroup_t BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ExecutionHandler::biggroup

Definition at line 934 of file biggroup.fuzzer.hpp.

The documentation for this class was generated from the following file:

src/barretenberg/stdlib/primitives/biggroup/biggroup.fuzzer.hpp

Public Member Functions

Static Public Member Functions

Public Attributes

Private Member Functions

Static Private Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ ExecutionHandler() [1/2]

◆ ExecutionHandler() [2/2]

Member Function Documentation

◆ batch_mul()

◆ bg()

◆ conditional_select()

◆ construct_predicate()

◆ dbl()

◆ execute_ADD()

◆ execute_ASSERT_EQUAL()

◆ execute_BATCH_MUL()

◆ execute_COND_ASSIGN()

◆ execute_CONSTANT()

◆ execute_CONSTANT_WITNESS()

◆ execute_DBL()

◆ execute_MULTIPLY()

◆ execute_NEG()

◆ execute_RANDOMSEED()

◆ execute_SET()

◆ execute_SUBTRACT()

◆ execute_VALIDATE_ON_CURVE()

◆ execute_WITNESS()

◆ handle_add_doubling_case()

◆ handle_add_infinity_case()

◆ handle_add_normal_case()

◆ handle_sub_doubling_case()

◆ handle_sub_infinity_case()

◆ handle_sub_normal_case()

◆ incomplete_assert_equal()

◆ mul()

◆ operator-()

◆ operator_add()

◆ operator_sub()

◆ set()

◆ validate_on_curve()

Member Data Documentation

◆ base

◆ base_scalar

◆ biggroup