Tags

46 个页面

区块链

即刻保护，延时揭秘：可扩展的时间锁谜题解决方案

在Empire Hacking上探讨以太坊安全 - 来自Trail of Bits的见解

以太坊智能合约可复用属性库 - 提升安全测试效率的168个预置属性

跨交易所加密货币套利机器人：自动化交易的技术实现

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

在Empire Hacking上探讨以太坊安全——Trail of Bits博客

使用符号执行与区块链尸检——Trail of Bits在Devcon IV的技术实践

智能合约验证变得更简单 - Manticore验证工具详解

Trail of Bits 2022开源贡献亮点回顾：从Rust优化到区块链安全

踩到DeFi乐高积木：yVault漏洞分析与修复