Module sapling_crypto_ce::circuit::as_waksman

Functions

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