日程

我将对如何将元胞自动机和相关系统用于实现分布式共识进行展望，包括从探索简单程序的计算领域以及我们最近的 Wolfram 物理项目中学到的特定结果和一般原理。我还将概述历史上已采纳的方向，重点介绍与不同有趣领域和方法的关联。隐藏详细...

我将讨论如何将元胞自动机网络用作大规模区块链系统的共识算法。演讲的重点将放在算法背后的理论，将算法应用于现实世界系统时面临的理论和工程挑战，在出现恶意行为者的情况下算法的安全性以及我们的实际解决方案。隐藏详细...

作为范式分布式计算系统，元胞自动机构成了合适的测试平台，用于探查针对达成共识而定义的决策问题的解决方案。演讲将回顾有关该内容中两个基准问题的各种结果，即密度和奇偶校验确定。隐藏详细...

去中心化存储系统的设计包括数据冗余机制和激励机制，以便提供可靠的服务。本演讲将讨论我们如何从蜂窝自动机中汲取灵感，以基准化各种冗余机制，同时考虑这些复杂网络的动态性。然后，我将概述前期有关可用性和完整性机制相交的工作，以及使用元胞自动机对激励机制进行基准测试所面临的挑战。隐藏详细...

如果允许一个以上规则，则可以使用元胞自动机解决诸如密度分类问题之类的决策问题。这样的解决方案利用了在某些元胞自动机中发生的相变或分叉。我们将在一维二进制元胞自动机中回顾此类跃迁的基本性质，并讨论其在解决状态数更多，维数更大的分类问题中的潜在应用。隐藏详细...

任何分布式账本技术都允许节点决定将哪些信息包含在永久账本中以及拒绝哪些信息。我将讨论如何通过可以通过概率元胞自动机建模和理解的投票协议来达成这样的二元决策。隐藏详细...

在概述有关元胞自动机中信息存储和可靠计算的可能性的主要结果后，我们将集中讨论异步更新带来的挑战。隐藏详细...

设想一个以网络节点表示的个体社会，每个个体都有两种以上可能的观点，这些观点根据当地多数规则发展（同步或异步）。我们研究了这种动态系统的性质和复杂性。首先，我们表明可以定义每个网络配置上的能量函数，该函数随时间的推移不会增加，证明多数动态的吸引子是第二阶段的固定点或极限环。然后，讨论在何种条件下可以预测个人意见的变化。具体而言，我们将分析网络拓扑对给定时间步长状态计算的计算复杂度的影响。这些研究在 Pedro Montealegre 的帮助下完成。隐藏详细...

在该演讲中，Emin Gün Sirer教授将分享关于区块链、去中心化金融和数字资产的前沿观点。他将介绍当今的区块链状况，以及这些技术的巨大潜力。隐藏详细...

我们推出了基于Ouroboros权益证明区块链协议家族的新权益程序。这种新的放样程序增强了基础协议的安全性，同时在无许可动态可用性设置中稳定了区块时间间隔。自动机模型用于计算"无利益攻击（ nothing-at-stake）"的对抗优势，在适当的协议参数下展现出严格约束的分支链增长。该演讲将提供分析和实证结果，首次展示链增长的非线性趋势，该趋势有利于诚实的多数权益。隐藏详细...