"区块链前沿技术"介绍
区块链是新一代信息技术的重要组成部分，是分布式网络、加密技术、智能合约等多种技术集成的新型数据库软件。过去的十多年，区块链技术在全球范围内产生广泛影响。如今的区块链技术，已从最初的关注于解决货币和支付的去中心化问题，转入到解决市场的去中心化问题。智能合约的出现使得基于区块链技术的去中心化金融进入高速发展状态。本论坛将从公有链的提速降费、BFT共识机制设计以及密态计算理论三个主题介绍区块链的公有链，共识机制以及背后的密码学。
分论坛主席
个人简介
程郁琨，博士，硕士生导师，苏州科技大学教授，人文社科处副处长。IEEE Open Journal of Computer Society，《运筹学学报》等期刊编委，中国运筹学会副秘书长；中国运筹学会博弈论分会理事，副秘书长；中国运筹学会数学规划分会青年理事；江苏省运筹学会理事，中国工业与应用数学区块链专委会委员，副秘书长。主要研究领域为信息经济学、算法博弈论、区块链技术与应用等。2010-2013年期间，在浙江大学从事博士后研究工作。2012-2013年，获国家留学基金委资助赴澳大利亚墨尔本大学访问。作为项目主持人，曾主持国家科学技术学术著作出版基金1项，国家自然科学基金项目3项，省部级项目1项。在IJCAI、AAMAS、ICDCS、WIME、FC、TCS等国际主流期刊和顶级会议上发表学术论文50余篇。获得2020年江苏省高校“青蓝工程”中青年学术带头人、2019年江苏省高校“青蓝工程”优秀青年骨干教师等项目资助。获得2017年江苏省高等学校微课教学比赛二等奖，2018年江苏省本科高校青年教师教学竞赛二等奖。
个人简介
徐大川，北京工业大学理学部运筹学与控制论责任教授，数学/统计学博士生导师。北京工业大学区块链研究中心副主任。2002年于中国科学院数学与系统科学研究院获得博士学位。研究兴趣包括：机器学习与优化，近似算法等。中国运筹学会数学规划分会理事长，中国运筹学会宣传工作委员会主任，北京运筹学会副理事长。《Asia-Pacific Journal of Operational Research》、《Applied Mathematics and Computation》、《Journal of the Operations Research Society of China》、《Discrete Mathematics, Algorithms and Applications》、《Statistics, Optimization and Information Computing》、《运筹与管理》编委，《Algorithmica》、《Journal of Combinatorial Optimization》客座编委。ISMP 2022组委会秘书长，COCOA 21，COCOON 17程序委员会主席, LOD 20, AAIM 20，LION 14程序委员会委员。曾获得中国运筹学会青年论文奖一等奖、中国运筹学会运筹新人奖。主持国家自然科学基金青年基金1项、面上项目4项、天元基金1项、重点项目子课题1项、重点项目1项。出版学术专著1部，在《Mathematical Programming》、《Operations Research》、《INFORMS Journal on Computing》、《Algorithmica》等发表学术论文100余篇。
分论坛报告简介
个人简介
杨光，现任上海树图区块链研究院研究总监。本科毕业于清华大学计算机科学实验班（姚班），2016 年 1 月于清华大学交叉信息研究院获得计算机科学博士学位，并于 2018 年获得中国密码学会优秀博士学位论文奖。主要研究方向包括计算复杂性、密码学、博弈论和区块链等，已在 CRYPTO, TCC, ICALP, SAGT 等理论计算机、密码学和博弈论的会议发表了十余篇论文。杨光在区块链方面的主要研究成果包括对于树图（Conflux）区块链共识协议的性能优化和安全性证明等。
报告题目
公有链的提速降费之路
摘要：现代区块链采用去中心化的管理方式，使其作为一个集体维护的分布式数据库具有了不可篡改、全程留痕、可以追溯、公开透明等优点。基于区块链技术构建的可信数据平台，在政务、金融、法务、教育以及工业生产等重要领域有着广阔的应用前景。美中不足的是，以比特币和以太坊为代表的公有区块链系统的核心共识算法相当简陋，在性能方面有明显的短板，无法满足大规模实际应用的需求。树图区块链（Conflux）采用了基于树图的账本结构和独创的共识算法，在不采用分片等第二层扩容技术的前提下，实现了安全性和活性的平衡，大幅度提高了区块链的吞吐量和交易的确认速度。
个人简介
刘西蒙，2015年毕业于西安电子科技大学，获军事学博士学位。2015至2019年在新加坡管理大学从事博士后研究，于2018年在福州大学担任研究员，并担任网络系统信息安全福建省高校重点实验室主任，计算机与大数据学院院长助理。荣获得福建省“闽江学者”特聘教授（2018）、福建省“雏鹰计划”青年拔尖人才（2021），福建省“百千万人才”省级人选（2021），福建省“杰出青年”科学基金项目获得者（2021-2024），福州大学“旗山学者”（海外计划）奖励。致力于密态计算理论研究，主要研究成果包括：密态计算的隐私保护框架；通用、可扩展的广义隐私索引新模式；密态数据挖掘系统。共发表论文100余篇，包括计算机领域顶级期刊/会议（CCF-A类）论文 30 余篇。2016-2018 年六度获得SCI期刊“杰出审稿人”表彰。先后承担包括国家自然科学基金面上项目、青年项目主持人，国家自然科学基金重点项目福大子课题负责人。相关工作得到了多位加拿大、新加坡科学院院士、IEEE/ACM Fellow的正面引用和好评。目前担任 4个国际期刊编辑，3个SCI 国际期刊牵头客座编辑, 先后担任 12 个国际会议的程序委员会委员。
报告题目
密态计算理论与应用
摘要：伴随《网络安全法》、《数据安全法》、《个人信息保护法》的出台，数据安全备受关注。数据外包计算作为大数据分析提供了优势，但个人信息没有任何安全和隐私保证。本次报告将提供一个平衡效率和安全性的新密态计算框架。新框架可用于为实际应用构建安全的外包数据挖掘分析，实现密态数据的“存-搜-用”的新模式。例如电子医疗、远程身份验证。
个人简介
Dr. Jiangshan Yu is a 2021 ARC DECRA Fellow and Senior Lecturer (~US Associate Professor) at Monash University. He also serves as Associate Director (Research) at Monash Blockchain Technology Centre. He is a member of the Scientific Advisory Board for Austrian Blockchain Center (Austria), and an elected member of the IFIP 10.4 Working Group on Dependable Computing and Fault Tolerance. His research interests are in the broad area of cybersecurity and applied cryptography, with a current focus on blockchain systems. The impact of his research includes identified critical vulnerabilities and recommended (and adopted) fixes in several deployed blockchains and their applications (with a total market cap of over AU$30 billion). The importance and impact of his research have been recognized by the Australian Government’s National Blockchain Roadmap as an example of the world-leading blockchain research activities in Australia. He is also a recipient of several competitive awards, such as ARC DECRA (2021-2023) and the IBM Academic Award (2020), and Dean’s Research Impact Award at Monash (2019).
报告题目
DAMYSUS: Streamlined BFT Consensus Leveraging Trusted Components
摘要：Recently, streamlined BFT consensus protocols, such as HotStuff, have been proposed as a means to circumvent the inefficient view-changes of traditional BFT protocols, such as PBFT. Several works have detailed trusted components, and BFT protocols that leverage them to tolerate a minority of faulty nodes and use a reduced number of communication rounds. Inspired by these works we identify two basic trusted services, respectively called the Checker and Accumulator services, which can be leveraged by streamlined protocols. Based on these services, we design Damysus, a streamlined protocol that improves upon HotStuff’s resilience and uses less communication rounds. In addition, we show how the Checker and Accumulator services can be adapted to develop Chained-Damysus, a chained version of Damysus where operations are pipelined for efficiency. We prove the correctness of Damysus and Chained-Damysus, and evaluate their performance showcasing their superiority compared to previous protocols.
区块链专委会介绍
中国工业与应用数学学会区块链专业委员会（CSIAM Activity Group on Blockchain）正式成立于2020年5月28日，专委会秘书处挂靠于湖南天河国云科技有限公司，首届主任为邓小铁（欧洲科学院院士、北京大学教授）。专委会成员包括从事数学、密码学、计算机科学、网络安全、人工智能等区块链相关学科的科学工作者、从事区块链相关产业的工程技术人员以及管理人员、有关事业与政府单位的党政管理人员等。专委会秉承数学技术与实际应用相结合，突出区块链基础科学问题的特色开展活动。成立至今，CSIAM区块链专委会已举办9次高端学术会议，促进了区块链领域研究人员的沟通交流。
会议委员会
大会主席：
邓小铁（北京大学，教授）
李国俊（北京工业大学，研究员）
汪寿阳（中国科学院数学与系统科学研究院，研究员）
程序委员会主席：
程郁琨（苏州科技大学，教授）
李健（北京工业大学，教授）
杨征（CSIAM区块链专委会，秘书长）
程序委员会委员：
陈爱平（四川氢太能源科技有限公司，副总裁）
程杰仁（海南大学，教授）
高承实（上海散列信息科技合伙企业，合伙人）
李泉林（北京工业大学，教授）
刘超（北京工业大学，教授）
谭林（湖南天河国云，董事长）
吴震（中国互联网协会数字金融工作委员会，秘书长）
徐大川（北京工业大学，教授）
杨震（北京工业大学，教授）
朱岩（北京科技大学，教授）
分论坛主席：
程杰仁（海南大学，教授）
程郁琨（苏州科技大学，教授）
高承实（上海散列信息科技合伙企业，合伙人）
何德彪（武汉大学，教授）
黄志清（北京工业大学，副教授）
李健（北京工业大学，教授）
马静宇（徐州工程学院，副教授）
徐大川（北京工业大学，教授）
杨征（CSIAM区块链专委会，秘书长）
张梦倩（上海交通大学，博士研究生）
组织委员会主席：
刘会政（北京工业大学，经管学院副院长）
张文（北京工业大学，教授）
吴双（北京大学，科研助理）
组织委员会委员：
董雪璠（北京工业大学，讲师）
李永武（北京工业大学，教授）
夏兵（北京工业大学，讲师）
会务组成员：
薄俊鹏（北京工业大学，硕士研究生）
黄靖雯（北京工业大学，硕士研究生）
李瑞（北京工业大学，硕士研究生）
石浩（北京工业大学，硕士研究生）
孙雅南（北京工业大学，硕士研究生）
王亚静（北京工业大学，博士研究生）
王欢（北京工业大学，博士研究生）
王立静（北京工业大学，硕士研究生）
王宝玲（北京工业大学，硕士研究生）
闫鑫（北京工业大学，博士研究生）
闫绍山（北京工业大学，博士研究生）
杨家敏（北京工业大学，硕士研究生）
张梦倩（上海交通大学，博士研究生）
朱士超（北京工业大学，博士研究生）
