国际理论计算机联合大会（International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom，IJTCS-FAW）由北京大学讲席教授邓小铁于2020年牵头发起，第三届于2022年8月15日-19日线上线下交互举行。大会由中国计算机学会（CCF）、国际计算机学会中国委员会（ACM China Council）联合主办，香港城市大学（CityU）承办，9728太阳集团（CSIAM）区块链专委会、北京大学前沿计算研究中心、北京大学人工智能研究院协办。

图灵奖得主、北京大学前沿计算研究中心主任 John Hopcroft 教授任大会主席；香港科技大学郑绍荣教授任大会联合主席；中国工程院院士、北京大学高文教授，中国科学院院士、9728太阳集团（CSIAM）理事长、北京大学张平文教授，中国科学院院士、中国计算机学会（CCF）理事长梅宏教授任顾问委员会主席；中国计算机学会（CCF）理论计算机科学专委会主任、中国科学院计算技术研究所孙晓明研究员，香港城市大学李闽溟教授任大会程序委员会主席；9728太阳集团（CSIAM）区块链专委会主任、北京大学邓小铁教授，上海财经大学陆品燕教授，清华大学李建教授任指导委员会主席。

本次大会共持续五天，在多个线上平台进行了每天14小时的全程同步直播，全网累计超过万余人次观看，线下会场和线上直播间的观众们对报告踊跃提问，与演讲者进行了热烈交流与互动。CSIAM区块链专委会既是这次大会的协办单位，也在大会上有着精彩的表现，以下是详情回顾。

邓小铁教授开幕式致辞

大会首日，开幕式在线上线下共同举行。大会指导委员会主席、CSIAM区块链专委会主任、北京大学邓小铁教授在开幕式上进行致辞。他对大会能够持续举办表示欣喜，并对第三届 IJTCS-FAW 提出了期望：为国内理论计算机领域的专家学者和广大同学老师们提供完善和多样化的交流、学习平台，让中国理论计算机学术会议和中国理论计算机领域的科学家们朝着国际一流的方向发展。

CSIAM区块链分论坛

8月19日，大会“CSIAM区块链”分论坛如期举行，由CSIAM区块链专委会副秘书长、苏州科技大学教授程郁琨和上海交通大学博士研究生张梦倩共同主持。本论坛聚焦于区块链前沿技术，澳大利亚莫纳什大学（Monash University）于江山副教授和南京邮电大学王化群教授分别介绍了他们的最新成果。

于江山副教授的报告围绕共识协议展开。在区块链中，由于网络延迟和恶意节点的存在，不同节点接收到的交易顺序可能不同，尤其是当双花情况出现时，如何达成共识是一个关键的问题。为了解决此问题，讲者提出了一个新的共识协议Damysus，该协议将HotStuff与Hybrid BFT方法相结合，在保证线性通信复杂的同时，进一步提升了安全性和效率。具体来说，Damysus借助Checker和Accumulator两个可信硬件，将容错性从1/3提升到1/2、通信轮数从8减少到6。

于江山副教授作题为《DAMYSUS: Streamlined BFT Consensus Leveraging Trusted Components》的报告

王化群教授的报告围绕可证数据持有（Provable Data Possession，PDP）展开。PDP是在云存储中证明用户数据正确性、完整性的重要方式，它采用概率检测模型，用户仅需持有少量的元数据即可检查存储在云端的数据是否完整。在该报告中，讲者指出现有PDP设计存在空间和时间开销大、对大文件不适用的缺陷，并进一步提出用基于区块链的PDP方案来解决这一问题。该方案由用户、云服务器、区块链、系统管理员四个实体构成，具体实现包括六个阶段，具备不可伪造和正确性等性质。同时讲者展示了这一新方案的性能测试结果：实验表明，该方案的数据冗余远小于其他现有方案。

王化群教授作题为《Blockchain-Based Private Provable Data Possession》的报告

学会区块链专委会供稿