The Small-Field Turn in Succinct Proofs: A Systematization of Finite-Field Choice in Modern SNARKs and STARKs eprint.iacr.org
A field-choice taxonomy for SNARKs/STARKs, explaining why Plonky2/3, Stwo, and Binius ditched the usual big primes.
trending4
01 02 SoK: Hash-Based Polynomial Commitments and Low-Degree Tests: From FRI to Basefold, STIR, and WHIR eprint.iacr.orgSoK on FRI lineage, from proximity gaps to Johnson bounds, with the usual transparent SNARK security footnotes.03 Plonky3 gets a hiding polynomial commitment scheme via HVZK-WHIR, plus simulator, rejection tests, and overhead numbers.04 ePrint on threshold-halving soundness for FRI/STIR/WHIR above Johnson, because the old bound apparently got lonely.