CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为CertiKOS防黑客操作系统。 00 安全机构
Connect Capital Connect Capital 区块链和数字资产基金,根本致力于传播和投资终生变化,旨在改变价值治理、金融和社会各方面的流动性。未来几代人的信任将通过大规模协作和代码编程,而不是通过集中的权威来建立。 00 投资机构
Linum Labs Linum Labs 努力推进区块链落地的应用开发工作室,专注于区块链培训、咨询、开发和社区建设。其总部位于南非开普敦,努力站在非洲、欧洲之间,传播最前沿的 Web3 思想和付诸于行动。 00 研究机构
IC3(加密货币和合约倡议) 微软与康奈尔科技合作的IC3倡议,是专门针对数字货币和合约创新的研究机构,成员包括康奈尔大学、康奈尔理工大学、以色列理工学院的教职员工,以及来自加州大学伯克利分校和伊利诺伊大学香槟分校的教师们。 00 研究机构
斯坦福区块链研究中心 由斯坦福大学计算机科学家们所设立的区块链研究中心,主要发起人是 Dan Boneh 教授和 DavidMazières 教授。此外构成成员还包括 AlexAiken,David Dill,ohn Mitchell,Tim Roughgarden 和法学院教授 Joe Grundfest。 00 研究机构
Mechanism Labs 开源区块链研究实验室,使开源可访问和可持续。目前团队专注于替代共识和扩展,其研究方向包括 SoK、期刊、密码协议实施,再到重新考虑代码审计流程和专利。其团队成员多毕业于加州大学伯克利分校的区块链方向。 00 研究机构
以太创服 以太创服自2014年成立以来已经形成由FA(财务顾问)服务、股权基金等组成的资金交易服务体系;易项优选和易项开放平台为代表的面向投资人与FA的投融资平台服务体系;同时拥有行业领先创业社群“A+社”等创业者服务产品。通过不同的业务体系,以太可以为客户提供除资金之外的更多价值,包括信息、资源、沟通连接。 00 投资机构
Buglab Buglab 基于以太坊,通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol,帮助全世界的公司发现并修复其数字化解决方案和资产中的漏洞。运用以太坊的力量,以实现对数字化企业解决方案触手可及、通用和可靠的渗透测试。 00 安全机构
九合创投 九合创投成立于2011年,由“百度七剑”之一王啸创立。作为国内顶级的本土基金品牌,我们着眼未来,脑冷心热,信奉「做有价值的事情,商业价值便会随之而来」。目前,九合已投资一百多家早期初创公司,其中包括了36氪、下厨房、青云 Qingcloud、Zepp、快方送药、黄油相机、日食记、新片场、好好住等一系列企业。九合站在科技与人文的十字路口,致力于做投资圈中的价值极客,期待与更多优秀的创业者长久合作。 00 投资机构
AngelPad 被誉为「Anti Y Combinator」的 AngelPad,由前 Googler Thomas Korte 在 2010 年创办,主要是为期 10 周的密集导师培训课程 Intensive mentorship program,每个团队创办人与导师间都有密切的接触,希望能借此打造出更好的产品,处理募资及找出正确的商业模式。 00 投资机构
Notation Capital Notation Capital 位于纽约布鲁克林,是彼此帮助成功的创业者社区,其中包括 Notation 投资公司的创始人、顾问、LP 和更广泛的人际网络。 00 投资机构