§ Zero Knowledge

Aztec's Tierra V6 upgrade for privacy layer 2 on Ethereum; AI audit harness identified critical vulnerabilities in cryptographic libraries.

Ethereum Magicians post on stateful Tier-1 error-caching vulnerability in BLS12-381 with algebraic fix and EIP-4844 use cases; appears incomplete or speculative.

Ethereum lab withdraws Quick Slots proposal to prioritize post-quantum cryptography upgrade targeting 2027.

ERC-8499 draft proposes standard for deriving post-quantum hash-based keys (SPHINCS, XMSS) from BIP-39 seed phrases via Keccak-256.

Researcher demonstrates 1.6 MB STARK proof of Bitcoin's UTXO set at block 972,500, verifiable in-browser in ~500ms using Lean-proven circuits.

EIP draft proposes running leanVM post-quantum signature aggregation in shadow mode alongside BLS until quantum/AI threats emerge, enabling emergency hard fork transition without consensus disruption.

Research paper implements privacy-preserving electricity markets on Hyperledger Besu using AMM, Poseidon2 commitments, and UltraHonk zero-knowledge proofs for price settlement.

Research evaluates two Solidity smart contracts for federated learning reward distribution: public quality scores vs. privacy-preserving zero-knowledge proof variant using non-transferable tokens.

Seam contract on Base verifies Zcash block headers using EIP-152 BLAKE2b precompile, enabling trustless cross-chain verification of Zcash consensus rules at ~626k gas per header.

Ross launches Tacit Chain, a Stage 2 ZK rollup on Ethereum for private TAC payments with post-quantum memo encryption.

Presents BioBind protocol binding biometric deduplication to zero-knowledge authentication for decentralized identity, securing concurrent enrollment and credential issuance.

Proposes quantum-resistant notary scheme for blockchain interoperability combining ML-KEM, ML-DSA, and AES-256 with dynamic trust model, handling 270 tx/sec.

Paper proposes zk-NSGA-II protocol for privacy-preserving collaborative multi-objective optimization on blockchain using RISC Zero zkVM.

Negative results paper: folding-based verification of post-quantum signatures in leanVM did not outperform full recursion; hash-based accumulation needs 450x more constraints than direct leanVM verification.

Machine-checked GKR soundness proof in Isabelle/HOL with sparse Merkle prover; first formalized soundness bound for GKR on layered circuits with partial Rust code refinement.

Nethermind tested BN254 Groth16 shielded pool on frame transactions: 679k gas per withdrawal, but proof verification exceeds EIP-8141 validation gas cap and pools cannot pay for user-initiated calls.

GRIDSHIELD: privacy-preserving peer-to-peer energy trading using zero-knowledge proofs and secure multi-party computation to prevent clearing-operator manipulation while enforcing grid constraints.

Study of miscompilation vulnerabilities in production zkVMs SP1 and Jolt: compiler bugs in rustc and LLVM can cause valid zero-knowledge proofs of incorrect computations.

Lean 4 formal proof of soundness for BIP340 batch verification with 128-bit derived randomizers, enabling ~9% speedup in libsecp256k1.

FinalisCore, an open-source Layer-1 protocol in C++, proposes deterministic BFT finality on UTXO architecture with functional transactional privacy; seeking technical review on state transitions and validation rules.

Technical post on variable payout amounts for BABE zero-knowledge proof scheme applied to Lichen, detailing Groth16 verification mechanics and group operations.