23 May 2024, 10:00 Scribe: Ying Tong [repo: https://github.com/zkpstandard/wg-plonkish] PlonKish relation [https://github.com/zkpstandard/wg-plonkish/blob/main/src/relation.md] [Daira-Emma] selectors are not separately specified, since they can be represented after optimisation as fixed columns (which might not be boolean because of selector combining) [Daira-Emma] TODO: instead of separately specifying copy constraints for instance, fixed, and advice, we should generalise the equivalence relation $\equiv_A$ to work for all three cases