文章 - 第563页 - 登链社区

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

Web3.0 元宇宙去中心化

十四君
发布于 2023-02-06
阅读 ( 4105 )
( 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
阅读 ( 156 )

合约担保收入

该文档提出了一个修改版的 EIP-1559 提案，旨在将一部分原本销毁的基础费用分配给在给定区块内消耗 gas 的合约部署者，为开发者和那些能够吸引大量网络活动的参与者提供协议级别的补贴，通过 CSR NFT 来认领未来产生的费用。

EIP-1559 Gas 费智能合约 NFT CSR Turnstile

Canto-Improvement-Proposals
发布于 2023-02-05
阅读 ( 124 )

Magician-Scanning 支持 Tron 链了

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

以太坊区块链扫块

Magician开源
发布于 2023-02-05
阅读 ( 3565 )
( 9 )

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

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

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

智能合约 Halmos 符号测试单元测试 ERC721A 形式化验证

a16z Crypto
发布于 2023-02-04
阅读 ( 1427 )

破译 BONq DAO 的 1.2 亿美元漏洞

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

安全事件分析漏洞分析

Polaris_tow
发布于 2023-02-04
阅读 ( 3149 )
( 15 )

Damn Vulnerable DeFi Climber 解决方案

本文分析了Damn Vulnerable DeFi的Climber挑战，重点在于ClimberTimelock合约的漏洞，该漏洞允许攻击者执行任意代码。

UUPS代理模式时间锁访问控制提权升级攻击 Damn Vulnerable DeFi

Dacian
发布于 2023-02-04
阅读 ( 143 )

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

本文探讨了在比特币中添加限制条款（Covenant）的可能性，旨在扩展比特币 Layer 1 的能力，使其成为支持一切计算的通用结算层。

限制条款 UTXO 默克尔树智能合约 Layer 2 欺诈证明

BTCStudy
发布于 2023-02-04
阅读 ( 537 )

深入探讨 Solidity 库

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

Solidity Library delegatecall EVM 智能合约 Yul

MarqyMarq
发布于 2023-02-03
阅读 ( 752 )

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

随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币，ZK-rollup加密叙事继续深入布局。

Tokenview
发布于 2023-02-03
阅读 ( 3189 )
( 9 )

什么是Solana账户模型？

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

Solana 账户模型可执行程序非可执行程序租金机制 Rust

Alchemy
发布于 2023-02-03
阅读 ( 1343 )
( 2 )

探索Cosmos：安全基础知识

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

Cosmos 区块链 Cosmos SDK IBC 安全性模块化

zellic
发布于 2023-02-03
阅读 ( 960 )

写一个uniswap价差套利的合约

价差套利所谓的价差套利，本质上就是低买高卖。举个例子，假设sushiswap里的ETH价值1500USDT，uniswap里的ETH价值1600USDT，那么我们可以以1500USDT在sushiswap里买入1ETH，然后在uniswap里卖出获得1600USDT

套利

biakia
发布于 2023-02-03
阅读 ( 8465 )
( 85 )

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

寻找代理合约真地址的一种方法

代理合约 trace

晓道
发布于 2023-02-03
阅读 ( 4833 )
( 54 )

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

zkEVM EVM 智能合约

翻译小组
发布于 2023-02-03
阅读 ( 5627 )
( 38 )

Solana程序库是什么？

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

Solana SPL 代币智能合约并行处理开发

Alchemy
发布于 2023-02-02
阅读 ( 1034 )

了解如何执行闪电贷

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

闪电贷 DeFi Aave 智能合约 BuildBear USDC

0chandan
发布于 2023-02-02
阅读 ( 522 )

游戏中的创作者经济

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

Web3游戏用户生成内容 UGC 区块链 NFT 游戏平台

Joel John
发布于 2023-02-02
阅读 ( 818 )

2022年Solana黑客事件详解

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

Solana 漏洞攻击 Wormhole Cashio Mango Markets 预言机安全审计

Ackee
发布于 2023-02-02
阅读 ( 202 )