文章 - 第39页 - 登链社区

Arbitrum之智能合约

作为一个初入Web3领域的小白，会直面很多新鲜事物的冲击，也很容易陷入到细枝末节，让自己失去信心。如何能让自己可以在一个适当的维度上学习、探索Web3，就成为一个可行的方式。最近，参加了HackQuest的Arbitrum共学营，自己以接近小白的身份去了解Arbitrum，学习的过程也是思考总结

Arbitrum Smart Contract Stylus

Henry Wei
发布于 2025-03-13
阅读 ( 432 )
( 13 )

Fireblocks 可升级代币审计 - ERC1155F

本篇文章介绍了对Fireblocks升级可转让代币的审计过程及其结果，主要关注ERC-1155标准的实现及其附加的访问控制功能。审计中发现了12个问题，其中1个为低级别问题，并提出了多项改进建议，以提升代码质量和文档清晰度。

ERC-1155 访问控制审计 Solidity 智能合约 Fireblocks

OpenZeppelin
发布于 2025-03-13
阅读 ( 203 )
( 6 )

通过智能合约理解 Chainlink Functions

本文介绍了如何使用 Chainlink Functions 将智能合约连接到外部 API，以获取城市的天气数据。通过 WeatherFunctions.sol 代码库，展示了如何创建 Chainlink Function Subscription，以及如何在智能合约中构建和发送请求，并处理返回的数据。文章详细解释了智能合约的关键步骤，例如参数传递，请求初始化等。

Chainlink Functions 智能合约 API集成天气数据预言机区块链

CoinsBench
发布于 2025-03-13
阅读 ( 167 )

Fireblocks可升级代币审计 - ERC721F

该文章对Fireblocks的可升级tokens进行了审计，主要围绕ERC721F合同中的访问控制实现及其漏洞进行了讨论。审计发现了一些高、中、低严重性的安全问题，并提供了相应的修复建议和代码改进的方向，强调了合同的可升级性及其实现中的功能特点。

ERC721F 可升级性访问控制安全审计 Solidity 智能合约

OpenZeppelin
发布于 2025-03-13
阅读 ( 249 )
( 10 )

用 AI 开发 Chrome 插件：替代 SwitchyOmega

引言最近，《SwitchyOmega被曝盗取私钥，如何防范插件被篡改？》一文引发了广泛关注，Chrome插件的安全性问题成为焦点。在AI技术蓬勃发展的当下，我们可以借助强大的AI工具来开发一款安全可靠的Chrome插件，替代SwitchyOmega。同时，Trae作为一

Chrome扩展 AI Trae

King
发布于 2025-03-13
阅读 ( 656 )
( 22 )

以太坊拨款支持的LLZK：一种新的中间表示（IR）……

Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。

零知识证明中间表示电路编译安全工具 LLZK 以太坊基金会

Veridise
发布于 2025-03-13
阅读 ( 823 )
( 34 )

ethrex L2 命令行界面（CLI）

本文介绍了ethrex L2 CLI的使用，包括安装方法、可用命令及其示例。内容详尽，涵盖CLI的配置、堆栈管理和钱包交互等功能，并提供相关操作的示例动画。

ethrex CLI 以太坊配置钱包堆栈

lambdaclass
发布于 2025-03-12
阅读 ( 222 )
( 8 )

区块链入门：智能合约（第二部分）

本文深入探讨了智能合约和Solidity语言的关键细节，包括与区块链交互的方法、合约调用模式、合约部署方式以及合约特性。作者通过实例和详细解释，阐述了如何在安全和有效的基础上构建智能合约，并强调了理解编码信息和合约结构的重要性。整篇文章结构清晰、逻辑性强，非常适合想进一步了解智能合约开发者。

智能合约 Solidity 区块链合约调用模式合约部署交易结构

Frank Mangone
发布于 2025-03-12
阅读 ( 1213 )
( 109 )

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。

zkVM SNARK 安全性性能零知识证明研究进展

a16z Crypto
发布于 2025-03-12
阅读 ( 733 )
( 24 )

Solana 数据索引的问题

本文深入探讨了Solana区块链中存在的数据索引问题，分析了由于交易量大导致的复杂数据解析、状态膨胀以及数据存储成本等挑战。同时介绍了Triton的Old Faithful项目及其在改进Solana数据储存与检索方面的潜力，最后提出了Astralane的新型数据基础设施，用于提升高频交易和实时数据处理的效率。

Solana 数据索引状态膨胀高频交易 Old Faithful Astralane

astralaneio
发布于 2025-03-12
阅读 ( 1104 )
( 77 )

在 Uniswap v4 中证明偿付能力：AMM 安全性的形式化验证

本文深入探讨了 Uniswap v4 的流动性机制，并提出了一种形式化的方法来证明其偿付能力。通过将代码转化为数学公式，使用 SMT 求解器验证流动性是否在所有函数调用中得到维持。同时，文章还讨论了在 Uniswap v4 中处理 ERC-20 代币时需要考虑的因素，以及如何通过引入 ghost 变量和 hooks 来精确计算和跟踪资金流动，从而确保 AMM 在任何情况下都能保持偿付能力。

AMM uniswap v4 偿付能力 SMT 求解器流动性形式化验证

Certora
发布于 2025-03-12
阅读 ( 43 )

“Mega EOF 终局”规范（EOFv1）

本文介绍了EVM对象格式（EOFv1）的统一规范，详细探讨了其结构、头部与主体的组成、代码执行语义以及新的指令与验证方法等。EOF的推出旨在改善以太坊虚拟机（EVM）的功能和灵活性，提供更好的代码执行环境和数据处理能力。

EVM Object Format EOFv1 以太坊虚拟机代码执行数据处理新指令

ipsilon
发布于 2025-03-12
阅读 ( 215 )
( 9 )

全面解读MCP TypeScript SDK：LLM应用开发的终极利器

想象一下：只需几分钟，你就能为自己的大模型（LLM）应用构建出强大、灵活且易于维护的服务器，轻松提供数据和工具支持。这一切都要归功于ModelContextProtocol(MCP)和它强大的TypeScriptSDK。🚀MCP到底是什么？ModelContextProt

MCP AI

King
发布于 2025-03-12
阅读 ( 1239 )
( 74 )

什么是ZK Rollup？- 以太坊扩容的未来

这篇文章深入探讨了零知识（ZK）汇总的概念及其在以太坊扩展中的作用，详细介绍了ZK汇总的原理、工作流程以及其在提高交易吞吐量、降低 gas 成本和提供安全性方面的优势。文章还强调了ZK证明在确保交易安全性中的重要性，并展示了ZK汇总作为未来区块链可扩展性解决方案的潜力。

零知识汇总区块链扩展 ZK证明交易吞吐量以太坊安全私密计算

cyfrin
发布于 2025-03-12
阅读 ( 257 )
( 5 )

zkTLS：可验证数据可组合性

本文探讨了零知识传输层安全性（zkTLS）如何通过无条件的数据验证和隐私保护，促进Web2和Web3生态系统之间的互联互通，以重塑未来互联网。文章详细描述了zkTLS的原理、架构，以及它在各类应用场景中的潜在影响，特别是在数据共享、去中心化金融和安全验证等方面的革新性实例，为互联网用户带来了数据控制权的希望。

zkTLS 零知识证明数据隐私 Web3 去中心化金融数据验证