Incremental Vector Commitments Enable Practical Trustless AI Model Verification
We introduce Incremental Vector Commitments, a new primitive that decouples LLM size from ZK-proving cost, unlocking verifiable AI inference.
Decoupled Vector Commitments Enable Sublinear Stateless Client Verification
A new Decoupled Vector Commitment primitive fundamentally lowers client verification cost from linear to sublinear time, enabling true stateless decentralization.
Adaptive Hybrid Consensus Dynamically Optimizes Security, Latency, and Throughput
AHC dynamically blends PoW, PoS, and BFT elements, creating a self-tuning consensus mechanism that resolves the static trade-offs of the trilemma.
Mechanism Design Characterizes Decentralized Verifiable Computation Incentives
This research fundamentally characterizes incentive mechanisms for verifiable computation, balancing decentralization against execution efficiency in strategic environments.
Quadratic BFT Consensus Achieves Optimal Communication Complexity
SQuad introduces RareSync, a novel view synchronization primitive that reduces partially synchronous BFT communication complexity to the theoretical quadratic minimum.
Formal Security Comparison Reveals Proof-of-Stake Safety-Liveness Trade-Off
Formal security analysis confirms PoW's strong guarantees, necessitating hybrid PoS designs to balance safety and liveness trade-offs.
PANDAS Protocol Secures Scalable Data Availability Sampling against Latency
PANDAS, a novel two-phase network protocol, leverages direct communication and PBS to meet the stringent 4-second deadline for large-scale data availability sampling.
Verifiable Entropy Functions Secure Optimal Decentralized Randomness Extraction
The Verifiable Entropy Function, a new primitive, guarantees maximal unbiased randomness from distributed inputs, fundamentally securing Proof-of-Stake consensus.
Secure Sidechain Architecture Boosts Decentralized Resource Market Performance
A novel sidechain architecture introduces mutual-dependence with the mainchain to offload resource market operations, fundamentally enhancing throughput and data efficiency.
