文章 - 登链社区

100 个Solana日常技巧 - 提升 Solana 程序安全

本文是r0bre在3个多月的时间里编写的100个Solana技巧的合集，旨在提高Solana开发者和审计师的技能。内容涵盖项目结构、Anchor约束、代码学习、不变量、动态断言、全局程序状态、账户填充、PDA种子、剩余账户安全、日志记录、并行处理、数学运算安全、重入、ATA账户初始化、多重签名、事件响应计划、编程监控以及Solana账户模型等多个方面。

solana开发 Solana安全智能合约 Anchor框架审计技巧公链安全密码学账户模型

accretionxyz
发布于 4天前
阅读 ( 965 )
( 190 )

Solana 索引器 CLI - 高性能区块链监控工具

Solana Indexer CLI 是一个用于实时 Solana 区块链监控、账户跟踪和数据索引的命令行工具，具有高级缓存和 gRPC 流媒体功能。它具有实时槽跟踪、账户监控、gRPC 流媒体、多层缓存、IPFS 集成、数据库持久化和交互式 TUI 等关键特性，能够高性能地监控 Solana 区块链。

Solana indexer 区块链监控 gRPC 缓存命令行工具

senzenn
发布于 4天前
阅读 ( 818 )
( 72 )

EVM 是如何确认该调用哪个智能合约函数的？

本文深入探讨了Solidity函数分发器的工作原理，包括EVM的结构、存储、内存、瞬态存储、栈、calldata和程序计数器等关键组件。详细解释了智能合约如何从calldata中检索函数选择器，并将其与合约字节码中的函数选择器进行比较，最终跳转到相应的代码位置执行函数，如果未找到匹配项则执行revert操作。

Solidity EVM 函数分发器 Calldata 智能合约 OpCode

trashpirate
发布于 5天前
阅读 ( 563 )
( 22 )

今天就实施 EIP-7730 , 让硬件钱包不再盲签

本文讨论了Web3生态系统中长期被忽视的盲签问题，以及Bybit被黑事件暴露出的用户验证交易信息的不足。文章分析了EIP-712的局限性，并提出了EIP-7730作为一种解决方案，通过使硬件钱包能够解码交易，帮助用户理解他们实际签署的内容，从而提高交易的安全性，并降低了开发者的实施负担。

盲签 EIP-7730 EIP-712 硬件钱包交易安全 Web3

Trail of Bits
发布于 3天前
阅读 ( 471 )
( 22 )

以太坊上实现隐私保护的 cWETH（confidential Wrapped ETH）方案

本文提出了一个在以太坊上实现隐私保护的cWETH（confidential Wrapped ETH）方案。该方案通过结合椭圆曲线ElGamal加密和Diffie-Hellman密钥交换协议，并利用zk-SNARKs零知识证明技术，实现了对ETH交易金额和余额的加密，从而在不依赖中心化实体的情况下，实现ETH的保密点对点支付、捐赠和交易。

隐私保护零知识证明 zk-SNARKs cWETH ElGamal加密 Diffie-Hellman密钥交换

以太坊中文
发布于 4天前
阅读 ( 456 )
( 24 )

从EVM 迁移到 SVM ：评估 Solana 程序安全时需关注的关键概念

本文深入探讨了从EVM到SVM的过渡中的关键概念，对于进行Solana安全评估至关重要。讨论了程序派生地址（PDA）及其生命周期、跨程序调用（CPI）、Solana程序库（SPL）Token、交易和指令，以及涉及Solana原生资产的操作，同时强调了这些概念在安全评估中的重要性。

Solana SVM EVM pda CPI SPL Token

sigmaprime
发布于 5天前
阅读 ( 447 )
( 17 )

利用 Lighter + Succinct 实现无跨链桥的可组合性

本文介绍了无桥抵押模型，它通过将资产保留在以太坊L1上，并利用ZK证明将其价值投射到高性能L2上，实现了资本位置与效用的分离。该模型通过Lighter和Succinct两项技术实现，具有提高资本效率、实现跨层可组合性、确保安全互操作性等优点，并克服了传统桥接的局限性。

ZK证明 L2 无桥抵押 Lighter Succinct 以太坊

0xjaehaerys
发布于 3天前
阅读 ( 406 )
( 17 )

数字售货机：编写我们的代币销售合约

本文介绍了如何创建一个代币销售智能合约，该合约允许用户使用以太币购买 ERC-20 代币。文章详细讲解了合约的关键功能、设计以及代码实现，包括合约的构造函数、购买代币函数、设置价格函数和提款函数，并提供了在 Remix IDE 中的部署和交互步骤。

ERC-20 代币销售合约 Solidity 智能合约 Remix IDE

blockmagnates
发布于 4天前
阅读 ( 403 )
( 18 )

AI代理如何在任何代码库中发现深层逻辑漏洞

文章介绍了Hound，一个语言无关的AI代码安全审计工具，它模拟人类专家的认知过程，通过构建动态知识图谱和推理模型来发现代码中的深层逻辑错误。Hound使用大型推理模型生成有针对性的假设，并使用认知和组织过程来帮助AI进行推理、记忆和改进。文章还展示了如何在Code4rena的SecondSwap审计竞赛的代码库上运行Hound。

代码安全审计 AI 知识图谱漏洞检测智能合约 GPT

muellerberndt
发布于 4天前
阅读 ( 380 )
( 17 )

