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

如何实施钻石标准

本文章深入介绍了Diamond Standard（EIP-2535）的原理及实现，作者Nick Mudge概述了其优点和组件，如Diamond.sol、DiamondLoupeFacet.sol和DiamondCutFacet.sol等，强调其在提高智能合约可扩展性和透明度方面的应用，同时对Diamond Storage和App Storage的管理状态变量提出了建议。
Diamond Standard  EIP-2535  智能合约  代理模式  链上应用  可扩展性 

每周以太坊进展 2023/2/4

每周以太坊进展 2023/2/4
每周以太坊 
  • EthWeekly
  • 发布于 2023-02-08
  • 阅读 ( 2705 )
  • ( 22 )

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

各种智能合约语言有自己的设计哲学，他们并非一样，这篇文章探索一下 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
  • 阅读 ( 3760 )
  • ( 14 )

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

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

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

区块链开发者学习路线图
学习资源  入门  路线图 
  • 七哥
  • 发布于 2023-02-07
  • 阅读 ( 8435 )
  • ( 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
  • 阅读 ( 3456 )
  • ( 27 )

Magician-Scanning 支持 Tron 链了

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

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

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

破译 BONq DAO 的 1.2 亿美元漏洞

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

深入探讨 Solidity 库

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

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

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

什么是Solana账户模型？

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

探索Cosmos：安全基础知识

Cosmos是一个互操作区块链的网络，允许开发者使用Cosmos SDK构建特定应用的区块链。文章详细介绍了Cosmos的架构、模块化设计、安全措施以及与其他区块链的通信方式，强调了其在应用开发和安全性方面的优势。
Cosmos  区块链  Cosmos SDK  IBC  安全性  模块化 
  • zellic
  • 发布于 2023-02-03
  • 阅读 ( 148 )

写一个uniswap价差套利的合约

价差套利所谓的价差套利，本质上就是低买高卖。举个例子，假设sushiswap里的ETH价值1500USDT，uniswap里的ETH价值1600USDT，那么我们可以以1500USDT在sushiswap里买入1ETH，然后在uniswap里卖出获得1600USDT
套利 
  • biakia
  • 发布于 2023-02-03
  • 阅读 ( 7468 )
  • ( 85 )