<h3> 由清华大学交叉信息研究院、康奈尔大学与西安高新区共同主办，交叉信息核心技术研究院承办的2018第三届区块链国际研讨会于12月10日-14日在西安举行。13日-14日，作为2018第三届区块链国际研讨会系列活动之一，关于区块链的报告是本届研讨会的一大亮点，来自国际国内区块链技术领域的专家、学者、创投人和行业机构共同讨论了区块链话题。</h3> <h3> 当区块链的泡沫过去之后，学术界依然在不倦地研究和优化区块链中的各种问题。这两天报告的话题主要集中在：经济学视角下的区块链、区块链共识机制、基于密码学的区块链新工具、智能合约安全性的自动化检查等话题的研究和讨论。</h3> <h3> <b>Jacob Leshno</b>在《比特币系统的经济学分析》中，介绍了将比特币建模成用户和矿工的平台，分析矿工费和等待时间的关系，并对比比特币平台与传统支付平台的模型。</h3> <h3><b> Joe Bonneau</b>在《贿赂矿工与中本聪共识》从经济学的视角，分析中本聪共识中的矿工行为。报告指出，市场效应低时，会有贿赂矿工问题，市场效应高时，会有“金手指问题”。</h3> <h3><b> Jiasun Li</b>在《中心化矿池的去中心化挖矿<b>》</b>研究了矿工选择矿池过程的经济学分析。矿池之间的差异和矿池费，以及矿工的行为，最终会导致算力不会过于集中在一个矿池。</h3> <h3><b> Fan Long</b>的《将中本聪共识扩展到每秒1000笔交易》介绍了 Conflux: 一种基于有向无环图模型的公链协议。实验表示 Conflux 具有良好的运行效率与安全性。</h3> <h3><b> Rafael Pass</b>在《零星网络分裂下的共识》报告中提出了一种协议，无需所有共识节点在全部时间都参与共识。协议安全性只依赖于参与共识节点的诚实者比例。</h3> <h3><b> Yue Guo</b>的《可能的网络分裂下的同步》报告分析了同步网络和非同步网络的优劣，并提出了让 Thunder 协议在网络分裂下可以正确运行的方案。</h3> <h3><b> Patrick Mccorry</b>在《通过状态通道扩展加密数字货币》报告中讲述了利用状态通道解决区块链扩展性的问题，对状态通道要求的用户保持定期在线的问题，提出了基于第三方的方案。</h3> <h3><b> Ted Yin</b>在《HotStuff, 从区块链视角看拜占庭复制》提出，HotStuff 是一个拜占庭复制协议，可以在半同步网络下运行。HotStuff 同时设计了一个将传统拜占庭协议与区块链协议结合起来的框架。</h3> <h3> 13日后面四位的闪电演讲，分别涉及：Plasma 协议的攻击，支付硬件使用的安全改进方案，联盟链协议，公链协议存活性理论分析。14日，研讨会就区块链技术的应用与前景等课题持续进行。</h3> <h3> <b>Ben Fisch</b>在《区块链共识与状态的分割》报告中，介绍了一个新的密码学累加器的打包技术，这一技术可以用于为无状态区块链添加UTXO“快照”，来帮助用户更轻量地做交易验证。</h3> <h3> <b>Alin Tomescu</b>在《只追加可身份验证字典及其应用》的报告中介绍了新的密码学原语：只追加可身份验证结构与字典，用于提升透明日志系统的理论效率。</h3> <h3><b> Jiasun Li</b>的报告从经济学中“网络效应”分析 ICO 行为，以及 ICO 平台在经济学中扮演的角色分析。</h3> <h3><b> Johannes Krupp</b>在《以太坊智能合约的自动化探索》报告中讨论了基于字节码分析的以太坊智能合约分析方案，并介绍了自动分析工具 teEther 的实验结果。</h3> <h3><b> Raymond Gao</b>在《基于可信执行环境的可行数据使用控制》报告介绍了一个基于可信执行环境和区块链的数据系统，有望解决数据市场在监督、产权、个人数据隐私计算等方面的问题。</h3> <h3> <b> James Yang</b>在《区块链上自动化的薄弱点探测系统》报告中讨论了另一些智能合约自动化安全性分析的方案，包括模糊测试和符号执行两个方法。</h3> <h3><b> Ting Liu</b>《从代码相似性谈数字货币的图谱》的报告分析了数字货币之间代码的相似性，并将代码根据相似性进行聚类，复现了各种数字货币之间的代码关系。</h3> <h3> 大家踊跃发言，积极提问，活动现场热闹非凡；最后，刘烃教授介绍了西安交通大学的历史，同时也宣告本届研讨会圆满落幕。</h3> <h3> 本次研讨会的召开旨在推动区块链领域前沿学术成果的广泛传播，帮助业界用户在当前过度的商业炒作氛围中认清区块链技术的关键和本质。</h3>