文章
视频
课程
百科图谱
集训营
更多
问答
提问
发表文章
专栏
活动
文档
工作
集市
发现
Toggle navigation
文章
问答
视频
课程
集训营
专栏
活动
工作
文档
集市
搜索
登录/注册
精选
推荐
最新
周榜
关注
RSS
全部
通识
以太坊
比特币
Solana
公链
Solidity
Web3应用
编程语言
安全
密码学
AI
存储
其他
代理合约
代理的核心逻辑contractProxy{addresspublicimplement;constructor(addressimpl){implement=impl;}fallback()externalpayab
代理合约
打野工程师
发布于 2023-03-30
阅读 ( 2951 )
( 2 )
Gambit:一种用于形式验证的Solidity变异测试工具
本文介绍了变异测试在自动化验证中的应用,重点介绍了一种名为Gambit的开源变异生成器,用于针对Solidity语言进行变异,并与Certora Prover集成以验证智能合约的规范。通过生成故障版本程序,Gambit能够评估现有测试套件的有效性,并帮助识别和改进潜在的规范缺陷,从而提高智能合约的安全性和可靠性。
变异测试
自动化验证
Solidity
智能合约
Certora Prover
Gambit
Certora
发布于 2023-03-30
阅读 ( 530 )
函数选择器冲突
函数选择器冲突在代理模式中,如果方法不加以校验可能会出现安全漏洞.
代理合约
打野工程师
发布于 2023-03-28
阅读 ( 2893 )
( 12 )
批量编译智能合约过程记录
这两天的区块链研究我的任务是要把大约五万个智能合约的源码编译成字节码的形式,并且提取智能合约中所用到的公开库,过程中遇到了一些困难,当然也是有收获的,所以在这个任务做完之后,写了这篇文章记录一下
EVM字节码
oacia
发布于 2023-03-20
阅读 ( 3041 )
( 17 )
分析0xSplits - 收入拆分协议
0xSplits 是一个收入拆分协议,为低 Gas 实现收入拆分提供了很好的实现思路。
Gas
协议
翻译小组
发布于 2023-03-19
阅读 ( 4145 )
( 39 )
ChatGPT能审计智能合约吗?
文章讨论了GPT-4在智能合约审计中的局限性,特别是在识别关键漏洞方面的失败。通过实例合约展示了函数中的输入验证缺失,以及GPT-4未能检测到这一漏洞的实验结果,强调了对重要金融代码的审计仍然需要人类专家的参与。
智能合约
审计
GPT-4
关键漏洞
输入验证
zellic
发布于 2023-03-19
阅读 ( 490 )
ABI 编码深入解析
本文深入探讨了Solidity中的ABI编码机制,详细解释了函数选择器和参数编码的原理,特别是静态类型和动态类型的编码方式,并通过一个实际的调用数据解析示例展示了如何手动解码ABI编码的数据。
ABI编码
Solidity
函数选择器
动态类型
静态类型
Calldata
ljmanini
发布于 2023-03-18
阅读 ( 992 )
Foundry 开发框架 - Solidity开发教程连载
Foundry是一个Solidity框架,用于构建、测试、模糊、调试和部署Solidity智能合约,Foundry的优势是以Solidity作为第一公民。
Foundry
DeCert
DeCert.me
发布于 2023-03-16
阅读 ( 8126 )
( 98 )
Solidity 中的私有变量不私有
本文不仅详细解读了如何从合约里读取私钥状态变量的数据,还结合具体场景描述了如何应对需要在合约存取秘密的需求。
Ashton
发布于 2023-03-16
阅读 ( 2401 )
( 6 )
Solidity Gas 优化 - 理解不同变量 Gas 差异
in
全面掌握Solidity智能合约开发
in
全面掌握Solidity智能合约开发
通过一个 gas 挑战,理解 Gas 优化技巧。
Gas
翻译小组
发布于 2023-03-12
阅读 ( 5244 )
( 2 )
引介|EVM 深入探讨 Part 5
这是noxx“EVM深入探讨”系列的第五部分,这期我们将从Solidity、EVM和Geth客户端层的工作原理,详细解读CALL和DELEGATECALL这两个操作码。
EVM
慢雾科技
发布于 2023-03-11
阅读 ( 2499 )
验证 Foundry 中的 Solidity 签名
本文介绍了如何在Foundry环境中使用OpenZeppelin安全地创建和验证ECDSA签名,提供了Verifier.sol合约和测试代码Verifier.t.sol的示例。
ECDSA
OpenZeppelin
Foundry
Solidity
签名验证
RareSkills
发布于 2023-03-10
阅读 ( 523 )
Solidity 带符号整数
本文详细介绍了 Solidity 中的有符号整数及其在 EVM 层面的使用方式,重点解释了两补码(Two’s Complement)表示法及其在加减乘除等算术运算中的应用。
Solidity
EVM
Two’s Complement
有符号整数
算术运算
RareSkills
发布于 2023-03-10
阅读 ( 594 )
如何判断目标合约是否实现了某个方法
0x01碰到的问题比如下面的代码:我们想从store合约里通过调用getValue方法来获取数据。但问题是,我们并不能确定store合约一定实现了getValue方法。很典型的一种情况是,我们需要将StoreReader不同的环境,不同的环境都有自己的store实现,一
ERC165
Ashton
发布于 2023-03-02
阅读 ( 2455 )
( 8 )
如何审计一个智能合约
智能合约审计用于整个DeFi生态系统,通过对协议代码的深入审查,可以帮助解决识别错误、低效代码以及这些问题。智能合约具有不可篡改的特点,这使得审计成为任何区块链项目安全流程的关键部分。来了解一下智能合约的审计的流程和已有的工具吧!
安全审计
Chainlink
发布于 2023-03-01
阅读 ( 5090 )
( 17 )
深入理解 Solidity - 关于合约代码
in
理解 EVM - 探究Solidity 背后的秘密
in
理解 EVM - 探究Solidity 背后的秘密
继续深入了解EVM , 本文探究一下智能合约的字节码
EVM
EVM字节码
智能合约
翻译小组
发布于 2023-02-27
阅读 ( 7390 )
( 2 )
理解账户抽象 #3 - 钱包创建
理解账户抽象 #3 - 钱包创建
账户抽象
Tiny熊
发布于 2023-02-25
阅读 ( 3436 )
( 24 )
理解账户抽象 #2:使用Paymaster赞助交易
理解账户抽象第二篇,看看如何使用第三方代替自己支付。
账户抽象
Tiny熊
发布于 2023-02-22
阅读 ( 5939 )
( 78 )
深入了解 Solidity - 堆栈
in
理解 EVM - 探究Solidity 背后的秘密
in
理解 EVM - 探究Solidity 背后的秘密
探讨 EVM 堆栈机器,以及如何在堆栈中推入和弹出数据
EVM
翻译小组
发布于 2023-02-20
阅读 ( 5474 )
( 2 )
第四部分:使用库来优化合约大小
本文讨论了智能合约开发者如何优化合约bytecode大小,避免达到24.576 kb的限制。文章强调了在Solidity智能合约中使用库的重要性,通过代码重用、减小合约大小、易于维护和提高安全性来最小化合约bytecode大小,并建议避免将库函数声明为internal visibility,而应使用public,以保持库函数独立并优化bytecode大小。
Solidity
智能合约
bytecode
库
代码优化
代码重用
decipherclub
发布于 2023-02-17
阅读 ( 457 )
‹
1
2
...
30
31
32
33
34
35
36
...
51
52
›
发表文章
我要提问
扫一扫 - 使用登链小程序
热门文档
»
Solidity 中文文档 - 合约开发
Foundry 中文文档 - 开发框架
Hardhat 中文文档 - 开发框架
ethers.js 中文文档 - 与链交互
Viem 中文文档 - 与链交互
web3.js 中文文档 - 与链交互
Anchor 中文文档 - 开发框架
以太坊改进提案EIP翻译
以太坊域名服务(ENS)文档
Etherscan API 手册 - 查询链上数据
热门百科
»
真实世界资产
签名器
公共物品
Holesky
时间戳
区块链桥
EIP-4337
Pedersen承诺
TRON
smart contracts
Ethena
环境搭建
Nostr
函数
跨境支付
静默支付
BIP39
Proof of History
网络性能
Axelar
代币分配
数据流
Farcaster
断言机
Futarchy
30天文章收益榜
»
Tiny熊
191 篇文章,599 学分
Henry
96 篇文章,579 学分
Helius
151 篇文章,455 学分
寻月隐君
262 篇文章,453 学分
blockmagnates
73 篇文章,431 学分
×
发送私信
请将文档链接发给晓娜,我们会尽快安排上架,感谢您的推荐!
发给:
内容: