.- Zero-Knowledge; Hardware and Embedded Systems..- Polylogarithmic Proofs for Multilinears over Binary Towers..- Cyclo: Lightweight Lattice-based Folding via Partial Range Checks..- Soloist: Distributed SNARK for R1CS with Constant Proof Size..- Query-Optimal IOPPs for Linear-Time Encodable Codes..- Jagged Polynomial Commitments (or: How to Stack Multilinears)..- Spectra: Interval-Agnostic Vector Range Argument for Unstructured Range Assertions..- Dynark: Making Groth16 Dynamic..- Sum-check protocol for approximate computations..- Special Soundness and Binding Properties: A Framework for...