智能合约的形式化验证：防范 Web3 漏洞的终极卫士

本文介绍了形式化验证（Formal Verification，FV）在智能合约安全中的重要性。FV 是一种数学技术，用于证明代码在所有可能场景下的正确性，能够有效防止智能合约中因漏洞导致的财务损失和信任危机。文章详细解释了 FV 的原理、步骤，并提供了一些实用工具和集成建议。

形式化验证智能合约安全漏洞数学证明 Certora Prover

blockmagnates
发布于 4天前
阅读 ( 380 )
( 15 )

交易所钱包系统开发 #1 - 系统设计

前不久，我写了一篇设计稳定币系统的文章，有很多朋友和交流一些细节，我发现很多同学想详细了解托管类系统，如何处理资金安全问题。从这篇文章开始，将以交易所为例，设计和实现一个安全且极简的加密货币托管系统，以便大家在实现类似系统的时候有一个参考。因为管理资金的是钱包，托管系统有时也叫交易所钱包系统。交

交易所钱包钱包开发

Tiny熊
发布于 2天前
阅读 ( 368 )
( 41 )

Aptos Move 实战：用 signer 实现合约所有权与访问控制

in Aptos

AptosMove实战：用signer实现合约所有权与访问控制在智能合约的世界里，最基础也是最核心的安全问题莫过于：“谁有权执行此操作？”。无论是转账、修改状态还是管理合约，我们都必须先验证调用者的身份。AptosMove为此提供了一个强大而独特的类型——signer。signer

Aptos

寻月隐君
发布于 3天前
阅读 ( 360 )
( 11 )

CryptoZombies 游戏：冷却时间、等级和高效数据

本文主要讲解了如何在以太坊的 CryptoZombies 游戏中实现核心游戏机制，包括使用时间戳实现技能冷却，使用带参数的modifier来实现等级限制，以及如何通过for循环来高效检索玩家拥有的僵尸，避免gas消耗。通过这些机制，让游戏更具动态性和可玩性。

以太坊智能合约 Solidity 游戏开发 gas优化 modifier

blockmagnates
发布于 4天前
阅读 ( 358 )
( 7 )

在Solidity中实现DAO：从概念到代码的全面剖析

今天我们要聊一个在区块链世界里超级火热的话题——DAO（去中心化自治组织，DecentralizedAutonomousOrganization）。DAO就像一个链上的“民主社区”，通过智能合约让成员共同决策、管理资金或资源，摆脱中心化控制。如果你玩过DeFi、NFT或者Web3项目，可能会听说

Solidity 智能合约

天涯学馆
发布于 4天前
阅读 ( 337 )
( 18 )

深入分析在Solidity中实现多签钱包

今天我们要聊一个在区块链开发中超级重要且实用的主题——多签钱包（Multi-SignatureWallet）。如果你玩过DeFi、DAO或者团队管理的加密资产，肯定听说过多签钱包。它就像一个“多人保险箱”，需要多个签名者同意才能动用资金，极大地提高了安全性和去中心化特性。多签钱包是什么？为什么需

soloidity 以太坊智能合约

天涯学馆
发布于 5天前
阅读 ( 317 )
( 12 )

重入漏洞完全实战指南

本文全面分析了重入漏洞，并通过可执行的示例介绍了各种攻击类型。

重入漏洞 Reentrancy CEI模式智能合约安全以太坊漏洞分析

Ackee
发布于 2天前
阅读 ( 315 )
( 18 )

Aptos Move DeFi 实战：从零构建流动性池兑换逻辑

in Aptos

AptosMoveDeFi实战：从零构建流动性池兑换逻辑去中心化交易所（DEX）是DeFi生态的基石，而其核心正是流动性池背后的自动做市商（AMM）算法。对于有志于在Aptos上构建DeFi应用的开发者来说，亲手实现并验证一个兑换（Swap）功能，是理解其底层机制的最佳路径。本

Web3 Move Aptos Aptos

寻月隐君
发布于 4天前
阅读 ( 307 )
( 12 )

【安全月报】| 8 月加密货币安全事件造成 1.81 亿美元损失

8 月加密货币领域因黑客攻击、诈骗及漏洞利用造成的总损失约1.81 亿美元

黑客攻击钓鱼攻击加密货币区块链安全

零时科技
发布于 4天前
阅读 ( 307 )
( 11 )

React Native DApp 开发全栈实战·从 0 到 1 系列（NFT交易所-合约部分）

前言本文以OpenZeppelin5.x最新组件为基础，用Hardhat完成「合约→编译→测试→部署」全链路流程。解决openzeppelinV5在0.8.24环境下易出现的编译失败的解决方案；示范了零托管的现场分账逻辑：版税、平台费、卖家收益一次性链上清算，合约不

NFT交易 Solidity

木西
发布于 6天前
阅读 ( 302 )
( 10 )

React Native DApp 开发全栈实战·从 0 到 1 系列（流动性挖矿-合约部分）

前言本文基于OpenZeppelinv5最新组件（ERC-4626+AccessManager+ReentrancyGuard），将「质押凭证」、「奖励分发」、「权限治理」三者解耦，实现「一键部署、按需授权、秒级清算、线性释放」的典型DeFi场景。通过阅读本文，你将获得：

流动性挖矿 DeFi Solidity Open Zeppelin

木西
发布于 3天前
阅读 ( 296 )
( 9 )