如今，Certik 利用的就是数学化的方法——通过形式化验证，去验证漏洞和错误是否存在。除了区块链领域之外，形式化验证早已被广泛用在其他场景，比如NASA、国防领域。

在纽约州立大学石溪分校助理教授、Algorand 首席科学家陈婧的介绍中，Algorand 采用超快速拜占庭协议（Super-Fast Byzantine Agreement），这样的共识协议每隔几步就能完成对区块的验证，造成非常低的延迟。同时，通过加密抽签机制、轮值委员会和纯粹的股权证明（Pure PoS）协议等设计，实现去中心化、可扩展性和安全性的多重考量。

（Vitalik在演讲中）

“生活中不存在大一统的信任，千万个小信任连接起来就是信任社会，而区块链就是其中最好的连接器。” Ontology 创始人、CEO 李俊介绍了Ontoogy （本体）最新的成果：分片（Sharding）。据李俊介绍，本体分片设计已经发布，支持网络、交易和状态分片，将强有力地解决区块链发展进程中最大的痛点之一——扩容。

腾讯区块链业务总经理 Aaron Cai 则介绍了来自腾讯的尝试——区块链开发票。18 年 8 月，腾讯开出了首张“区块链发票”，消费者能实时追踪发票的报销状态。区块链技术也有助于改善传统发票的流程、效率等问题，最终实现无纸化管理。去年12月，运用区块链技术的电子发票已经跟微信支付结合，操作起来更便捷。

以太坊创始人 Vitalik Buterin、“线上匿名之父” 的密码学家 David Chaum、被誉为“计算机安全教母”的 Dawn Song 等众多学术界大咖，还有来自英特尔、甲骨文、Vmware、腾讯，以及德勤、蚂蚁金服、光速资本等科技界、金融界高管、投资人，现场超过千名观众，一同见证了这一场学术和商业盛宴。

原标题：Vitalik等大咖在第三届Blockchain Connect全球区块链峰会上讲了什么？

在 Q&A 环节被问及 Casper 的具体实现路径如何？Vitalik 正式透露，如果开发团队运转良好的话，今年内将会上测试网。

（硅谷洞察合伙人倪松发布最新行业研究报告）

传统的互联网加密是通过传输层安全（TLS）协议进行的，但在区块链的去中心化环境中，安全问题怎么保障呢？

以太坊2.0：Casper今年上测试网

继 Digicash 之后，再次创业的 David Chaum 坦言，要实现交易过程中的速度+隐私+可扩展性+安全等需求，Elixxir 的两大创新在于：第一，为了保护隐私每个区块中节点必须以团队进行工作；第二，所有交易的公钥是预计算的，只有“哈希功能”才被用在每一笔实时交易中。如今，Elixxir 3秒可以实现信息传输以及10秒钟完成交易过程。单链上每秒已能处理超过十万笔的交易。“技术成熟时，最高交易能达到百万级。”

（认真听讲的现场观众）

安全加密，从学界到业界怎么做？

（热烈交流的现场观众）

从硅谷洞察研究院《报告》中可知，可信执行环境是解决隐私和安全的重要技术之一，对硬件厂商的依赖性较强，英特尔实验室的首席工程师 Mic Bowman 的演讲则进一步证明了这点。在他看来，可信执行环境（TEE）跟硬件紧密结合，区块链技术能够某种程度上从中受益，从机密性、效率、性能和可扩展性等方面做出实质性的改进。

陈婧教授表示，对于当前众多公链项目而言，“不可能三角”的每一方面都需要被纳入考虑，只是对于某些具体应用场景而言，会选择某一角度进行优化。Algorand 也在会议期间举行了在旧金山的首次线下见面会，众多开发者围绕公链等相关内容进行了探讨。

当前通证经济的流动，如何实现其价值最大化？内容预测与发布平台 U Network CEO、硅谷密探联合创始人卢毅、NKN 联合创始人Yilun Zhang、标准链（Canonchain）联合创始人杨嗣超博士等进行了探讨。与会嘉宾认为，要让群体在共同的目标下提高合作效率和共同价值的收益。每个主题或目标都有一个与之对应的、代表其价值的代币，用来促使其所含信息的价值最大化。