[Resource Topic] 2023/1071: Fiat-Shamir Security of FRI and Related SNARKs

A post was split to a new topic: Potential typo in the verifier checks for OPlonky (Section 2.4)