Formal validation of proof-of-access architectures for mitigating the blockchain trilemma
摘要
The blockchain trilemma, which is the inherent tension among scalability, security, and decentralization, remains a fundamental obstacle to distributed system adoption. While Arweave’s permanent storage protocol offers a promising foundation, its behavior under dynamic loads and large-scale adversarial conditions lacks rigorous characterization. This work enhances and empirically validates Arweave’s Proof-of-Access (PoA) consensus by augmenting it with a Lyapunov-stable dynamic block sizing mechanism and a Verifiable Delay Function (VDF) for enhanced randomness, while providing the first large-scale analysis of its behavior under adversarial conditions. We prove that the pending transaction queue remains bounded under stochastic arrivals, guaranteeing predictable latency even during flash crowds. Through large-scale simulations scaling to 10,000+ nodes, we demonstrate that PoA maintains a chain quality of 0.83 under 40% Byzantine adversaries: outperforming Bitcoin-NG and Omniledger while achieving Visa-level throughput (162–7,200 TPS) on commodity $300 hardware. Our analysis further quantifies storage efficiency (3,426