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

Remix v0.34.0 版本介绍

Remix v0.34.0 更新重点：Etherscan 验证代码更好用， 还支持代理合约验证、全新的 Solidity 分析器， 适配 WalletConnect v2.0
Remix 
  • aisiji
  • 发布于 2023-07-03
  • 阅读 ( 4441 )
  • ( 10 )

Michael.W基于Foundry精读Openzeppelin第1期——Address.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Address库及对应测试。
Address  Foundry  delegatecall 
  • Michael.W
  • 发布于 2023-07-03
  • 阅读 ( 4339 )
  • ( 10 )

03.slither API常用对象结构

in  Slither漏洞扫描框架使用(初级篇)
slither API中常用对象结构解析
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-28
  • 阅读 ( 3466 )

Yul 入门指南

Yul 入门指南
Yul 
  • Tiny熊
  • 发布于 2023-06-27
  • 阅读 ( 8327 )
  • ( 151 )

一段Solidity汇编代码逻辑整理

一段Solidity汇编代码逻辑整理
内联汇编 
  • Ethereal
  • 发布于 2023-06-27
  • 阅读 ( 2198 )
  • ( 4 )

如何使用Create2工厂创建合约并验证（Base Remix）?

使用Create2工厂(0x0000000000ffe8b47b3e2130213b802212439497)创建合约并在etherscan验证
CREATE2  Solidity 
  • Meta
  • 发布于 2023-06-19
  • 阅读 ( 3681 )
  • ( 2 )

Create2 创建合约、预测合约地址，看这一篇就够了

本文使用create2创建合约、预测合约地址
CREATE2  Solidity 

介绍 [V] 规范语言

这篇文章介绍了 V 规范语言，主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句，以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范，强调了这些规范在开发安全智能合约中的重要性。
规范语言  形式验证  智能合约  合约不变性  方法合约  行为规范 

Truffle框架

Truffle：Truffle是一个流行的开发框架，专门用于构建以太坊（Ethereum）区块链应用程序。它提供了一组工具和库，以简化智能合约的开发、测试和部署过程。下面是Truffle框架的主要功能：智能合约开发：Truffle提供了一个简洁的开发环境，可以编写Solidity智能合约。它

探索智能合约开发中的单例合约

这篇文章深入探讨了单例合约在区块链智能合约开发中的重要性，以及其优势和实现方法。通过优化资源使用、标准化接口、提升安全性和治理能力，单例合约为去中心化应用程序提供了一种高效的管理方式。
单例合约  区块链  智能合约  去中心化应用  资源优化  安全性 

智能合约中使用 NatSpec 的最佳实践

使用好 NatSpec 注释规范，可以帮助开发者为智能合约创建更有效的文档。
Solidity  智能合约 

Cicada 利用时间锁谜题和零知识证明实现链上投票

Cicada：一个新的、开源的 Solidity 库，利用时间锁谜题和零知识证明来实现私人链上投票。
ZKP  Cicada  Sigma协议  ElGamal算法  Semaphore 

Solidity 开发教程 - 开始编写合约

编写我们的第一个合约。
Solidity 
  • DeCert.me
  • 发布于 2023-06-01
  • 阅读 ( 393 )
  • ( 20 )

solidity修饰符与数据位置

/*可见性修饰符：publicexternalinternalprivatepublic:作用域:状态变量、函数状态变量:可以在合约内外被读取，自动生成一个公共的getter函数。函数:可以从合约内外部调用，自

从 Counter 合约看代码结构 - Solidity 教程连载

从第一个 Counter 智能合约看合约代码结构
Solidity  DeCert 
  • DeCert.me
  • 发布于 2023-05-29
  • 阅读 ( 3629 )
  • ( 18 )

理解智能合约元数据

理解智能合约字节码末尾的元数据
Solidity  元数据  智能合约 

利用模糊测试挖掘精度损失

本文深入探讨了Solidity中由于固定点运算特性可能导致的精度损失问题，尤其是在去中心化金融（DeFi）项目中函数、合约和库之间传递数据时。
Solidity  精度损失  固定点运算  Foundry  模糊测试  智能合约审计 
  • Dacian
  • 发布于 2023-05-26
  • 阅读 ( 312 )

关于ABIEncoderV2的使用

ABIEncoder介绍ABIEncoder应用ABIEncoderV2和ABIEncoderV1的区别1.ABIEncoder介绍ABIEncodeV2和V1是对整个合约的编译检查和更丰富的编译功能，跟abi.encode/decode无关。2.ABIEncoder应用So

Solidity - 回购销毁合约是什么？

Solidity - 回购销毁合约实现
Solidity 

深度解析：在发送1个DAI时发生了什么

本文从通过钱包发起交易开始，解析钱包如何构建交易数据，如何设定 Gas，如何签名及序列化交易。以及当节点接收到交易后，如何验证、EVM 如何执行对应的 Solidity 字节码，如何退还 GAS 等。 值得所有开发者们仔细阅读。
EVM  Solidity