A Composable Game-Theoretic Framework for Blockchains
创建于 更新于
摘要
本论文提出了首个可组合的区块链博弈论框架，通过模型化应用层、网络层和共识层之间的交互博弈，实现跨层激励兼容性分析。框架通过参数化应用博弈、区块链博弈及网络博弈，以及跨层和跨应用可组合性，捕捉复杂多协议并发执行下的激励动态，有效揭示了现有层级单一分析难以发现的安全漏洞，并支持模块化安全证明和改进设计[page::0][page::1][page::4][page::5][page::11]。
