0xCO2 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

Move智能合约的形式化验证工具

“程序测试能证明错误的存在, 但不能证明错误不存在” – Edsger Dijkstra。智能合约是一个对安全性要求非常高的领域，一个不经意的小 bug 很可能会导致不可估量的损失。

形式化验证 Move

Young Rocks 发布于 2022-01-20 23:34 阅读(4919) 点赞(2) ( 10 )

币安链监控合约交易

币安链监控合约交易

BSC

yohansun 发布于 2022-01-11 23:59 阅读(8767) 点赞(5) ( 106 )

在 Solidity 中破解私有变量的快速指南

ChinaDeFi 去中心化金融社区发布于 2021-12-14 10:53 阅读(3862) 点赞(1)

在 Solidity 中，动态值数组是否比引用数组效率更高吗？

Gas 数据存储

aisiji 发布于 2021-12-08 22:39 阅读(7032) 点赞(1) ( 57 )

Layer2 终极指南

从模块化区块链角度分析L2类型，并举例说明不同L2用例的技术、线路图等。

Layer2 指南 ZK Rollup

ETH中文网发布于 2021-12-03 10:30 阅读(9802) 点赞(2) ( 2 )

温故知新：EVM 101

通俗易懂的 EVM 入门文章，理解以太坊与 EVM 的关系，深入了解 EVM 的架构

EVM

ETH中文网发布于 2021-11-22 20:45 阅读(4496) 点赞(1)

本文介绍了对Solana智能合约进行审计的系统方法，强调了与以太坊相比，Solana在编程语言和代码与数据分离上的独特之处。文章详细列出了攻击者可能的动机以及智能合约的攻击面，并探讨了一些常见漏洞和审计时应考虑的逻辑和经济错误。

Solana 智能合约审计 Rust 安全漏洞经济攻击

Sec3dev 发布于 2021-11-12 20:56 阅读(149) 点赞(0)

Uniswap V3 与集中利用多个资金池的流动性如何更好提高资金效率

Uniswap DEX DeFi

rebase 发布于 2021-10-18 16:47 阅读(5126) 点赞(1) ( 2 )

AAVE v2 - white paper

AAVE v2 白皮书

Aave

bixia1994 发布于 2021-10-11 19:09 阅读(7747) 点赞(7) ( 43 )

Paradigm CTF 2021 比赛环境

搭建 Paradigm CTF 2021 比赛环境，从入门到放弃～

区块链安全

ripwu 发布于 2021-09-03 21:59 阅读(5220) 点赞(3) ( 16 )