Module permutation_network

Structs

• AsWaksmanRoute
• AsWaksmanTopology
• IntegerPermutation

Functions

• order_into_switches_set
• prove_permutation_of_nums_using_switches_witness
  prove permutation by routing elements through the permutation network Topology is calculated exclusively based on the size on the network, and permuted elements can be anything. Caller be responsible for validity if elements are unique or not
• prove_permutation_using_switches_witness
  prove permutation by routing elements through the permutation network Topology is calculated exclusively based on the size on the network, and permuted elements can be anything. Caller be responsible for validity if elements are unique or not
• prove_shuffle
  prove permutation by routing elements through the permutation network Topology is calculated exclusively based on the size on the network, and permuted elements can be anything. Caller be responsible for validity if elements are unique or not