Dynamic Noisy Functional Encryption Secures Private Machine Learning
A novel dynamic multi-client functional encryption scheme, DyNMCFE, enables efficient, differentially private computations on encrypted data, advancing secure machine learning.
Formalizing MEV: Rigorous Model for Blockchain Economic Security
This research establishes a foundational theory of Maximal Extractable Value, enabling provable security against economic attacks in decentralized systems.
Algebraic Verifiable Delay Functions Vulnerable to Parallel Computation
Cryptanalysis reveals fundamental flaws in algebraic Verifiable Delay Functions, demonstrating parallel computation can bypass intended sequential delays, necessitating new secure designs.
NFT-Authenticated DAOs: Private Governance via Punishment, Not Reward
Dual-NFT DAOs achieve private, accountable governance via reputational penalties, shifting from financial rewards for sustainable decentralized systems.
Decentralized Zero-Knowledge Proving Democratizes Scalable, Private Computation
A novel decentralized prover network and general-purpose zero-knowledge virtual machine simplify ZKP generation, accelerating privacy-preserving blockchain and off-chain applications.
Decentralized Zero-Knowledge Proving Transforms Verifiable Computation Infrastructure
A novel zero-knowledge virtual machine and decentralized prover network democratize cryptographic verification, enabling scalable, trustless computation across diverse applications.
Lagrange Enables Verifiable Computation across Blockchains and AI with ZKPs
Lagrange introduces a novel framework for decentralized, verifiable off-chain computation, integrating zero-knowledge proofs to secure complex cross-chain data queries and AI model integrity.
Game Theory Reveals Incentive-Driven Vulnerabilities in Blockchain Robustness.
This research unifies distributed systems and game theory to expose how rational validator incentives compromise Ethereum Proof-of-Stake safety and liveness, paving the way for resilient protocol design.
Formal Methods Advance Blockchain Reliability and Security
This survey consolidates formal methods, providing a robust framework for verifying blockchain correctness, reliability, and security.
