发现
包含此标签的文章列表
共 3 篇文章
最佳去中心化体验始于...Bitget 链上交易
加密货币交易下一次革新的关键不在于链上，而在于您。 Bitget 链上交易专为好奇、大胆、敢先吃螃蟹的人准备。它是您实时的代币发现渠道，是您在去中心化世界中的试验引擎。 您不再需要通过区块浏览器或来回浏览 DApp 来查找热门话题。通过 B…
2025/4/14
什么是主动验证服务 (AVS)？
要点 主动验证服务 (AVS) 采用实时监控和自动测试方式确保系统平稳运行，预防问题影响系统运行或用户。 在区块链领域，主动验证服务有助于提高 EigenLayer 等项目的安全性和性能。EigenLayer 项目集成了验证者的持续验证和激…
2024/7/12
什么是智能合约的形式化验证？
本文由社区成员发布。作者为David Tarditi，一家Web3智能合约审计公司CertiK的工程副总裁。 摘要 对智能合约进行形式化验证可避免它们出现错误、漏洞和其他不利的情况。在这个过程中，人类专家会将智能合约的逻辑转换为数学语句，然…
2023/3/2