Solidity文章 - 第36页

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

in Michael.W基于Foundry精读Openzeppelin

从foundry工程化的角度详细解读Openzeppelin中的Address库及对应测试。

Address Foundry delegatecall

Michael.W
发布于 2023-07-03
阅读 ( 4683 )
( 10 )

03.slither API常用对象结构

in Slither漏洞扫描框架使用(初级篇)

slither API中常用对象结构解析

Slither 漏洞分析漏洞检测

小驹
发布于 2023-06-28
阅读 ( 3747 )

Yul 入门指南

Yul

Tiny熊
发布于 2023-06-27
阅读 ( 8720 )
( 151 )

一段Solidity汇编代码逻辑整理

内联汇编

Ethereal
发布于 2023-06-27
阅读 ( 2389 )
( 4 )

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

使用Create2工厂(0x0000000000ffe8b47b3e2130213b802212439497)创建合约并在etherscan验证

CREATE2 Solidity

Meta
发布于 2023-06-19
阅读 ( 3998 )
( 2 )

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

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

CREATE2 Solidity

认知那些事
发布于 2023-06-17
阅读 ( 6527 )
( 18 )

介绍 [V] 规范语言

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

规范语言形式验证智能合约合约不变性方法合约行为规范

Veridise
发布于 2023-06-16
阅读 ( 1497 )

Truffle框架

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

Leo Turing
发布于 2023-06-14
阅读 ( 4752 )
( 3 )

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

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

单例合约区块链智能合约去中心化应用资源优化安全性

genisis0x
发布于 2023-06-14
阅读 ( 869 )

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

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

Solidity 智能合约

翻译小组
发布于 2023-06-13
阅读 ( 3764 )
( 17 )

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

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

ZKP Cicada Sigma协议 ElGamal算法 Semaphore

a16z Crypto
发布于 2023-06-10
阅读 ( 2368 )

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

编写我们的第一个合约。

Solidity

DeCert.me
发布于 2023-06-01
阅读 ( 409 )
( 20 )

solidity修饰符与数据位置

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

Leo Turing
发布于 2023-05-29
阅读 ( 2138 )
( 8 )

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

从第一个 Counter 智能合约看合约代码结构

Solidity DeCert

DeCert.me
发布于 2023-05-29
阅读 ( 3911 )
( 18 )

理解智能合约元数据

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

Solidity 元数据智能合约

翻译小组
发布于 2023-05-28
阅读 ( 4211 )
( 39 )

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

本文深入探讨了Solidity中由于固定点运算特性可能导致的精度损失问题，尤其是在去中心化金融（DeFi）项目中函数、合约和库之间传递数据时。

Solidity 精度损失固定点运算 Foundry 模糊测试智能合约审计

Dacian
发布于 2023-05-26
阅读 ( 506 )

关于ABIEncoderV2的使用

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

DawnInShatter
发布于 2023-05-25
阅读 ( 3368 )
( 4 )

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

Solidity - 回购销毁合约实现