Formal Framework Exposes Restaking Protocol Sybil Attack Vulnerabilities
A new formal framework proves restaking's Sybil resistance is compromised by partial slashing rules, necessitating refined economic security models.
Supervised Decentralized Identity Balances Anonymity, Revocability, and Regulatory Oversight
A novel DID framework integrates dynamic accumulators and zero-knowledge proofs to enable regulatory oversight and credential revocation without sacrificing user privacy.
Mechanism Design Establishes Truthful Equilibrium in Blockchain Consensus
Applying game theory's revelation mechanisms directly to consensus disputes creates a unique, subgame perfect equilibrium that structurally compels truthful block validation.
ZKPoT Secures Federated Learning Consensus with Private Model Validation
The Zero-Knowledge Proof of Training (ZKPoT) mechanism utilizes zk-SNARKs to cryptographically verify the integrity and performance of private machine learning models, resolving the privacy-efficiency trade-off in decentralized AI.
Establish a Randomness Trilemma for Adaptive Secure Consensus Protocols
A new theoretical trilemma proves Byzantine consensus cannot be simultaneously efficient, adaptively secure, and consume minimal public randomness.
Zero-Knowledge Proof of Training Secures Federated Consensus
The Zero-Knowledge Proof of Training consensus mechanism uses zk-SNARKs to prove model performance without revealing private data, solving the privacy-utility conflict in decentralized computation.
Efficient Commit-and-Prove SNARKs for Practical Zero-Knowledge Machine Learning
Artemis introduces novel Commit-and-Prove SNARKs, drastically reducing commitment verification overhead in zkML to enable scalable, trustworthy AI applications.
Smallest Collusions Define Transaction Fee Mechanism Vulnerability
This research reveals that if a blockchain's transaction fee mechanism can be exploited by a two-party collusion, it is inherently vulnerable to any larger collusive group, simplifying security analysis.
Dual-Proof Rollups Enable Configurable Cost-Finality Trade-Offs
This research pioneers a dual-proof rollup system, integrating ZK-STARKs and TEEs to deliver configurable finality and flexible security-cost trade-offs for Layer 2 solutions.
