Posts & Research

Benedikt Wagner · January 20, 2026

Merkle Trees in Plonky3 ↗

Benedikt Wagner · January 5, 2026

Aborting Random Oracles ↗

George Kadianakis · December 18, 2025

Shipping an L1 zkEVM #2: The Security Foundations ↗

Benedikt Wagner · October 24, 2025

Simplified RBR soundness of FRI ↗

Benedikt Wagner · October 1, 2025

Hybrid Encrypted Mempools ↗

Benedikt Wagner · September 16, 2025

Improved PeerDAS Security Analysis ↗

Benedikt Wagner · July 29, 2025

New silent threshold encryption scheme with small keys ↗

Benedikt Wagner · July 21, 2025

LeanSig for Post-Quantum Ethereum ↗

Benedikt Wagner · July 1, 2025

Post about 1D vs 2D DAS ↗

Benedikt Wagner · May 19, 2025

At the Top of the Hypercube ↗

Benedikt Wagner · April 24, 2025

Provably secure p2p networking for data availability sampling (paper) ↗

George Kadianakis · February 6, 2025

zkFOCIL: Inclusion List Privacy using Linkable Ring Signatures ↗

Benedikt Wagner · February 1, 2025

zkFOCIL ↗

George Kadianakis · January 30, 2025

KZH-Fold: Accountable Voting from Sublinear Accumulation ↗

Benedikt Wagner · January 14, 2025

Hash-Based Multi-Signatures for Post-Quantum Ethereum ↗

Benedikt Wagner · August 30, 2024

Provably secure p2p networking for data availability sampling (post) ↗

Benedikt Wagner · August 30, 2024

Concrete Security of BLS Signatures in PoS ↗

Benedikt Wagner · August 29, 2024

PeerDAS Documentation and Security Analysis ↗

Benedikt Wagner · February 15, 2024

FRIDA: DAS from FRI ↗

Benedikt Wagner · October 11, 2023

Jackpot for random committee election ↗

George Kadianakis · September 18, 2023

Sigmabus: Binding Sigmas in Circuits for Fast Curve Operations ↗

George Kadianakis · August 23, 2023

Proof of Validator: A simple anonymous credential scheme for Ethereum's DHT ↗

Benedikt Wagner · July 11, 2023

Foundations of Data Availability Sampling ↗

January 16, 2023

zkalc: a cryptographic calculator

George Kadianakis · January 16, 2023

zkalc: a cryptographic calculator ↗

August 30, 2022

Towards practical post quantum Single Secret Leader Election (SSLE) - Part 1

George Kadianakis · August 23, 2022

Curdleproofs ↗

August 5, 2022

On Security Assumptions Underpinning Recent Schnorr Threshold Schemes

George Kadianakis · August 4, 2022

A Universal Verification Equation for Data Availability Sampling ↗

August 4, 2022

A Universal Verification Equation for Data Availability Sampling ↗

July 11, 2022

NIST Post-Quantum-Cryptography Standardization Process and What it means for Ethereum

June 25, 2022

Cryptanalysis of the Algorand Subset-Sum Hash Function (UPDATED 25th June 2022)

June 6, 2022

Groth-Sahai Proofs Are Not That Scary

George Kadianakis · January 13, 2022

Whisk: A practical shuffle-based SSLE protocol for Ethereum ↗

January 13, 2022

Whisk: A practical shuffle-based SSLE protocol for Ethereum ↗

June 29, 2021

Introducing Bandersnatch: a fast elliptic curve built over the BLS12-381 scalar field ↗

June 27, 2021

Inner Product Arguments ↗

June 18, 2021

PCS multiproofs using random evaluation ↗

July 16, 2020

VDF Proving with SnarkPack ↗

June 16, 2020

KZG polynomial commitments ↗