未分类

Smart Contracts 通过监控外部数据源，比如如数字支付、GPS 或任何其他可用于客观证明合约性能的数据，以验证执行情况。所有智能合约及其更新都被放到链上，创建经过验证的合同履约的安全记录。

The Picks & Shovels Co. 为加密数字资产的投资者、交易者提供工具，由 Clark Moody、Dan Hedl 等联合创办。他们正在开发他们的首个工具 Interchange，也是为基金和专业人士提供的机构级加密货币组合管理解决方案。

RADAR 为下一个金融系统构建产品。目前的各个金融机构是均匀分布的，但用户对于金融基础设施的访问却并非如此。随着技术公司与传统金融服务争相开放全球访问，我们的金融体系正在发生变化。数字资产、新兴的数字银行、移动支付公司正努力建立一个更好、更具包容性的金融体系，颠覆式创新正在加速这一变化。

自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。

SPADE是特殊项目和分散工程公司。您可以简称为SPADE。我们提供有关硬问题的软件研发咨询，并帮助公司获得开源开发人员的成功。

MetaCert 基于区块链的企业安全，提供工具使用户可以安全地打开链接，保护上百万的加密交易者、投资者与爱好者。MetaCert 正在申请安全 API 实时检查 http 请求的相关专利，在恶意网页或其他资源加载到应用内之前，警告消费者潜在的威胁。除此，MetaCert 还为希望在应用内阻止色情内容的开发者提供内容过滤服务。

Buglab 基于以太坊，通过专业网络安全研究人员全球网络连接众多公司。其生态系统的核心包含两个项目——Buglab 竞赛和 Vigilante Protocol，帮助全世界的公司发现并修复其数字化解决方案和资产中的漏洞。运用以太坊的力量，以实现对数字化企业解决方案触手可及、通用和可靠的渗透测试。

Prysmatic Labs 团队正在研究和开发的区块链分片解决方案，旨在将以太坊区块链的整个状态划分为单独的片来解决可扩展性、安全性、分散性三大问题。你可以将以太坊网络视为一个单独的分片，网络中的所有节点都需要处理这个非常大的分片中的每个事务。分片则将网络划分为多个片，而某些节点只需要处理某些分片的事务，因此这种方案从网络角度增加总吞吐量。

由 Bart Preneel 领导的 COSIC 研究小组，提供广泛的数字安全专业知识，并致力于创新的安全解决方案。与 StarkWare 有合作。

CertCertora 通过智能合约的全自动精确验证技术，使可信区块链成为现实。其验证方法易于使用且具有成本效益。

Protofire是一个工程师团队，帮助基于令牌的协议和开发人员平台的提供者加速其生态系统的增长。通过提供实际编码和贡献，Protofire专注于增强开发人员的采用和网络使用。帮助基于通证的协议和开发者平台的提供商，加速其生态系统发展。

国内顶尖的网络信息安全公司，专注为企业级用户提供专业的网络信息安全解决方案。曾经与比特大陆、ConsenSys 联合发布区块链安全报告。全球首发基于人工智能语义分析的下一代 Web 应用防火墙，颠覆了传统依赖规则防护的工作原理，为企业用户带来更智能、更简单、更省心的安全产品及服务。

研究、开发和部署 IPFS 等网络协议的区块链实验室。构建协议，系统和工具以改进其工作方式。

CoinFabrik 在构建和审核安全应用方面拥有 20 多年的经验。自比特币出现以来，他们在加密领域一直保持活跃，曾经设计过新的加密协议并发现过数百个安全漏洞。

一个开放的协议层，利用区块链和智能合约的力量，为世界各地的任何人提供便宜，快速，私密的交易。

猎豹区块链安全中心，依托金山毒霸的安全技术背景，为行业提供技术解决方案。他们的研究涵盖业务安全、区块链安全审计与舆情监测三大领域，致力于打造更健康的区块链生态。

ZK Labs 服务于以太坊区块链项目、智能合约的审计和开发，创始人 Matthew Di Ferrante 也是以太坊基金会的开发者。

Authio 提供全方位服务的智能合约安全公司，将项目从白皮书转移到生产开发。其重点在内部研发上，以此作为理解快速发展的生态系统的手段，并努力为客户提供最佳的解决方案，以减轻以太坊网络上构建去中心化应用时候的技术安全风险。 其服务涵盖最初的设计咨询、开发和代码审核，验证项目的智能合约是否按预期运行。

从加州大学伯克利分校 Blockchain at Berkeley 分拆出来，专注于区块链扩容的研究、开发机构。Fourth State 已经获得以太坊基金会、ECF 以太坊社区基金的资助，以研究和实施 Plasma 扩容解决方案。

针对区块链的测试和独立审计服务，首席技术官 Sebastian Bürgel 博士，也是瑞士楚格 Crypto Valley 的区块链专家代表。

HackerOne 是排名第一的黑客驱动安全平台，可帮助你在被利用之前发现并修复关键漏洞。

Dapper Labs 游戏开发工作室，将加密猫 CryptoKitties 带到区块链上。区块链上兼具玩乐属性的商业模式，曾经让整个以太坊网络拥堵瘫痪。

Hosho 目标是挑战当前对于区块链安全的定义，让社区成员遵守这些标准，促进行业充分发挥其潜力。

Secureware 位于美国的区块链安全、运营机构，致力于改善区块链生态系统安全，包括支持安全软件开发生命周期，执行安全评估，技术架构咨询，设计和构建区块链网络，以及开发用于区块链网络安全高效运行的工具。

SatoshiLabs 是在行业里雄心勃勃的技术先驱，致力于为大众带去密码学。他们由创新驱动，永无止境的研究和开发使其处于领先地位。他们的目标是了解并提供安全且易于使用的解决方案，以解决加密面临的实际问题。他们已经创建 TREZOR 开源加密环境，全球首个冷钱包解决方案。

Solidus 市场监控平台，由前高盛 Goldman Sachs 金融技术工程师设计，利用机器学习技术帮助发现、解决、调查和报告数字资产交易中的市场操纵行为。

苏黎世联邦理工学院的跨学科、跨部门研发中心 ICE Center 与 ChainSecurity AG 创建的以太坊上智能合约的安全性、代码审计服务机构。ICE Center 的使命是促进人工智能、区块链，以及安全和网络领域的研究。

瑞士的区块链与加密数字投资、金融服务与研究机构 BlockNovum，为区块链初创公司和加密资产提供专业的投资研究、市场筛选，以及深入分析、专业评估和估值，以辅助投资新一代加密资产和区块链创业公司。

Coinspect 回顾了新兴密码货币的设计与实现，以识别可能的攻击。具体包括：网络与 Web 应用的渗透测试，通过模拟熟练的攻击者试图攻击区块链网络，以获取敏感信息并窃取所有数字资产；源代码安全检查，以识别安全漏洞，分析其影响，并提供建议，以立即提升产品的安全性；漏洞管理服务立即向安全团队发出警报，为快速解决问题提供帮助。

谷歌云计算团队中的几位工程师，包括 Allen Day、Evgeny Medvedev 等，开发了名为 Blockchain ETL 的开源区块链数据工具，可以查询比特币、以太坊等虚拟货币的交易状况。该工具已经接入谷歌的数据分析平台 BigQuery。