作者：MetaTrustLabs
在Web3领域，重入漏洞导致了大规模黑客攻击和巨额财务损失，智能合约安全性逐渐面临严峻挑战。由MetaTrustLabs推出的Prover引擎正在引发一场新的安全革命，该引擎也是第一个通过形式验证证明智能合约防重入安全性的解决方案，并提供数学保证。
智能合约安全现状
由于其自治性和不可撤销性，智能合约容易出现安全问题。重入攻击是其中最具毁灭性且可预防的漏洞之一，导致价值数百万美元的黑客攻击。现有解决方案如人工审核、静态分析和模糊测试缺乏数学严密性和可扩展性。它们难以赢得开发者的信任，无法解决此关键问题。
路透社：2019-2020年Binance高管控制属于Binance.US的银行账户:金色财经报道，据路透社报道，在2019年和2020年，Binance首席执行官Guangying Chen管理着Silvergate Bank的五个银行账户，这些账户由该公司据称独立的美国子公司拥有，其中包括一个来自美国客户的资金账户。
据该机构称，Chen及其副手的权力包括转移存储在银行账户中的资金。查阅内部消息后，记者还发现，Binance.US员工要求Chen团队处理付款，包括支付员工工资。路透社援引公司内部通讯称，一位不愿透露姓名的Binance.US员工要求Kolya签署银行授权书，以确保Chen可以管理美国分行的银行账户。
Binance.US交易平台由Katherine Coley领导的运营公司BAM Trading于2019年年中推出。文件显示，Binance首席执行官赵长鹏通过多家离岸公司拥有BAM Trading。
Binance.US发言人Christian Hertenstein则表示，自从现任首席执行官Brian Shroder于2021年底上任以来，除了Binance.US高管外，没有其他人能够控制或访问Binance.US帐户。[2023/6/5 21:17:17]
一个形式验证的解决方案：Prover引擎
DigiDaigaku系列NFT近24小时交易额涨幅达370.49%:金色财经报道，据NFTGo最新数据显示，DigiDaigaku系列NFT过去24小时的交易额为153,486美元，增长率为370.49%。截至发稿时，NFTGo数据显示，DigiDaigaku地板价为6.67ETH，24小时跌幅为21.11%。[2022/9/8 13:17:02]
Prover引擎使用形式方法证明重入安全性，并提供数学证明。它让开发者、审核人员和资助人确信，如果一份合约被证明安全，则肯定不存在重入漏洞。我们在合约层面上定义重入安全性，而不是在追踪层面上定义。如果在任何方法执行期间可能发生的任何潜在的重入调用不会危及状态一致性，则该合约是重入安全的。具体来说，在调用之前修改但在调用之后使用的状态变量不存在。Prover引擎将一份合约分解为每个都只包含一个外部调用的片段。它对每个片段中的状态变量变化进行建模，并检查状态一致性，可扩展到追踪分析难以完成的复杂合约。通过结合所有片段的结果，Prover引擎证明整个合约的重入安全性。此保证在数学上是严格的。开发者可以放心发布，项目方也可以安全使用由Prover引擎证明重入安全的合约。
公链Klaytn与Parity将合作构建Klaytn-Substrate链:5月25日消息，韩国社交媒体巨头Kakao旗下公链Klaytn与区块链基础设施公司Parity Technologies达成合作，将合作构建基于Substrate的Klaytn链Klaytn-Substrate。
据悉，该链最初将作为Klaytn规范的替代实现，并作为Klaytn主链的侧链。Klaytn-Substrate将桥接至Polkadot和Klaytn主网，作为一个中介环境，使协作技术、业务和社区倡议能够以有趣和协同的方式进行结合。
Klaytn基金会全球采用负责人David Shin表示，与Parity的合作符合他们为元宇宙创建可互操作区块链平台的愿景。（Coinquora）[2022/5/25 3:40:54]
Prover引擎的潜在影响
Prover引擎可以通过验证和可扩展的解决方案彻底改变智能合约安全性，实现安全可靠智能合约的广泛采用。它帮助开发者避免昂贵的漏洞，使审核人员能够专注于逻辑问题，为资助人提供识别低风险机会的方式，并建立人们对这项颠覆性技术的信任。我们设想Prover引擎作为实现一套完全由机器和数学(而不仅仅依靠易出错的人为努力)保障的智能合约系统的第一步。智能合约生态值得拥有比目前更可靠的安全基础，形式方法可以提供与区块链本身一样坚实的基础。
通过将形式验证引入区块链，Prover引擎改变了我们对web3安全的看法。它提供了一个机会，让我们不再满足于被动应对，而是主动确保关键系统的正确性。Prover引擎代表着安全领域的革新，为智能合约和区块链技术实现真正的企业应用之路敞开了大门。?
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。