Permutation argument (zero-knowledge proofs)
boogiemath.org