Tags

46 个页面

区块链

使用Echidna测试智能合约库的完整指南

使用Diffusc对可升级智能合约进行差分模糊测试

Spice AI：为开发者赋能AI与数据基础设施

Trail of Bits加入企业以太坊联盟，推动区块链安全技术创新

释放美杜莎：快速可扩展的智能合约模糊测试框架

帝国黑客：以太坊特辑2 - 智能合约安全与区块链技术深度解析

Manticore发现ENS漏洞 - 智能合约安全分析实战

当心语言陷阱：Trail of Bits首次Vyper智能合约审计报告

可验证延迟函数(VDF)入门指南 - 区块链与密码学技术解析

Codex与GPT-4在智能合约审计中仍无法超越人类——Trail of Bits实验报告