国际理论计算机联合大会（International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom，IJTCS-FAW）由北京大学讲席教授邓小铁于2020年牵头发起，第四届于2023年8月14日-18日线下举行。大会由中国计算机学会（CCF）和澳门大学科技学院联合主办，半岛电子(中国) （CSIAM）区块链专委会、北京大学前沿计算研究中心、北京大学人工智能研究院协办。

图灵奖得主、北京大学前沿计算研究中心主任 John Hopcroft 教授任大会主席；澳门大学须成忠教授任大会联合主席；中国工程院院士、北京大学高文教授，中国科学院院士、半岛电子(中国) （CSIAM）理事长、武汉大学张平文教授，中国科学院院士、中国计算机学会（CCF）理事长梅宏教授任顾问委员会主席；中国计算机学会（CCF）理论计算机科学专委会主任、中国科学院计算技术研究所孙晓明研究员，香港城市大学李闽溟教授，澳门大学吴晓伟教授任大会程序委员会主席；半岛电子(中国) （CSIAM）区块链专委会主任、北京大学邓小铁教授，清华大学李建教授，上海财经大学陆品燕教授，香港中文大学（深圳）黄建伟教授，中国科学院张立军教授任指导委员会主席。

本次大会共持续五天，共设有8个Track和5个分论坛。线下会场观众们对论坛报告踊跃提问，与演讲者进行了热烈交流与互动。CSIAM区块链专委会既是这次大会的协办单位，也在大会上有着精彩的表现，以下是详情回顾。

邓小铁教授主题演讲

8月15日，大会指导委员会主席、CSIAM区块链专委会主任、北京大学邓小铁教授在大会区块链论坛上进行主题演讲，介绍了其团队在区块链矿池博弈上的研究。为了保持去中心化，区块链通过设计激励机制来鼓励矿工记录交易，并且使用系统选出书写了正确历史的矿工。然而，单个矿工恰好挖到区块的概率很低，因此矿工往往组成算力巨大的矿池来保证自己获得比较固定的回报。问题在于，当矿池算力过大时，其有动力采取“自私挖矿”的攻击策略，藏起来自己挖到的区块，误导诚实的矿工帮自己挖矿。因此，讲者引入了一种称为“远见挖矿”的策略，通过监视自私挖矿者藏起来的区块长度来站在更高的信息层级，从而保证自己不会受到自私挖矿策略的攻击。讲者证明了在宽松的条件下，远见挖矿的收益总是比自私挖矿更高，并且在矿池算力达到1/3时，远见挖矿的收益会产生巨大的跃升。令人惊奇的是，近年来区块链矿池算力分布的变化确实如同远见挖矿的条件所断言，最大的矿池的算力占比恰好达到1/3。

邓小铁教授进行主题报告

CSIAM区块链分论坛

8月18日，大会“CSIAM区块链”分论坛如期举行。本论坛聚焦于区块链前沿技术与研究，CSIAM区块链专委会委员、北京大学陈钟教授，以及澳门大学王也教授分别介绍了他们的最新成果。

陈钟教授的报告围绕链下存储的数据完整性问题展开。随着区块链应用范围的扩大，人们对链上存储的需求也逐渐增加，链上存储空间如今已远无法满足当前的存储需求。为此，研究者们提出了PDP（Provable Data Possession）链下存储方案，来缓解链上存储空间不足的问题。然而，当前的链下存储协议存在单点故障，存储成本高，无法恢复损坏数据等问题。讲者及其团队设计了多种新型PDP方案来解决这几个问题。讲者首先介绍了一种改进的PDP方案，其不需要密钥管理中心，降低了单点故障的风险。之后，讲者介绍了另一种支持对损坏数据高效定位的PDP方案，降低了存储成本。最后，讲者还介绍了可以同时验证语意一致性和数据完整性的PDP方案，其能够为数据恢复和问责提供有效证据。

陈钟教授作题为《链下存储中的数据完整性保护技术》的报告

王也教授的报告主要探讨了MEV分配不平均问题。在公链系统中，用户的待处理交易通常通过公开的P2P网络进行透明传输，因此攻击者能够通过插入攻击交易和调整交易顺序的方式获利，这称之为MEV（矿工可提取价值）。为了解决这一问题，讲者介绍了私人交易池的概念，即用户直接将交易通过隐私通道发送给验证者，来防止被攻击的风险。然而，完全采取私人交易池并不能达到均衡，这是因为公链系统的出块存在随机性，所以放入私人交易池的交易也存在不能马上上链的风险。为了使用户和矿工的激励与社会最优相一致，讲者提出了一种付费的私人交易池设计方案，即私人交易池的用户对矿工的MEV进行一定的补贴，来达到整个系统的均衡。

王也教授作题为《公链系统中的分配问题，MEV和隐私交易》的报告

学会区块链专委会供稿