EthBMC一个有界限的模型检查程序的明智的合同

ETH开发的线上编译工具REMIX，十分简单，hacker无需安裝任何其他程式或配置系統环境，大陆用户可能需要翻墙。

Truebit 是一种区块链增强功能，它使智能合约能够以标准编程语言安全地执行复杂的计算，同时降低 gas 成本。

The Graph是一个索引协议，用于查询以太坊和IPFS等网络。任何人都可以建立和发布开放的API，称为子图，使数据易于访问。

Ankr使访问Web 3.0变得容易。我们提供分布式、多云区块链基础设施，用于一键式节点部署和管理，以及为开发者提供对主要区块链和DeFi协议的即时API访问。

从初创公司到大型企业，数以千计的各种规模的企业使用 Chainstack 的软件和 API 来构建、运行和扩展区块链应用程序。

Alchemy 超级节点是使用最广泛的以太坊 API，具有超强的可靠性、数据正确性和可扩展性。