具有 K 语义的以太坊虚拟机 (EVM) 模型。
Runtime Verification Inc 基于 K 框架的模型和演练,可帮助您从您部署和维护的语言和环境中编写自定义测试。开发人员可以创建对底层框架语义有更多控制的测试。K 框架或其实现的应用知识是先决条件。
能够轻松地从 Synthetix 协议中提取链上数据。
DeFi 世界的资产管理
由 DethTools 构建的维护良好的以太坊交易解码器和转换计算器。
通过其审计市场和智能合约覆盖协议保护 DeFi 用户。
ETH SDK 用于为以太坊智能合约生成类型安全的轻量级 SDK。
我们在这个街区最难的 web3 训练营中将初级区块链工程师转变为高级工程师