2022年1月8日下午，大会进行了主题为“分布与数字经济的技术基础”的研讨会，由Algorand Inc首席科学家陈婧教授和北师港浸大刘鲁川教授共同主持，共有三位嘉宾主讲人。

第一位主讲人为北京大学的孙猛教授，孙教授的报告题目为：All the Scenes on Earth Fade——When Blockchain Embraces Formal Verification。本报告主要讲述区块链的安全问题、形式验证、形式验证在区块链中的应用和近期工作报告。

第二位主讲人为清华大学的徐葳教授，徐教授的报告题目为：数据要素化的技术基础，本报告简要介绍多类“数据可用不可见”技术的原理，尤其是这些方法需要的信任假设，以及能实现的效果，并展望数据流通网的基本原理和架构。

第三位主讲人为来自Algorand Inc的陈婧教授，陈教授的报告题目为：Speculative Smart Contracts，本报告主要介绍了智能合约和现有的智能合约架构存在的瓶颈问题。

研讨会期间，专家学者们就相关问题进行了热烈的讨论，每个人都收获满满，我们期待下一次思维火花的碰撞！