cycle_scalar.test.cpp File Reference

#include "barretenberg/stdlib/primitives/group/cycle_scalar.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/test_utils.hpp"
#include "barretenberg/stdlib/primitives/witness/witness.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	CycleScalarTest< Builder >

Typedefs
using	CircuitTypes = ::testing::Types< bb::UltraCircuitBuilder, bb::MegaCircuitBuilder >

Functions
	TYPED_TEST_SUITE (CycleScalarTest, CircuitTypes)
	TYPED_TEST (CycleScalarTest, TestFromWitness)
	Test witness construction.
	TYPED_TEST (CycleScalarTest, TestBigScalarFieldConstructor)
	Test cycle_scalar construction from BigScalarField.
	TYPED_TEST (CycleScalarTest, TestScalarFieldValidationFailureBetweenModuli)
	Test expected scalar field validation failure with value between Grumpkin and BN254 moduli.
	TYPED_TEST (CycleScalarTest, TestBigScalarFieldConstructorEdgeCases)
	Test BigScalarField constructor with edge case values.

Typedef Documentation

CircuitTypes

using CircuitTypes = ::testing::Types<bb::UltraCircuitBuilder, bb::MegaCircuitBuilder>

Definition at line 27 of file cycle_scalar.test.cpp.

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	CycleScalarTest	,
		TestBigScalarFieldConstructor
	)

Test cycle_scalar construction from BigScalarField.

Definition at line 62 of file cycle_scalar.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	CycleScalarTest	,
		TestBigScalarFieldConstructorEdgeCases
	)

Test BigScalarField constructor with edge case values.

Definition at line 182 of file cycle_scalar.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	CycleScalarTest	,
		TestFromWitness
	)

Test witness construction.

Definition at line 37 of file cycle_scalar.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	CycleScalarTest	,
		TestScalarFieldValidationFailureBetweenModuli
	)

Test expected scalar field validation failure with value between Grumpkin and BN254 moduli.

This test creates a scalar with hi/lo decomposition that results in a value greater than BN254::fr modulus but less than BN254::fq modulus. (We construct the scalar directly from lo/hi components to bypass field reduction). We demonstrate that validation against Grumpkin scalar field (fq) passes, but validation against BN254 scalar field (fr) fails, as expected.

Definition at line 117 of file cycle_scalar.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	CycleScalarTest	,
		CircuitTypes
	)