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

Michael.W基于Foundry精读Openzeppelin第3期——Arrays.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Arrays库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-04
  • 阅读 ( 3056 )
  • ( 12 )

Michael.W基于Foundry精读Openzeppelin第2期——StorageSlot.sol

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

Remix v0.34.0 版本介绍

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

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

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

03.slither API常用对象结构

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

Yul 入门指南

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

一段Solidity汇编代码逻辑整理

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

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

使用Create2工厂(0x0000000000ffe8b47b3e2130213b802212439497)创建合约并在etherscan验证
CREATE2  Solidity 
  • Meta
  • 发布于 2023-06-19
  • 阅读 ( 2914 )
  • ( 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
  • 阅读 ( 376 )
  • ( 20 )

solidity修饰符与数据位置

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

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

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

理解智能合约元数据

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

关于ABIEncoderV2的使用

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

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

Solidity - 回购销毁合约实现
Solidity