Zero-Knowledge Proof of Training Secures Private Federated Consensus
A novel Zero-Knowledge Proof of Training (ZKPoT) mechanism leverages zk-SNARKs to validate machine learning contributions privately, enabling a scalable, decentralized AI framework.
Adaptive Byzantine Agreement Reduces Communication Complexity Based on Actual Faults
A new synchronous protocol achieves adaptive word complexity in Byzantine Agreement, scaling communication with actual faults to unlock efficient, fault-tolerant consensus.
Eliminating Prime Hashing Makes RSA Accumulators Viable for Decentralized Systems
This new RSA accumulator construction bypasses the slow "hashing into primes" bottleneck, fundamentally enabling succinct, dynamic, and practical set membership proofs on-chain.
Horizontally Scalable zkSNARKs via Proof Aggregation Framework
This framework achieves horizontal zkSNARK scalability by distributing large computations for parallel proving, then aggregating results into a single succinct proof.
Application-Layer Mechanism Design Eliminates MEV Guaranteeing Provable Strategy Proofness
Research shifts MEV mitigation from consensus to smart contracts, using batch processing and a potential function to ensure arbitrage resilience and fairer DeFi markets.
Secure Sharding Consensus Pattern Dramatically Scales Throughput with Optimized Overhead
Kronos introduces a buffer-based sharding consensus pattern, provably achieving cross-shard atomicity and $12times$ throughput for next-generation scalable architectures.
LLMs Automate Property Generation, Resolving the Smart Contract Verification Bottleneck
A retrieval-augmented LLM framework automatically generates formal properties, drastically improving the scalability and security assurance of smart contracts.
Wakeness Vectors Secure Proof-of-Stake against Fully-Fluctuating Node Participation
Wakeness vectors enable Proof-of-Stake protocols to securely handle arbitrary node participation fluctuations, rivaling Proof-of-Work robustness.
Sublinear Space ZK Proofs Democratize Verifiable Computation at Scale
A new streaming prover reduces ZKP memory from linear to square-root scaling, enabling verifiable computation on resource-constrained edge devices.
