全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

使用Foundry进行智能合约模糊测试的完整指南

本指南详细阐述了如何使用Foundry框架进行Solidity智能合约的模糊测试（fuzz testing）。文章首先介绍了什么是不变性（invariant），然后分别讲解了无状态和有状态的模糊测试的实现，并通过代码示例展示了相关实现步骤。最后强调了模糊测试在保证智能合约安全性方面的重要性。
模糊测试  Solidity  Foundry  智能合约  不变性  代码安全 
  • Cyfrin
  • 发布于 2024-10-16
  • 阅读 ( 1973 )

Solidity 复杂类型状态变量在 EVM 中存储布局

in  代理模式与 Delegatecall 规范手册
全面理解复杂类型的存储布局
EVM  存储布局 

【Damn Vulnerable DeFi V4】1 | Unstoppable 题解

CTF Writeups 系列："Unstoppable" 本题涉及到闪电贷和代币化保险库。
ctf  Writeups  闪电贷  ERC-4626  ERC-3156 
  • 0xE
  • 发布于 2024-10-13
  • 阅读 ( 1898 )
  • ( 17 )

闪电贷以及如何利用它进行攻击：ERC 3156 漫游指南

本文介绍了 ERC 3156 闪电贷规范以及闪电贷出借方和借款方可能受到攻击的方式。文章末尾还提供了建议的安全练习。
ERC-3156  ERC协议  Solidity合约  Solidity 
  • 0xE
  • 发布于 2024-10-12
  • 阅读 ( 2820 )
  • ( 29 )

ERC4626 详解

对 ERC4626 代币化保险库标准的详解。
ERC4626  ERC协议 
  • 0xE
  • 发布于 2024-10-11
  • 阅读 ( 2535 )
  • ( 9 )

Solidity 瞬态存储的使用

Solidity 瞬态存储的使用
Solidity  存储布局  瞬态存储 

Solidity 初学者常见的 20 个错误

Solidity 初学者常见的 20 个错误
Solidity  最佳实践 

【Uniswap V2】| 回顾 Uniswap V2 之详解手续费

使用多种推导方式，一篇文章，讲清交易费、协议费。
Solidity  DeFi  Uniswap V2 
  • 0xE
  • 发布于 2024-10-09
  • 阅读 ( 3643 )
  • ( 42 )

2024-10-06 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
  • Coset
  • 发布于 2024-10-07
  • 阅读 ( 1458 )
  • ( 5 )

探索 EVM 能做什么？

探索 EVM 能做什么？
EVM 

2024-09-29 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
  • Coset
  • 发布于 2024-10-02
  • 阅读 ( 1674 )
  • ( 9 )

【Uniswap V2】| 详解 TWAP 价格预言机和使用举例

详细讲解 TWAP 的原理和两种使用方式的举例。
Solidity  Solidity合约  DeFi  Uniswap V2 
  • 0xE
  • 发布于 2024-09-30
  • 阅读 ( 3132 )
  • ( 27 )

自动交易 | ccxt库的使用

ccxt，全称CryptoCurrencyeXchangeTrading，是一个用于与加密货币交易所API进行交互的库。它支持多种交易所（如Binance、Okx、Coinbase等），可以方便地获取市场数据、查询账户信息并执行交易等。
  • 卡卡
  • 发布于 2024-09-29
  • 阅读 ( 10988 )
  • ( 65 )

打造开箱即用的 Web3 前端脚手架

介绍前端脚手架模板项目 [web3-frontend-template](https://github.com/ymjrcc/web3-frontend-template)，一键下载，开箱即用，让你的前端开发体验更加流畅丝滑。
  • Yiming
  • 发布于 2024-09-26
  • 阅读 ( 2002 )
  • ( 15 )

使用 Solidity 瞬态存储操作码

in  全面掌握Solidity智能合约开发
使用 Cancun 硬分叉加入的 TSTORE 降低 Gas
EVM  Gas  瞬态存储 

Solidity 中定点数的运算

本文我们将讲解十进制定点数和二进制定点数的运算，以及看看相关库的编写和使用。
Solidity  Solidity 数学运算  Solidity合约 
  • 0xE
  • 发布于 2024-09-24
  • 阅读 ( 3056 )
  • ( 19 )

Solidity编码规范汇总篇

Solidity 编码规范汇总篇。

2024-09-22 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
  • Coset
  • 发布于 2024-09-23
  • 阅读 ( 1530 )
  • ( 9 )

Solidity 合约的配置参数处理

当合约中需要维护大量配置参数时该怎样处理？本文给出了几种不同的参考做法。
Solidity 
  • Ashton
  • 发布于 2024-09-23
  • 阅读 ( 1699 )
  • ( 14 )

Vyper 安全状况 - 2024 年 9 月

本文总结了 Vyper 编译器在过去一年中为提升安全性和稳定性所做的努力，包括增加安全预算、进行多次安全审计、发起漏洞赏金计划、实施合约监控系统等。文章还介绍了 Vyper 团队在测试和形式化验证方面的工作，以及未来的发展计划，强调了社区支持对 Vyper 安全的重要性。
Vyper  编译器  安全审计  漏洞赏金  形式化验证  合约监控