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

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
  • 阅读 ( 116 )

使用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
  • 阅读 ( 109 )

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

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

深入探讨 Solidity 库

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

零时科技入选FreeBuf 咨询《CCSIP 2022 中国网络安全行业全景册（第五版）》

未来，零时科技将继续扎根“区块链安全”这一关键赛道，不忘初心，怀揣热爱，为全球区块链企业的安全保驾护航。
安全审计  零时科技  区块链安全 

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

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

什么是Solana账户模型？

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

探索Cosmos：安全基础知识

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

写一个uniswap价差套利的合约

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

如何寻找代理合约的真地址

寻找代理合约真地址的一种方法
代理合约  trace 
  • 晓道
  • 发布于 2023-02-03
  • 阅读 ( 4807 )
  • ( 54 )

如何在Polygon zkEVM 测试网上部署合约

如何在Polygon zkEVM 测试网上部署合约
zkEVM  EVM  智能合约 

Solana程序库是什么？

本文深入探讨了Solana区块链及其程序库（SPL），重点介绍了如何使用SPL快速开发和部署去中心化应用。文章详细阐述了Solana的账户模型、并行处理机制以及SPL的使用方法，为开发者提供了实现自己代币的实用步骤和命令，适合新手和有经验的开发者。
Solana  SPL  代币  智能合约  并行处理  开发 
  • Alchemy
  • 发布于 2023-02-02
  • 阅读 ( 972 )

了解如何执行闪电贷

本文介绍了 DeFi 中的闪电贷概念，并通过一个使用 Aave 协议借贷 USDC 的智能合约示例，详细展示了如何在 BuildBear 测试网上部署和测试闪电贷合约。文章还对比了在本地节点和公共测试网上进行开发和测试的优劣，突出了 BuildBear 在提供 Mainnet fork、Faucet、交易调试和状态共享等方面的优势。
闪电贷  DeFi  Aave  智能合约  BuildBear  USDC 

游戏中的创作者经济

本文探讨了Web3游戏与用户生成内容(UGC)的结合，分析了传统游戏向UGC平台转型的趋势，以及区块链技术如何赋能游戏创作者和玩家，使用户能够在虚拟世界中获得收益。文章还讨论了Web3游戏面临的挑战，如过度金融化和版权问题，并提出了Web3游戏应平衡社区和利润，并为创作者提供更多支持的观点。
Web3游戏  用户生成内容  UGC  区块链  NFT  游戏平台 

2022年Solana黑客事件详解

本文深入探讨了2022年Solana生态系统中发生的多起重大安全事件，包括Wormhole、Cashio、Crema Finance、Nirvana Finance、Slope Wallet、Mango Markets和Solend等项目遭受的攻击。分析了攻击的原因、过程和影响，强调了第三方安全审计的重要性，并指出某些攻击实际上是市场操纵。
Solana  漏洞  攻击  Wormhole  Cashio  Mango Markets  预言机  安全审计 
  • Ackee
  • 发布于 2023-02-02
  • 阅读 ( 163 )

正在基于Arbitrum构建的顶级项目

Arbitrum生态系统自2021年推出以来，已经发展成为领先的第二层解决方案，TVL超过20亿美元。文章深入分析了多个正在蓬勃发展的去中心化应用（Dapp），包括GMX、TreasureDAO和Dopex等，强调了Arbitrum以快速且低成本的交易吸引开发者和流动性，并预测未来两年将继续增长。
Arbitrum  L2  DeFi  GMX  TreasureDAO  Dopex 

Etherscan显示合约的创建代码还是运行时代码？

本文探讨了Etherscan上已部署和验证的智能合约显示的字节码内容。通过实验对比，发现Etherscan显示的并非仅是运行时字节码，而是完整的字节码（创建代码+运行时代码），并附加构造函数参数（如果存在）。此外，未验证的合约在Etherscan上仅显示运行时字节码。
Etherscan  智能合约  字节码  运行时代码  创建代码  构造函数参数 

Solidity 非权威开发指南（5）：合约升级

所有以太坊开发者都清楚以太坊世界的一条铁律：合约一旦发布就无法修改。因此，对于合约的发布基本上都采用一种慎之又慎的态度，期望在发布前可以做到尽善尽美，力争合约能正常运行一万年。可是，智者千虑必有失，合约发布百分百不出问题几乎是不可能任务。
合约升级  Solidity 
  • 胡键
  • 发布于 2023-02-02
  • 阅读 ( 6209 )