Georg Wiese
|
a917e4f35a
|
Add permutation to PIL STD (#1297)
First part of #1296
This PR adds a `permutation()` function to the standard library. The
code is inspired by the `permutation_via_challenges` test (removed now),
[this
comment](https://github.com/powdr-labs/powdr/issues/424#issuecomment-1931686047)
by @chriseth and [this Halo2
implementation](https://github.com/privacy-scaling-explorations/halo2/blob/main/halo2_proofs/examples/shuffle.rs).
|
2024-04-25 07:32:35 +00:00 |
|