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.
trending8
01 02 Solidity/Foundry finite-field math over F_17 with tests and a deploy script, because hand-rolling mod 17 felt necessary.03 Adds k-idempotent bent functions in the partial spread class; existence for all k|n up to 3, and k=1,2 are fully characterized.04 Concrete Bit-Operation Cost of XL: For Solving Multivariate Quadratic Systems Using Wiedemann and Berlekamp-Massey eprint.iacr.orgA bit-operation cost model for XL plus Wiedemann/Berlekamp-Massey, with formulas and experiments for MQ challenge and NIST candidates.05 HPCC gives single-cycle masked 3-input multiplies and 2-cycle AES S-boxes in the PINI glitch model.06 Need a Rust MPC toolkit where the same protocol runs in simulation or over mTLS? This repo does that, for research.07 A historical overview of hash functions from index tricks to crypto use, with collisions doing the usual nonsense.08 Quadratic APN Functions in Dimension 8 via Gröbner Basis Search in a Self-Equivalence Subspace arxiv.orgPaper on 8D quadratic APN search via Gröbner bases in a self-equivalence subspace, and yes, it finds new classes.