Threshold Cryptography Secures Decentralized Location and Query Privacy
New dual-protection framework uses threshold cryptography and token incentives to guarantee provable privacy and timely collaboration in decentralized services.
Zero-Knowledge Proof of Training Secures Decentralized AI Consensus Privacy
The ZKPoT mechanism leverages zk-SNARKs to cryptographically verify model training contribution, solving the privacy-centralization dilemma in decentralized AI.
Active Block Producers Preclude Incentive-Compatible Transaction Fee Mechanisms
An impossibility proof shows no single TFM can align incentives for both users and active MEV-extracting block producers, mandating external design augmentation.
Zero-Knowledge Authenticator Secures Complex Policy Privacy for On-Chain Transactions
Introducing the Zero-Knowledge Authenticator, a new primitive that enables private, complex authentication policies, securing user privacy on public ledgers.
Plonky2 Proves SHA-256 Integrity for Scalable Zero-Knowledge Blockchains
A new Plonky2-based methodology efficiently generates zero-knowledge proofs for SHA-256, solving a core computational integrity bottleneck for scaling ZK-Rollups.
Formal Sidechain Consensus Achieves Provable Safety and Liveness for Scaling
Introducing Cumulus, a formally proven sidechain consensus protocol that uses mainchain smart contracts to enforce block finality, ensuring scalable and secure interoperability.
Formal Verification Secures ZK-Rollup Mechanisms against Centralization and Fund Loss
Applying the Alloy specification language to ZK-Rollup Layer 1 contracts formally verifies critical L2 security mechanisms, mitigating multisig risks and censorship.
Biomimetic Consensus Achieves Asymmetric Sybil Resistance Surpassing Proof-of-Stake Security
Proof-of-Balance, a biomimetic asymmetric Sybil-resistance mechanism, fundamentally redesigns consensus to achieve a four-order-of-magnitude security increase.
Modular SMR Synchronizers Guarantee Provable Liveness in Distributed Consensus
A new SMR synchronizer primitive modularizes liveness mechanisms in Byzantine protocols, enabling provably robust and efficient distributed state consistency.
