Vitalik等大咖在全球区块链峰会上讲了什么？( 四 )
未来，Ontology 希望打造一个分布式信任协作平台，提供完备的开发工具，构建 DApp 活跃生态，从而为人、财、物、事所处的实体场景持续注入信任要素，实现高效、稳定的信任协作。
图6/21
（Ontology 创始人、CEO Jun Li 在演讲中）
CertiK 联合创始人 Daryl Hok 则从我们生活中的各种信任出发，谈到区块链智能合约的信任问题。如何让智能合约能被充分信任呢？——数学（Math）。数学就是一种全世界都能读懂、非常透明的、能持续被认可的一种验证方式。
如今，Certik 利用的就是数学化的方法——通过形式化验证，去验证漏洞和错误是否存在。除了区块链领域之外，形式化验证早已被广泛用在其他场景，比如NASA、国防领域。
安全加密，从学界到业界怎么做？
传统的互联网加密是通过传输层安全（TLS）协议进行的，但在区块链的去中心化环境中，安全问题怎么保障呢？
推荐阅读
- 手机游戏|中国游戏登顶全球第一，从日本吸金60亿，还从美国赚回64亿
- 腾讯|腾讯49亿日元投资目标明确：3款新游明后年全球发行，强化主力IP
- 小乔|孙尚香首款全球联动皮肤上线，小乔或迎来新传说？花嫁返场无望
- Xbox|将拥抱元宇宙世界？Xbox20年庆典看点十足，全球玩家为何兴奋？
- 艾琳|【欢迎来到PGC21全球总决赛】 PUBG
- 沙雕|神回复：为什么LOL不设置全球总决赛的海选赛，让普通玩家也有参与感
- s11全球总决赛|炉石传说平衡补丁公布，2400点奥术之尘，不知道你能拿到多少？
- yjj|YJJ畅谈永劫无间全球赛事，不小心一句话说哭百万网友！
- steam|S11全球总决赛结束，LOL的世界观，没有非黑即白的
- 电子竞技|S12或迎来双败制？Riot全球电竞负责人发话：会去仔细研究！