Edited by ZKPunk
Highlights
New speed record in proving Keccak: Binary GKR
SP1 Hypercube: Proving Ethereum in Real-Time
For Algorithms, a Little Memory Outweighs a Lot of Time
Animated Factorization Diagrams
Papers
Fheanor: a new, modular FHE library for designing and optimising schemes
Data Availability for Thousands of Nodes
One for All, All for One: Universal semi-agnostic quantum circuit for solving (Standard) Abelian Hidden Subgroup Problems
From List-Decodability to Proximity Gaps
Simple and Efficient Lattice Threshold Signatures with Identifiable Aborts
Finally! A Compact Lattice-Based Threshold Signature
Papercraft: Lattice-based Verifiable Delay Function Implemented
k-out-of-n Proofs and Application to Privacy-Preserving Cryptocurrencies
At the Top of the Hypercube -- Better Size-Time Tradeoffs for Hash-Based Signatures
Obfuscation of Unitary Quantum Programs
Achieving "beyond CCA1" security for linearly homomorphic encryption, without SNARKs?
On the Fiat–Shamir Security of Succinct Arguments from Functional Commitments
SubLogarithmic Linear Time SNARKs from Compressed Sum-Check
Automated Verification of Consistency in Zero-Knowledge Proof Circuits
The Accidental Computer: Polynomial Commitments from Data Availability
Jagged Polynomial Commitments (or: How to Stack Multilinears)
HyperWolf: Efficient Polynomial Commitment Schemes from Lattices
Polocolo: A ZK-Friendly Hash Function Based on S-boxes Using Power Residues (Full Version)
Fast elliptic curve scalar multiplications in SN(T)ARK circuits
**If you’d like to receive updates via email, subscribe us!
🎉 Supported by GCC 🎉