Proof of Quantum Work Secures Blockchain against Classical Intractability
A new consensus mechanism leverages quantum supremacy to create energy-efficient, classically intractable proof-of-work, fundamentally securing the next generation of decentralized systems.
Decentralized Proofs of Encrypted Web Facts without Revealing Underlying Data
DiStefano uses Two-Party Computation within TLS 1.3 to secret-share session keys, enabling zero-knowledge proofs over encrypted web data for private verification.
Validated Strong Consensus Enables Efficient Asynchronous Leader-Based Blockchain State Replication
A new validated strong BFT model allows asynchronous blockchains to use leader-based coordination, achieving HotStuff-level efficiency and linear view changes.
Cryptographic Zk-Agreements Establish Private Deterministic Trust on Blockchains
The zk-agreements protocol uses Zero-Knowledge Proofs and MPC to finally secure confidential legal contracts on public ledgers, unlocking enterprise adoption.
Adaptive Sharding and ZKPs Solve Scalability, Security, and Privacy Tradeoffs
A novel model integrates ZKPs and adaptive sharding, formally verified by TLA+, to achieve a resilient, high-throughput, and private blockchain architecture.
Formalizing Proposer-Builder Separation Guarantees Credibly Neutral Transaction Ordering
The introduction of a two-stage commit-reveal protocol for block construction cryptographically enforces builder neutrality, eliminating the proposer's censorship vector.
