7月30日，UABA（中科大校友区块链联盟）“区块链名校名企私想会 第二期”在JadeValue顺利举办，特邀耶鲁大学计算机系主任，同时也是CertiK联合创始人的邵中（8311）校友，给大家现场分享安全之于区块链的价值，以及形式化验证是如何保证区块链安全。

主办方还邀请了中科大0203校友、上海蒙玺投资管理有限公司创始人李骧，分享了数字货币量化交易的心得。此外，Loopring、Adrealm和Dora三个明星项目成员也在现场做了项目分享。

△Certik联合创始人邵中

在主旨演讲中，邵中首先介绍了他从事多年的领域——形式化验证。“当时形式化验证是比较冷门的领域，那个时候开始，我们就开始关注构造安全系统。”

在回忆最初接触区块链时，邵中谈到，一直以来，互联网存在一个问题，就是用户缺乏激励机制。同样在开源软件社区，开发者也非常缺乏激励机制。所以区块链后，我们就意识到，它非常好地解决了激励问题。

对于区块链行业的机会，邵中说，区块链是一个world computer，智能合约和DAPP是application software，而安全是区块链的刚需。“因为在我互联网时代，安全问题一般会导致信息泄露，而在区块链领域，安全问题会直接导致价值损失。”

而相比较而言，区块链仍然非常脆弱。所以，邵中和他在耶鲁的学生顾荣辉等人，也创立了CertiK。对于CertiK的进展，邵中介绍说，他们不仅提供基于形式化验证的代码审计服务，而且开发了一些工具和DeepSea语言，辅助程序员写出形式规范的代码。此外，他们还在做一个开发环境，以从底层保障区块链的安全。

△上海蒙玺投资管理有限公司创始人李骧

而作为数字货币量化交易的从业者，李骧表示，数字货币市场对于量化交易的需求越来越多，和传统市场相比，数字货币的有效因子非常不同，因此需要交易者大胆尝试。但更为重要的是，绝大多数你能观察的东西，别人也观察到，因此，对细节的执行就显得至关重要，因为量化交易的本质是零和博弈。

△路印协议联合创始人Jay Zhou

在后续的环节中，中科大校友项目路印协议联合创始人Jay Zhou表示，路印协议做的是一个去中心化的解决方案，因为中心化交易所比较封闭，缺乏安全、交易和流通性。而通过路印协议的赋能，未来各个钱包之间都可以进行交易，保障安全和体验。

△Dora创始人兼CEO  Steve Guo

中科大少年班校友、Dora创始人兼CEO  Steve Guo表示，Dora作为下一代高性能高并发的公有链，Dora 从 CPU 设计中受到启发，设法将流水线模型和分支预测算法应用于区块链，提出了针对区块链可扩展性问题的独特解决方案，主要从三个方面解决现有公有链性能不足的问题，并兼顾安全性和去中心化：纵向扩容、横向扩容和共识算法。

△Adrealm创始人谢峰

Adrealm创始人谢峰认为，目前市面上找不到合适的公链能够解决数字广告行业的痛点，当前公链存在一个共性的不足是共识机制缺乏对业务和DAPP以及开发者的激励。

Adrealm第一用区块链对数据确权；第二把数据的所有权和控制权交给数据拥有者。随后再用token机制刺激数据流动。数据一旦形成流动，就可以进行分析、建模、使用。当数据进入使用阶段，便产生了新的价值，也是对整个产业链的价值创造产生了巨大的推动作用。 

△UABA副秘书长、PreAngel投资总监刘庆

作为本次活动的主办方，UABA副秘书长、PreAngel投资总监刘庆表示，借邵中校友回沪的契机，本次活动定向邀请了数十家TokenFund和交易所，目的在于促进区块链行业内部交流，让好的项目能够为更多人所知。

△UABA主席庞华栋

UABA主席庞华栋表示，UABA是第一个中国知名高校成立的校友区块链联盟，定位是完全非盈利的自发联盟，帮助中科大校友在区块链领域创业、创新，实现资源共享。

△JadeValue总经理孙丽华

作为场地的提供方，JadeValue负责人孙丽华女士表示JadeValue是一个专注区块链投资+孵化的空间，致力于为区块链创业团队打造一站式孵化解决方案，包括对接全球知投资机构、高新企业政策扶持，同时提供区块链创业公司品牌活动发布，媒体曝光等综合性服务，更有创新大赛、创业沙龙交流、路演以及区块链教育培训等活动为团队创新赋能。今后也希望通过更多的活动，为JadeValue区块链社群对接各类优质的产业资源。

想和JadeValue合作，一起打造顶级区块链社区？ 关注我们的公众号，点击商务合作——活动合作，来联系我们社区经理吧！