Wake:以太坊上新的开源工具可以阻止错误

Wake:以太坊上新的开源工具可以阻止错误

Wake:以太坊上的新开源工具可阻止错误 PlatoBlockchain 数据智能。垂直搜索。人工智能。
  • 唤醒 是一个基于Python的Solidity开发和测试框架,具有内置的漏洞检测器。 它被用于审计 Ackee 区块链 现在是开源的,可供所有人免费使用。
  • 安全专家保持高度警惕,因为历史表明,黑客风险随着市场活动的增加而增加。 像 Wake 这样的开源工具使应用程序构建者能够对代码漏洞进行快速、彻底的检查。

[捷克共和国布拉格,28 年 2023 月 XNUMX 日] –  

经过战场验证的审计工具开源

Ackee 区块链,一个由智能合约审核员和社区工具创建者组成的团队,介绍了 唤醒,一个基于 Python 的 Solidity 和跨链模糊测试开发和测试框架,具有阻止错误的良好记录。

Wake 的功能包括开发和测试框架、模糊器、漏洞检测器和打印机。

Wake 之前曾用于智能合约 审计 由 Acee 区块链执行 IPO阿克塞尔及 索拉迪 并帮助审计员发现严重、高度和中等的错误。 该公司宣布将开源该工具,以促进更安全的区块链空间。

随着市场活动的增加,安全专家保持警惕

随着 DeFi 活动的增加,黑客看到了更有利可图的目标并变得更加大胆。 在牛市中,项目往往会急于发布产品更新,这对经验丰富的智能合约审计服务产生了很高的需求。 在 2021 年牛市高峰期,信誉良好的公司对项目的报价通常需要三个月以上的审核等待时间。 然后,他们面临一个艰难的决定,是在疯狂的“抢地”中推迟发射,还是在仓促审核的情况下发射,从而增加安全风险。

一周后,加密货币基金的资金流入创下了 2021 年牛市以来的最高水平,并且 DeFi 交易量增长了约 50%,安全专家们变得更加警惕。 Wake 的发布是及时的——它允许应用程序开发人员熟练地测试 DEX 的智能合约或插入其服务或他们所依赖的任何协议。

旨在减少误报并减少手动审核时间

除了作为测试框架之外,Wake 还允许用户运行静态分析。 它拥有一套即用​​型高精度漏洞和代码质量检测器以及即用型打印机,用于提取和漂亮打印有用信息,例如智能合约控制流和继承图。

“静态分析工具的一个常见问题是误报率较高,需要额外的手动调查时间。 我们的理念是只使用最精确的探测器并减少所有产生额外开销的噪音。” 

– Josef Gattermayer,Ackee Blockchain 首席执行官兼联合创始人。 

韦克接受表演 测试 与其他框架(即 Hardhat、Brownie 和 Ape)一起使用三个不同的开发链——Anvil、Ganache 和 Hardhat。 Wake 被证明是最快的 Python 框架。 

新版本的 Wake 允许定制探测器和打印机。 它还允许第三方创建和实施他们的定制打印机和检测器。 最新版本还引入了 Github 操作,用于在管道中自动执行检测器。 “低误报率、最快的行业测试执行以及现成的 GitHub 操作使 Wake 成为每个项目中 CI/CD 集成的理想候选者”——Ackee Blockchain 首席执行官兼联合创始人 Josef Gattermayer。 

唤醒能力 Solidity 工具,一个流行的 Visual Studio Code Solidity 扩展,它可以进行语法突出显示以及唤醒漏洞和代码质量检测器的检测,并使用扩展访问整个项目中符号的所有引用向开发人员提供即时反馈。 

关于唤醒

唤醒 是一个基于 Python 的 Solidity 和跨链模糊测试开发和测试框架,在阻止由 Ackee 区块链这要归功于 Ackee Blockchain 于 2022 年从 Coinbase 获得的资助。 

要了解更多信息,请访问: getwake.io.

关于 Acee 区块链

Ackee 区块链 是一个安全研究人员团队,负责审核顶级协议:Safe、1inch、Axelar、LayerZero、Trader Joe 或 CoW Protocol。 

Ackee Blockchain 得到了欧洲最大的专注于区块链和 DeFi 的风险投资基金 RockawayX 的支持,并获得了以太坊基金会、Tezos 基金会、Coinbase 和 Solana 基金会的资助。

Ackee Blockchain 的使命是通过分享知识建立更强大的区块链社区:团队开设免费认证课程 坚固学院, 索拉纳学校 并在布拉格的捷克技术大学任教。 这一使命也在 ERC-7512 草案、开发 Wake 工具包或 Solana 开源模糊器等举措中得以实现。

关于约瑟夫·加特梅尔

约瑟夫是一位网络安全专家和企业家。 他是 Ackee Blockchain 的联合创始人兼首席执行官,该公司帮助企业保护其 web3 产品。 他们的客户包括 Axelar、Safe、1inch 或 Trader Joe 等顶级协议。 

约瑟夫对网络安全的热情源于他的学术背景。 他在布拉格 CTU 获得了分布式系统博士学位,现在担任教授区块链的助理教授。

如需媒体垂询或了解更多信息,请联系 
 

时间戳记:

更多来自 硬币局