文章
视频
课程
百科图谱
集训营
更多
问答
提问
发表文章
专栏
活动
文档
工作
集市
发现
Toggle navigation
文章
问答
视频
课程
集训营
专栏
活动
工作
文档
集市
搜索
登录/注册
精选
推荐
最新
周榜
关注
RSS
全部
通识
以太坊
比特币
Solana
公链
Solidity
Web3应用
编程语言
安全
密码学
AI
存储
其他
Yul 入门指南
Yul 入门指南
Yul
Tiny熊
发布于 2023-06-27
阅读 ( 7699 )
( 151 )
一段Solidity汇编代码逻辑整理
一段Solidity汇编代码逻辑整理
内联汇编
Ethereal
发布于 2023-06-27
阅读 ( 1921 )
( 4 )
如何使用Create2工厂创建合约并验证(Base Remix)?
使用Create2工厂(0x0000000000ffe8b47b3e2130213b802212439497)创建合约并在etherscan验证
CREATE2
Solidity
Meta
发布于 2023-06-19
阅读 ( 3219 )
( 2 )
Create2 创建合约、预测合约地址,看这一篇就够了
本文使用create2创建合约、预测合约地址
CREATE2
Solidity
认知那些事
发布于 2023-06-17
阅读 ( 5741 )
( 18 )
介绍 [V] 规范语言
这篇文章介绍了 V 规范语言,主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句,以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范,强调了这些规范在开发安全智能合约中的重要性。
规范语言
形式验证
智能合约
合约不变性
方法合约
行为规范
Veridise
发布于 2023-06-16
阅读 ( 707 )
Truffle框架
Truffle:Truffle是一个流行的开发框架,专门用于构建以太坊(Ethereum)区块链应用程序。它提供了一组工具和库,以简化智能合约的开发、测试和部署过程。下面是Truffle框架的主要功能:智能合约开发:Truffle提供了一个简洁的开发环境,可以编写Solidity智能合约。它
Leo Turing
发布于 2023-06-14
阅读 ( 4182 )
( 3 )
探索智能合约开发中的单例合约
这篇文章深入探讨了单例合约在区块链智能合约开发中的重要性,以及其优势和实现方法。通过优化资源使用、标准化接口、提升安全性和治理能力,单例合约为去中心化应用程序提供了一种高效的管理方式。
单例合约
区块链
智能合约
去中心化应用
资源优化
安全性
genisis0x
发布于 2023-06-14
阅读 ( 437 )
智能合约中使用 NatSpec 的最佳实践
使用好 NatSpec 注释规范,可以帮助开发者为智能合约创建更有效的文档。
Solidity
智能合约
翻译小组
发布于 2023-06-13
阅读 ( 3127 )
( 17 )
Cicada 利用时间锁谜题和零知识证明实现链上投票
Cicada:一个新的、开源的 Solidity 库,利用时间锁谜题和零知识证明来实现私人链上投票。
ZKP
Cicada
Sigma协议
ElGamal算法
Semaphore
a16z Crypto
发布于 2023-06-10
阅读 ( 1720 )
Solidity 开发教程 - 开始编写合约
编写我们的第一个合约。
Solidity
DeCert.me
发布于 2023-06-01
阅读 ( 380 )
( 20 )
solidity修饰符与数据位置
/*可见性修饰符:publicexternalinternalprivatepublic:作用域:状态变量、函数状态变量:可以在合约内外被读取,自动生成一个公共的getter函数。函数:可以从合约内外部调用,自
Leo Turing
发布于 2023-05-29
阅读 ( 1722 )
( 8 )
从 Counter 合约看代码结构 - Solidity 教程连载
从第一个 Counter 智能合约看合约代码结构
Solidity
DeCert
DeCert.me
发布于 2023-05-29
阅读 ( 3212 )
( 18 )
理解智能合约元数据
理解智能合约字节码末尾的元数据
Solidity
元数据
智能合约
翻译小组
发布于 2023-05-28
阅读 ( 3445 )
( 39 )
关于ABIEncoderV2的使用
ABIEncoder介绍ABIEncoder应用ABIEncoderV2和ABIEncoderV1的区别1.ABIEncoder介绍ABIEncodeV2和V1是对整个合约的编译检查和更丰富的编译功能,跟abi.encode/decode无关。2.ABIEncoder应用So
DawnInShatter
发布于 2023-05-25
阅读 ( 2783 )
( 4 )
Solidity - 回购销毁合约是什么?
Solidity - 回购销毁合约实现
Solidity
心辰说区块链
发布于 2023-05-22
阅读 ( 2826 )
( 5 )
深度解析:在发送1个DAI时发生了什么
本文从通过钱包发起交易开始,解析钱包如何构建交易数据,如何设定 Gas,如何签名及序列化交易。以及当节点接收到交易后,如何验证、EVM 如何执行对应的 Solidity 字节码,如何退还 GAS 等。 值得所有开发者们仔细阅读。
EVM
Solidity
翻译小组
发布于 2023-05-16
阅读 ( 8389 )
( 316 )
PUSH0 操作码:Solidity 最新 0.8.20 版本中的一项重大更新
Solidity 0.8.20 版本发布,引入了新的操作码 `PUSH0`。`PUSH0` 的作用是将常量 0 推送到堆栈上,可以减少合约字节码大小,降低合约部署的 Gas 成本。在以太坊主网使用该操作码时,需要注意其他链可能不支持 `PUSH0` 操作码,需要选择正确的 EVM 版本。
Solidity
PUSH0
EVM
Gas 成本
智能合约
操作码
decipherclub
发布于 2023-05-15
阅读 ( 258 )
Gambit:用于形式验证的Solidity突变测试工具
这篇文章讨论了如何在自动化验证的背景下应用突变测试,介绍了一个名为Gambit的开源突变生成器,该工具用于增强Solidity智能合约的测试,并与Certora Prover工具集成。文章深入探讨了突变测试在提高正式规范质量和识别安全漏洞方面的重要性,并提供了视觉化结果的相关信息,展示了突变检测的效果和改进方向。
突变测试
Solidity
智能合约
自动化验证
Certora Prover
开源
chandra_nandi
发布于 2023-05-12
阅读 ( 489 )
Hardhat 开发框架 - Solidity开发教程连载
Decert.me 连载教程 《Solidity开发教程》 -- 工具篇
Hardhat
DeCert
DeCert.me
发布于 2023-05-11
阅读 ( 6357 )
( 116 )
DappReaderV2合约可视化工具2.0版开源啦
DappReader是一款集成管理智能合约,快速团队联调工具,现已开源
开源
工具
李大猫
发布于 2023-04-25
阅读 ( 2518 )
‹
1
2
...
27
28
29
30
31
32
33
...
50
51
›
发表文章
我要提问
扫一扫 - 使用登链小程序
热门文档
»
Solidity 中文文档 - 合约开发
Foundry 中文文档 - 开发框架
Hardhat 中文文档 - 开发框架
ethers.js 中文文档 - 与链交互
Viem 中文文档 - 与链交互
web3.js 中文文档 - 与链交互
Anchor 中文文档 - 开发框架
以太坊改进提案EIP翻译
以太坊域名服务(ENS)文档
Etherscan API 手册 - 查询链上数据
热门百科
»
内联汇编
Ordinals
轻客户端
Segwit
限制条款
去中心化存储
ERC4337
OpenBuild
Raydium
错误处理
zk-SNARK
Groth16
restaking
ZK-Rollup
代币标准
L1
借贷
Makerdao
P2SH
CoinJoin
DAI
PBS
指南
开发者
协议
30天文章收益榜
»
Henry
96 篇文章,569 学分
Tiny熊
191 篇文章,458 学分
Helius
152 篇文章,425 学分
寻月隐君
265 篇文章,390 学分
blockmagnates
75 篇文章,389 学分
×
发送私信
请将文档链接发给晓娜,我们会尽快安排上架,感谢您的推荐!
发给:
内容: