Highlights
Ethproofs
Ethproofs is the L2beat of zkVMs
MIT 6.5630 Advanced Topics in Cryptography, Fall 2023
Blaze will be in Eurocrypt 2025
Blaze is a multilinear polynomial commitment with ultra-efficient proving over binary fields. A step towards 'real-time proving'
Updates
Announcing the Scroll Research Blog
Breaking Down the Puzzles in ZK Hack V
Papers
ACM CCS'24
IEEE FOCS 2024
Post-Quantum Online/Offline Signatures
How to Prove False Statements: Practical Attacks on Fiat-Shamir
SoK: PQC PAKEs - Cryptographic Primitives, Design and Security
Module Learning with Errors with Truncated Matrices
Qelect: Lattice-based Single Secret Leader Election Made Practical
Falcon on ARM Cortex-M4: an Update
GPU Implementations of Three Different Key-Switching Methods for Homomorphic Encryption Schemes
Arbitrary-Threshold Fully Homomorphic Encryption with Lower Complexity
Always by Your Side: Constructing Traceable Anonymous Credentials with Hardware-Binding
A Revision of CROSS Security: Proofs and Attacks for Multi-Round Fiat-Shamir Signatures
DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions
PRISM: Simple And Compact Identification and Signatures From Large Prime Degree Isogenies
Preprocessing Security in Multiple Idealized Models with Applications to Schnorr Signatures and PSEC-KEM
Space-Lock Puzzles and Verifiable Space-Hard Functions from Root-Finding in Sparse Polynomials
hax: Verifying Security-Critical Rust Software using Multiple Provers
KZH-Fold: Accountable Voting from Sublinear Accumulation
Practical Asynchronous Distributed Key Reconfiguration and Its Applications
**If you’d like to receive updates via email, subscribe us!