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

各智能合约编程语言的权衡

各种智能合约语言有自己的设计哲学，他们并非一样，这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。
Cairo  Move  Solidity  智能合约 

雪绒花互操作性活动回顾

以太坊协议开发者在合并后几个月取得了多项进展，包括提款、danksharding、EOF、verkle tries等。为了推进这些进展，客户端团队成员在奥地利举行了为期一周的互操作性活动Edelweiss。活动主要关注Shapella和ProtoDanksharding网络升级，以及EVM对象格式(EOF)等其他开放问题，并启动了一个新的Verkle Trie测试网。
shapella  Protodanksharding  EIP-4844  EVM Object Format (EOF)  Verkle Trie  SSZ 

Uniswap V3 的毒性交易流(Toxic Flow)识别：第一部分

这篇文章深入探讨了Uniswap ETH/USDC流动性池的盈利能力及其与毒流动的关系，提出价格歧视作为实现更高流动性提供者盈利的新方法。通过分析交易规模、钱包历史和交易流特性，作者总结出新钱包更可能产生小额正盈利交易，而频繁大额交易则是毒流的主要来源，并强调了区分有毒流的重要性。
Uniswap  ETH/USDC  流动性池  价格歧视  毒性交易流 

以太坊智能合约创建代码

文章详细解释了以太坊智能合约在字节码级别是如何构造的，特别是构造函数参数的解释和处理方式。文章通过多个示例和图示，深入探讨了初始化代码、运行时代码以及带参数的构造函数的实现细节。
字节码  合约构造  初始化代码  运行时代码  构造函数参数  EVM 

Merkle trees （Golang实现）

使用Golang实现Merkle算法。
Merkle树 
  • Hiob
  • 发布于 2023-02-07
  • 阅读 ( 4355 )
  • ( 14 )

零时科技 || 损失8800万美元，加密协议BonqDAO被攻击事件分析

polygon链上去中心化借贷协议BONQ受到黑客攻击，攻击者获得了1.13亿个WALTB和9865万个BEUR
零时科技  区块链安全  安全审计 

最全区块链开发者学习路线图

区块链开发者学习路线图
学习资源  入门  路线图 
  • 七哥
  • 发布于 2023-02-07
  • 阅读 ( 9346 )
  • ( 81 )

【登链公开课】直播预告：跨链主流技术机制浅析 2.9日(周四)晚8点

2.9（周四）晚8点直播：跨链主流技术机制浅析
登链公开课  跨链 

Solidity Gas剩余量

本文详细介绍了Solidity中的`gasleft()`函数的作用及其应用场景，包括防止交易耗光Gas、代码执行成本基准测试、转发所有Gas到实现合约以及防止中继器拒绝服务攻击等。
gasleft()  Solidity  Gas  EVM  OpenZeppelin  Chainlink 

解读Nostr：抗审查的去中心化社交协议

社交是明珠，是互联网各赛道护城河最深的品类，这是因为他具有强大的网络效应
Web3.0  元宇宙  去中心化 
  • 十四君
  • 发布于 2023-02-06
  • 阅读 ( 3970 )
  • ( 27 )

Damn Vulnerable DeFi Free Rider 题解

本文分析了 Damn Vulnerable DeFi v3 挑战中的 Free Rider 题目，该题目的目标是从NFT市场窃取NFT并排空市场的ETH。文章详细分析了FreeRiderNFTMarketplace.sol合约的buyMany()函数中的漏洞，利用该漏洞可以仅支付最高价格的NFT的价格来购买所有NFT，并通过UniswapV2的闪兑功能获取足够的ETH，最终成功攻击了市场合约。
智能合约安全  重入攻击  以太坊  NFT  闪兑  UniswapV2 
  • Dacian
  • 发布于 2023-02-05
  • 阅读 ( 75 )

Magician-Scanning 支持 Tron 链了

本次更新主要是增加了对Tron的支持，但是由于本人近期非常忙，所以只开发了基础功能，对Tron的扫描暂时不支持过滤器，监听器里面会收到所有扫描到的交易记录，需要由开发者自己去判断筛选交易记录。直接采用的httpAPI，没有增加任何依赖创建一个Tron监听器条件过滤器还在开发中，可
以太坊  区块链  扫块 

Damn Vulnerable DeFi Backdoor 解决方案

本文分析了Damn Vulnerable DeFi v3 Backdoor挑战，该挑战涉及利用Gnosis Safe v1.3.0钱包注册表的漏洞。攻击者通过部署恶意合约，在Gnosis Safe钱包创建过程中利用delegatecall机制，在钱包的上下文中批准攻击合约转移token，最终耗尽注册表中的所有token。
Gnosis Safe  delegatecall  漏洞利用  智能合约  代理合约  安全 
  • Dacian
  • 发布于 2023-02-05
  • 阅读 ( 67 )

使用Halmos进行形式化验证的符号测试

本文详细介绍了形式化验证（formal verification）的过程及其在智能合约中的应用，强调了与单元测试的互补关系，以及如何利用Halmos工具简化形式化验证的实施。文中分析了正式验证的挑战、规范的编写开销及其在ERC721A智能合约中的案例，展示了通过符号测试实现高效验证的重要性。
智能合约  Halmos  符号测试  单元测试  ERC721A  形式化验证 

破译 BONq DAO 的 1.2 亿美元漏洞

2023年2月1日，BONqDAO遭到预言机攻击。攻击者通过预言机操纵技术完全改变了AllianceBlock的$ALBT代币价格，估计损失约1.2亿美元。
安全事件分析  漏洞分析 

Damn Vulnerable DeFi Climber 解决方案

本文分析了Damn Vulnerable DeFi的Climber挑战，重点在于ClimberTimelock合约的漏洞，该漏洞允许攻击者执行任意代码。
UUPS代理模式  时间锁  访问控制  提权  升级攻击  Damn Vulnerable DeFi 
  • Dacian
  • 发布于 2023-02-04
  • 阅读 ( 63 )

如何利用限制条款在比特币上实现通用智能合约

本文探讨了在比特币中添加限制条款（Covenant）的可能性，旨在扩展比特币 Layer 1 的能力，使其成为支持一切计算的通用结算层。
限制条款  UTXO  默克尔树  智能合约  Layer 2  欺诈证明 

深入探讨 Solidity 库

本文深入探讨了Solidity库的工作原理，详细介绍了如何使用`delegatecall()`调用库函数，以及如何创建和发布一个Solidity库。文章还讨论了库与智能合约的关键区别，并提供了多个代码示例来演示库的使用方法。
Solidity  Library  delegatecall  EVM  智能合约  Yul 

2023年值得期待的加密叙事之 ZK-rollups

随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币，ZK-rollup加密叙事继续深入布局。
  • Tokenview
  • 发布于 2023-02-03
  • 阅读 ( 3102 )
  • ( 9 )

什么是Solana账户模型？

本文深入探讨了Solana账户模型，包括账户的定义、类型及其运作机制。文章通过与以太坊智能合约的比较，阐述了可执行程序与非可执行程序的区别以及账户的各种分类和组成元素。此外，还介绍了Solana账户的租金机制和创建方法，提供了全面的技术理解与应用视角。
Solana  账户模型  可执行程序  非可执行程序  租金机制  Rust 
  • Alchemy
  • 发布于 2023-02-03
  • 阅读 ( 1201 )
  • ( 2 )