new paper out with Angus Gruen! eprint.iacr.org/2024/1351. in this paper, we prove that if a linear code over a field exhibits proximity gaps over affine lines, then its interleavings also do. we also amend the "general conjecture" for proximity gaps in the UDR [DP23, Conj. 2.4].

Currently Plonky3 supports a collection of slightly different fields. I wrote a short note up to explain why we support different fields and the advantages/disadvantages of each: hackmd.io/@Syxton/small_…