Greyhound Achieves Post-Quantum Polynomial Commitments with Unprecedented Efficiency
A new lattice-based polynomial commitment scheme, Greyhound, delivers post-quantum security and 8000X smaller proofs, unlocking scalable verifiable computation.
Threshold Cryptography and Blockchain Secure Collaborative Location Query Privacy
A new framework uses threshold cryptography and tokenized smart contracts to enforce collaborative trust, solving the dual location and query privacy problem.
Delegated State Proofs Secure Liquid Staking without Full Node Trust
Delegated State Proofs introduce a cryptographic mechanism for LSDs to securely attest to underlying finality, mitigating systemic de-pegging risk.
Proof of Quantum Work Enables Energy-Efficient Quantum-Secured Consensus
A new consensus primitive, Proof of Quantum Work, leverages quantum supremacy for hashing, achieving quantum-secure finality and a projected 1,000x energy reduction.
Bayesian Mechanism Breaks Zero-Revenue Barrier for Collusion-Proof Fees
By shifting to a Bayesian-Nash model, a novel auxiliary mechanism achieves collusion-proofness and constant-factor optimal miner revenue.
Succinct Accumulator Lower Bound Imposes Fundamental Stateless Client Efficiency Limits
Foundational proof establishes a super-linear lower bound on total witness updates for succinct accumulators, limiting stateless client scalability.
Revelation Mechanisms Enforce Truthful Staking Equilibrium for Consensus Security
Mechanism design introduces revelation games to Proof-of-Stake, ensuring validator honesty as the unique subgame perfect equilibrium for robust consensus.
Ring Learning with Rounding Unlocks Efficient Post-Quantum Zero-Knowledge
A new ZKP of Knowledge based on the Ring Learning with Rounding assumption delivers post-quantum security with drastically reduced proof size and verification latency.
PANDAS Enables Data Availability Sampling within Four-Second Consensus Deadlines
PANDAS introduces an adaptive peer-to-peer layer to securely disseminate sharded data, solving the latency challenge for scalable layer-two throughput.
