Secret Circuit Plonk
Make the selector and permutation polynomials witness, accumulated hashes of them as part of the evaluation, provide hashes as public input.
Self modifying Plonk
Add a second permutation check, have the permutation polynomial be a witness.
- Check that it's valid by verifying that it accumulates to the identity permutation.