Module test_utils 

Modules

dummy_airs

Structs

CachedFixture11

Dummy interaction AIRs with cached trace: 1 sender, 1 receiver

FibFixture

InteractionsFixture11

Interactions fixture with 1 sender and 1 receiver

MixtureFixture

PreprocessedAndCachedFixture

PreprocessedFibFixture

SelfInteractionFixture

Enums

MixtureFixtureEnum

Traits

TestFixture

Trait for object responsible for generating the collection of AIRs and trace matrices for a single test case.

Functions

default_test_params_small

prove_up_to_batch_constraints

test_system_params_small

Trace heights cannot exceed 2^{l_skip + n_stack} and stacked cells cannot exceed w_stack * 2^{l_skip + n_stack} when using these system params.

test_system_params_small_with_poly_len

test_whir_config_small