Module interaction

Log-up permutation argument implementation as RAP.

Modules

debug

Interaction debugging tools

fri_log_up

rap

An AIR with specified interactions can be augmented into a RAP. This module auto-converts any Air implemented on an InteractionBuilder into a Rap.

trace

Structs

Interaction

LogUpSecurityParameters

Parameters to ensure sufficient soundness of the LogUp part of the protocol.

LookupBus

A Lookup bus is used to establish that one multiset of values (the queries) are subset of another multiset of values (the keys).

PermutationCheckBus

A PermutationCheckBus bus is used to establish that two multi-sets of values are equal.

RapPhaseProverData

RapPhaseShape

RapPhaseVerifierData

Enums

PermutationInteractionType

RapPhaseSeqKind

Supported challenge phases in a RAP.

Traits

InteractionBuilder

An AirBuilder with additional functionality to build special logUp arguments for communication between AIRs across buses. These arguments use randomness to add additional trace columns (in the extension field) and constraints to the AIR.

RapPhaseSeq

Defines a particular protocol for the “after challenge” phase in a RAP.

Type Aliases

BusIndex

SymbolicInteraction