Rationals vs Byzantines in Consensus-based Blockchains
France
在本文中，我们从博弈论的角度分析拜占庭容错区块链，当过程表现出理性或拜占庭行为时。我们的工作是第一个将基于拜占庭共识的区块链建模为委员会协调博弈的模型。我们的第一个贡献是提供一种游戏理论方法来分析拜占庭和理性委员会成员之间在拜占庭容错区块链中的均衡相互作用。拜占庭过程试图对系统造成最大的破坏，而理性过程最好地响应以最大化其预期的净收益。我们的第二个贡献是得出满足或不满足共识属性的条件。当多数阈值低于拜占庭过程的比例时，无效块在均衡中被接受。当多数阈值很大时，均衡可能涉及协调失败，其中不会接受任何阻止。然而，当接受无效块的成本很大时，如果它们是有效的，则存在接受块的均衡。
Probabilistic Smart Contracts: Secure Randomness on the Blockchain
IST Austria & Sharif University of Technology， Iran
在今天的可编程区块链中，智能合约仅限于确定性和非概率性。考虑到各种各样的现实金融合同（如赌场游戏和彩票）完全取决于随机性，这种随机性的缺乏是一个相应的限制。结果，已经开发了几种用于智能合约的特别随机数生成方法。这些包括诸如使用oracle或依赖于块哈希的想法。然而，这些方法是可操纵的，即它们的输出可能被可能不是中立的方（例如oracle的所有者或矿工）篡改。我们提出了一种新颖的博弈论方法，用于在区块链上生成可证明不可操作的伪随机数。我们的方法允许智能合约获得可信赖的随机性来源，而不依赖于潜在受损的矿工或神谕，因此可以创建新一代的智能合约，这些合同不仅限于非概率性，而且可以从中获取更一般的概率课程