文章 - 第65页 - 登链社区

Web3 极客日报 #1667

rebase
发布于 2025-02-01
阅读 ( 538 )
( 11 )

Certora如何保障Uniswap v4的数十亿生态系统安全

本文深入探讨了Certora与Uniswap的合作，旨在通过形式验证技术确保Uniswap v4的安全性。通过结合自动化分析、手动代码审查和形式验证，Certora提供了比传统审计更为全面的安全保障，为保护用户资产和防止攻击提供了数学证明。文章强调了形式验证在DeFi安全中的重要性，指出这是传统安全测试无法比拟的。

形式验证智能合约 DeFi安全 uniswap v4 Certora 安全审计

Certora
发布于 2025-02-01
阅读 ( 246 )

免费提升你的 Remix IDE 体验与 BuildBear 沙盒

本文介绍了 BuildBear Sandbox 与 Remix IDE 的集成，如何提升智能合约的开发、测试和调试体验。通过提供持久化的、现实的测试环境，BuildBear Sandbox 帮助开发者方便地进行团队协作、复杂功能测试，并保留数据，优化了开发流程。

BuildBear Remix 智能合约测试环境区块链开发

BuildBear
发布于 2025-02-01
阅读 ( 285 )

什么是后运行？— MEV攻击解释 - CoW DAO

本文解释了MEV中的一种类型——后运行（Backrunning）。后运行是指在大型交易发生后，利用其产生的价格波动进行套利。文章还介绍了CoW Swap和MEV Blocker如何帮助用户避免后运行或从中获利，CoW Swap通过其委托交易机制消除后运行机会，而MEV Blocker则将用户交易产生的后运行机会的利润以返利的形式返还给用户。

MEV 后运行套利 CoW Swap MEV Blocker 以太坊

CowSwap
发布于 2025-02-01
阅读 ( 81 )

Solidity语言 - 钻石标准（EIP-2535）解析 - 第二部分 - Quicknode

本文介绍了如何创建、部署和测试符合EIP-2535标准的Diamond智能合约，使用了diamond-1-hardhat库和louper.dev工具，详细说明了所需的项目设置和代码编写过程，适合对智能合约开发有一定了解的读者。

Diamond标准智能合约 EIP-2535 Hardhat goerli 区块链

QuickNode
发布于 2025-02-01
阅读 ( 388 )
( 9 )

Sonic SVM：超级网格的未来，支持 TikTok 级应用层

本文介绍了Sonic SVM在TikTok平台上的应用，通过其HyperGrid框架，Sonic SVM实现了Web3游戏的主流用户集成，成功吸引了超过200万用户。SonicX作为TikTok的游戏应用，不仅实现了无缝的Web3游戏平台，也为传统的Web2用户提供了进入区块链游戏生态的便利，标志着Web3游戏的新局面。

Sonic SVM TikTok HyperGrid Web3 游戏 Solana 并行Merkle树

wizdom
发布于 2025-02-01
阅读 ( 323 )
( 6 )

谨慎日志合约工厂

本文介绍了一种创建链下的 “谨慎日志合约（DLCs）” 并且无需任何链上交易就可以延长合约的比特币交易范式。我将这些交易统称为 “工厂”，因为我们只需一笔链上注资交易就可以创建无限数量的 DLC。你可以认为它们是 “无尽 DLC” 或者 “自动延长的 DLC”。

Discreet log Contract

BTCStudy
发布于 2025-02-01
阅读 ( 107 )

加密领域中受信任执行环境（TEE）的终极指南

本文深入探讨了受信任执行环境（TEE）的架构、功能和在区块链及Web3项目中的应用。通过硬件级安全性，TEE有效保护敏感数据及运算，增强去中心化应用、智能合约和区块链网络的安全性。文章还讨论了TEE在密钥管理、私密交易等方面的重要性，以及未来在隐私优先的DeFi等领域的应用前景。

受信任执行环境区块链智能合约安全加密技术 Web3

olympixai
发布于 2025-02-01
阅读 ( 406 )

程序员进阶必备：用Rust玩转AI，打造智能航班搜索工具！

in 用 Rig 打造你的专属 AI Agent

简介你是否曾经与Siri、Alexa等AI助手聊天，或者使用过那些帮助你预订航班或查询天气的智能聊天机器人？你是否好奇这些助手背后的工作原理？今天，我们将通过使用Rust和Rig库构建一个属于自己的航班搜索AI助手，来揭开这些技术的神秘面纱。你可能会想：“等等，Rust？那不是以难学著称的语言吗

Rust Rig LLM DeepSeek OpenAI

King
发布于 2025-02-01
阅读 ( 928 )
( 11 )

Nuffle：以太坊的最终性即服务层

Nuffle Fast Finality Layer (NFFL) 是一种创新的跨链解决方案，通过结合 EigenLayer 的重押机制和 NEAR DA 实现快速安全的跨卷状态验证。文章深入探讨了 NFFL 的架构设计、核心组件及其应用潜力，解决了 Ethereum 生态系统中跨链互操作性和数据可用性等关键挑战，为去中心化金融和其他跨链应用提供了一种新的可能性。

NFFL EigenLayer 跨链状态验证 Ethereum 数据可用性

2077 Research
发布于 2025-01-31
阅读 ( 428 )
( 9 )

探索Solana平行手续费市场的动态基础费用

本文探讨了动态基础费用对Solana区块链的重要性，借鉴了以太坊EIP-1559的概念，以适应多线程环境。文章详细描述了现有费用模型的不足，以及如何通过引入动态费用机制来提升资源使用的公平性和防止网络拥堵，同时保持Solana的高并发性能。

Solana 动态基础费用 EIP-1559 并行执行计算单位费用模型

thogiti
发布于 2025-01-31
阅读 ( 256 )
( 2 )

Porto 应用订阅 by ithacaxyz

本文介绍了 Application Subscriptions 的概念，它允许用户授权第三方代表他们执行操作，并展示了如何使用 Porto SDK 通过智能合约强制执行的策略将操作委托给服务器，以确保安全性。文章还通过一个Live Demo，演示了如何创建账户，将账户访问权限委托给服务器，并安排定期在链上执行的交易。

Application Subscriptions Porto 权限委托智能合约以太坊账户交易授权