Fully Homomorphic Encryption Enables Confidential On-Chain Shared State
FHE allows arbitrary computation directly on encrypted blockchain state, fundamentally solving the transparency paradox for shared private data.
Cornucopia: Accumulators and VDFs Secure Scalable Decentralized Randomness Beacons
This new Cornucopia framework combines Verifiable Delay Functions with accumulators to create a scalable, bias-resistant randomness beacon secure with only one honest participant.
Resumable Zero-Knowledge Proofs Drastically Cut Sequential Verification Cost
A new cryptographic primitive, resumable ZKPoK, enables sequential proof sessions to be exponentially cheaper, unlocking efficient stateful post-quantum cryptography.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Learning
ZKPoT consensus verifiably proves model contribution quality via zk-SNARKs, fundamentally securing private, scalable decentralized AI.
Sublinear Vector Commitments Achieve Optimal Stateless Client Update Efficiency
A new vector commitment scheme achieves sublinear complexity for both global update size and local proof updates, solving the stateless client efficiency trade-off.
Off-Chain Influence Proofness Establishes New Fair Transaction Mechanism Desideratum
A new economic primitive, Off-Chain Influence Proofness, reveals EIP-1559's vulnerability to miner censorship, mandating cryptographic auction adoption.
Incremental Proofs Maintain Constant-Size Sequential Work for Continuous Verification
This new cryptographic primitive enables constant-size proofs for arbitrarily long sequential computations, fundamentally solving the accumulated overhead problem for VDFs.
Sublinear Prover PlonK Cuts Verifiable Computation Cost by Proving Active Circuits
SublonK introduces a novel SNARK prover whose runtime scales only with the active circuit, fundamentally optimizing large-scale verifiable computation.
Deterministic Causal Structure Decouples Ledger Correctness from Ordering Policy
This theory introduces a Deterministic Causal Structure (DCS) where the ledger is a policy-agnostic DAG, resolving the entanglement of correctness and ordering.
