Symbolic Software Symbolic Software 位于法国巴黎,专注于对应用加密系统进行现代洞察,通过对内部安全基础架构和软件代码进行综合审计,确保面对现实世界的软件足够安全。他们审核世界领先的协作平台、密码管理器、钱包等核心加密组件。
Nomadic Labs Nomadic Labs 在计算机科学的各个领域研究和开发产品与服务,包括分布式、去中心化、正式验证的系统等。这一研发机构,由 Tezos 项目背后的几位主要的技术开发工程师组建。
Nomic Labs Nomic Labs 通过设计、构建和审核分布式系统,帮助早期区块链项目启动并确保其产品安全。他们创建新的智能合约开发工具 Buidler,提供了易于扩展并可与 Javascript 生态系统互操作,基于 Ethers.js 开发 Truffle 模块化替代。
Autonomous Research 领先的金融领域独立研究机构 Autonomous Research,成立于 2009 年,在全球银行、经纪商、资产管理公司、保险、信息服务、支付技术、抵押贷款融资和消费金融公司中进行深入、无偏见的投资研究。