搜索结果
跳到导航
跳到搜索
- === Certora Prover：智能合约形式化验证入门 === …11 KB（201个字） - 2025年5月10日 (六) 22:57
- CertiK 由 Zhong Yao 教授于 2018 年创立，他是一位来自耶鲁大学的计算机科学教授，同时也是形式化验证领域的专家。 团队成员由来自学术界和工业界的顶尖安全 …11 KB（209个字） - 2025年3月16日 (日) 21:12
- 1. **形式化验证 (Formal Verification)：** …8 KB（161个字） - 2025年3月17日 (一) 01:58
- …9 KB（176个字） - 2025年3月17日 (一) 04:00
- * '''形式化验证：''' 使用数学方法证明代码的正确性，确保其符合预期的 …9 KB（250个字） - 2025年3月17日 (一) 02:01
- [[形式化验证]] 确保智能合约的安全性。 …33 KB（1,402个字） - 2025年5月10日 (六) 23:56
- * **Securify:** 一个基于形式化验证的工具，可以证明合约的安全性。[[形式化验证]] 比静态分析更严格，但需要更多的专业知识。 | Securify || 形式化验证 || 慢 || 困难 || 昂贵 || …10 KB（236个字） - 2025年3月17日 (一) 17:05
- 6. **形式化验证 (Formal Verification):** 形式化验证是一种数学方法，用于验证智能合约代码的正确性。通过形式化验证，可以发现潜在的漏洞并避免安全风险。 * **更强的安全性:** 形式化验证、去中心化预言机网络和高级智能合约语言将降低DeFi协议 …9 KB（173个字） - 2025年3月17日 (一) 02:40
- * **更加安全的智能合约：** 采用更加先进的安全技术，例如形式化验证、模糊测试等，以提高智能合约的安全性。 …9 KB（184个字） - 2025年3月16日 (日) 23:23
- | 去中心化交易所 (DEX) || 智能合约安全，防止漏洞利用 || 智能合约审计，形式化验证 || * **形式化验证：** 使用形式化验证技术验证智能合约的正确性，防止智能合约漏洞。 …10 KB（140个字） - 2025年3月17日 (一) 06:57
- * '''形式化验证：''' 使用数学方法来验证人工智能系统的正确性和安全性 * '''智能合约安全：''' 对于基于[[区块链]]的[[期权合约]]和[[永续合约]]，AIRA 的形式化验证技术可以帮助确保[[智能合约]]的安全性，防止[[漏洞利用] …10 KB（187个字） - 2025年3月15日 (六) 17:33
- …9 KB（217个字） - 2025年3月15日 (六) 11:03
- * '''形式化验证：''' 使用数学方法证明智能合约代码的正确性，从而减少 …9 KB（201个字） - 2025年3月17日 (一) 01:59
- * '''形式化验证'''：使用数学方法对智能合约代码进行形式化验证，确保代码的正确性和安全性。形式化验证可以更彻底地发现潜在漏洞，但成本较高。 | '''高级智能合约安全工具''' || 开发更高级的智能合约安全工具，例如自动化漏洞扫描工具、形式化验证工具等。|| 提高智能合约审计的效率和准确性。 …8 KB（247个字） - 2025年3月17日 (一) 18:00
- …一份全面的安全评估指南，帮助理解 DeFi 安全风险，并学习如何识别和评估潜在的漏洞。我们将深入探讨 DeFi 安全的关键组成部分，包括智能合约审计、形式化验证、经济模型分析、监控和响应机制等。 …化验证'''：形式化验证是一种利用数学方法来证明智能合约代码正确性的技术。它可以比传统审计更有效地发现隐藏的漏洞，但成本较高，并且需要专业的技能。[[形式化验证]] …9 KB（194个字） - 2025年3月17日 (一) 02:00
- * **更强大的形式化验证工具：** 提高形式化验证工具的效率和可用性。 …9 KB（153个字） - 2025年3月17日 (一) 01:04
- * '''形式化验证：''' 使用数学方法来证明智能合约代码的正确性和安全性。虽然形式化验证非常彻底，但成本较高且耗时。 …9 KB（248个字） - 2025年3月17日 (一) 01:03
- …**漏洞分析**: DeFi协议是复杂的智能合约系统，存在潜在的安全漏洞，如重入攻击、整数溢出、逻辑错误等。研究人员需要对智能合约代码进行审计和形式化验证，识别并修复这些漏洞。[[智能合约审计]] * **形式化验证**: 使用数学方法证明智能合约代码的正确性，确保其按照预期工作。[[形式化验证]] …9 KB（173个字） - 2025年3月17日 (一) 03:06
- * '''更安全的智能合约 (More Secure Smart Contracts):''' 通过更严格的代码审查和形式化验证来降低智能合约漏洞的风险。 …9 KB（312个字） - 2025年3月16日 (日) 23:19
- [[形式化验证]]可以验证智能合约的正确性。 [[形式化验证技术]]对加密货币市场的影响需要关注。 …37 KB（144个字） - 2025年3月14日 (五) 14:15