Highlights

Zero: The Decentralized Multi-Core World Computer

Overview of Latticefold+

Babyplonk in Rust

Updates

Beyond Circuits: A New Era for Verifiable Databases

When LLM Review Cryptography Papers

A Mental Model for EVM Developers Building on Sui - Part Two

Why Your Custom Hash Function Will Get You Hacked

A Short Guide in English to What’s Happening in Iran

Papers

FRIttata: A FRI-based Polynomial Commitment Scheme for Distributed Proof Generation

Formally Verified Number-Theoretic Transform

Analysis and Vulnerabilities in zkLogin

Round-Optimal Identity-Based Blind Signature from Lattice Assumptions

Nested MuSig2

Spinel: A Post-Quantum Signature Scheme Based on SLn(Fp) Hashing

PANCAKE: A SNARK with Plonkish Constraints, Almost-Free Additions, No Permutation Check, and a Linear-Time Prover

MPSpeed: Implementing and Optimizing MPC-in-the-Head Digital Signatures in Hardware

ZKBoost: Zero-Knowledge Verifiable Training for XGBoost

Plonk Without Random Oracles

zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof

Efficient Polynomial Evaluation on Structured Space over Finite Fields

The Verification Theater: When Formal Methods Create False Assurance in Cryptographic Libraries