Off-Chain Influence Proofness Secures Transaction Fee Mechanism Design
Introducing "Off-Chain Influence Proofness," a new desideratum proving that EIP-1559 enables miner censorship threats, which a Cryptographic Second Price Auction can mitigate.
Formal MEV Theory Enables Provable Security against Transaction Reordering Attacks
A formal, abstract MEV theory rigorously defines adversarial gain via knowledge axiomatization, enabling proofs of smart contract security.
Zero-Knowledge Proof of Training Secures Decentralized AI Consensus
A new Zero-Knowledge Proof of Training (ZKPoT) consensus mechanism leverages zk-SNARKs to cryptographically verify model performance, eliminating Proof-of-Stake centralization and preserving data privacy in decentralized machine learning.
Formalizing MEV for Provably Secure Blockchain Design
A new formal theory of Maximal Extractable Value provides foundational tools for designing blockchains resilient to economic manipulation.
Formalizing Universal Maximal Extractable Value for Blockchain Security
This research establishes a rigorous, universal definition of Maximal Extractable Value, quantifying maximum adversarial gain to fortify blockchain security.
Universal MEV Formalization Provides Game-Theoretic Framework for Blockchain Security
This research introduces a rigorous, game-theoretic framework for Universal MEV, enabling formal analysis of contract vulnerabilities and advancing blockchain security.
Willchain: Secure, Private, Self-Executing Digital Estate Planning
Willchain introduces a decentralized protocol for digital estate planning, leveraging novel cryptographic primitives to ensure private, self-executing asset distribution without fund movement.
AI Enhances Oracle Reliability, Not Eliminates Trust
AI techniques can augment blockchain oracle systems by improving data quality and resilience, but they cannot fundamentally resolve the inherent trust problem of off-chain data integration.
Formalizing MEV Theory for Enhanced Blockchain Security and Decentralization
This research establishes a formal theory of Maximal Extractable Value (MEV), providing a foundational model to prove security against economic attacks that undermine blockchain integrity.
