Expand description
Log-up permutation argument implementation as RAP.
Modules§
- debug
- Interaction debugging tools
Structs§
- Interaction
- LogUp
Security Parameters - Parameters to ensure sufficient soundness of the LogUp part of the protocol.
- Lookup
Bus - A
Lookupbus is used to establish that one multiset of values (the queries) are subset of another multiset of values (the keys). - Permutation
Check Bus - A
PermutationCheckBusbus is used to establish that two multi-sets of values are equal.
Enums§
Traits§
- Interaction
Builder - 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.