文章 - 第63页 - 登链社区

入门 Sui Move 开发：6. 发布一个小游戏合约

greyhao
发布于 2025-03-06
阅读 ( 774 )
( 9 )

GKR协议：逐步示例

该文章深入探讨了GKR协议，这是一个用于高效验证算术电路的交互式证明协议。文章通过示例详细说明了协议的步骤，包括如何使用多项式扩展和sum-check等技术，使资源有限的验证者能够验证计算的正确性。这一协议不仅阐明了交互式证明的重要性，还为更先进的密码学应用奠定了基础。

交互式证明 GKR协议算术电路多项式扩展区块链 sum-check

lambdaclass
发布于 2025-03-06
阅读 ( 1227 )

Moonshot 狂热：让“Memecoin超级周期”泡沫的访问权平民化

本文探讨了memecoins近年来的迅猛崛起和Moonshot平台的角色，强调了其简化memecoin交易的创新方法，并分析了memecoin的文化及经济意义。文章详细回顾了memecoins的演变，从Dogecoin到Shiba Inu的影响，探讨了当前市场趋势、社区驱动的特点和投机风险，以及与知名人物的关系，展望了未来的增长机会和潜在风险。

memecoins Moonshot Dogecoin Shiba Inu crypto trading speculative investing

Shoal Research
发布于 2025-03-06
阅读 ( 715 )
( 14 )

Web3 极客日报 #1690

rebase
发布于 2025-03-05
阅读 ( 626 )
( 9 )

将欺诈证明引入比特币，第二部分

本文深入探讨了在比特币上实现欺诈证明的方式，特别是BitVM和BitVM2的设计及其应用。文中详细介绍了BitVM如何利用欺诈证明实现比特币的可编程性，并探讨了BitVM2作为锁定-铸造跨链桥的创新设计，同时分析了其优缺点及对比特币的影响。文章结构清晰，内容丰富。

BitVM 欺诈证明 BitVM2 跨链桥比特币编程零知识证明

L2IV
发布于 2025-03-05
阅读 ( 1739 )
( 68 )

Solana 网络节点间通信 Gossip协议规范

本文档详细介绍了Solana网络中节点间通信所使用的Gossip协议，包括消息格式（如pull request、push message等）、消息类型以及各种相关数据结构（如CrdsValue、ContactInfo等）。此外，还涵盖了IP Echo Server在节点启动阶段用于发现公共IP地址和获取集群Shred版本的过程。

Gossip协议 Solana CrdsValue 消息格式 IP Echo Server 节点通信

eigerco
发布于 2025-03-05
阅读 ( 33 )

SOON网络：扩展SVM到Solana之外

SOON Network是第一个利用解耦SVM协议的区块链项目，旨在将Solana的执行能力扩展到主要的Layer 1网络，以提高可扩展性和互操作性。文章详细探讨了SOON的架构、技术创新和生态系统发展策略，尤其强调了其在高性能执行和跨链通信方面的优势，展望了其在未来区块链创新中的重要作用。

SOON网络解耦SVM Solana 以太坊高性能区块链

Shoal Research
发布于 2025-03-05
阅读 ( 946 )
( 40 )

合约测试指南：实现第一个智能合约不变性测试

本文详细介绍了如何在Solidity中实现和测试智能合约的不变性，通过定义有效状态、状态转移和变量转移等属性，并使用Echidna、Medusa和Foundry等工具进行模糊测试。文章分为明确的部分，讲解了不变性质的代码实现过程，并提供了丰富的示例和解释，适合对Solidity和智能合约分析有一定了解的开发者阅读。

智能合约不变性 Echidna 模糊测试 Solidity ERC4626

Recon
发布于 2025-03-05
阅读 ( 1258 )
( 68 )

预言机基础篇: 区块链与现实世界的桥梁

在区块链的世界里，智能合约是一种“自动化执行程序”，但它们有一个天然的局限：无法直接访问链下数据。这意味着如果一个智能合约需要天气数据、金融数据、物流状态，甚至是随机数，都无法直接获取。

预言机

Dapplink
发布于 2025-03-05
阅读 ( 462 )

ERC4337 审计检查清单

本文提供了针对 ERC-4337 的审计检查清单，涵盖了钱包账户工厂、钱包账户、支付服务员、打包器、签名验证器等多个组件的安全性和功能性测试要点。同时，列出了相关的资源和审计报告，为开发者和审计师提供了重要参考。

ERC-4337 账户抽象钱包审计智能合约安全性以太坊

aviggiano
发布于 2025-03-05
阅读 ( 374 )
( 10 )

ERC-7786 提案规范：跨链消息传递网关

本文介绍了一种跨链消息传递接口的提案，旨在通过提供标准化的接口和工作流程，使智能合约能够在不同区块链之间发送和接收消息，从而提高协议的可组合性和互操作性。提案强调了设计的模块化特性，以便用户能够利用特定桥的功能，同时确保通用访问。还详细定义了消息字段编码、发送和接收程序等规范。

跨链通信智能合约消息传递 ERC标准协议兼容模块化设计

erc7786
发布于 2025-03-05
阅读 ( 383 )
( 7 )

使用 Solana CLI 发送和接收代币

本页介绍如何使用命令行工具和命令行钱包（如纸钱包或硬件钱包接收和发送SOL代币。在开始之前，请确保您已创建钱包并可以访问其地址（公钥）和签名密钥对。查看我们为不同钱包类型输入密钥对的约定。测试你的钱包在与他人分享您的公钥之前，您可能首先要确保该密钥有效并且您确实持有相应的私钥。在此示例

想样
发布于 2025-03-05
阅读 ( 737 )
( 9 )

安装 Solana CLI

根据您的首选工作流程，有多种方法可以在您的计算机上安装Solana工具：使用Solana安装工具（最简单的选项）下载预构建的二进制文件从源代码构建使用Homebrew使用Solana安装工具MacOS和Linux打开您最喜欢的终端应用程序通过运行以下命令在您的

加密女士
发布于 2025-03-05
阅读 ( 1062 )
( 22 )

深入研究椭圆曲线（第四部分）

in 密码学101

本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。

椭圆曲线函数同态同构扭曲密码学

Frank Mangone
发布于 2025-03-05
阅读 ( 1451 )

[转] Web3 Frontline 专访登链社区创始人Tiny熊

转载一篇 Web3Frontline对我的访谈，算是登链简单总结和思考。

Tiny熊

Tiny熊
发布于 2025-03-05
阅读 ( 1748 )
( 8 )

AI Agent框架指南 [2]：实现类似DeepSeek R1的推理模型

该文将会引导用户一步一步实现AI Agent中有趣的功能，Thinking。

BoxChen
发布于 2025-03-05
阅读 ( 977 )
( 22 )

合约测试 - 如何定义不变性

本文深入探讨了不变性（invariants）在智能合约安全中的重要性，特别是如何在ERC4626金库中定义不变性。作者详细阐述了不变性定义的过程，并介绍了四种属性类型，帮助开发者理解如何构建安全的智能合约。文章结构清晰，包含丰富的示例和图示，适合有一定基础的开发者阅读。

不变性智能合约 ERC4626 安全性测试属性定义正式验证

Recon
发布于 2025-03-05
阅读 ( 1025 )
( 39 )

通过Ethers.js 库进行合约交互

前言本文通过Ethersjs库实现和智能合约的交互全流程流程；工具前端项目引入ethersjs库给浏览器安装一个钱包插件例如：MetaMaskopenzeppelin库编写合约合约部分合约//SPDX-License-Identifier:MITpragmasolid

木西
发布于 2025-03-05
阅读 ( 761 )
( 10 )

Fragmetric：再质押的新标准，只有在 Solana 上才有可能

Fragmetric 是 Solana 上的原生流动性再质押协议，它利用 Solana 的 Token-2022 标准和 Transfer Hook 功能，实现了链上奖励分配机制，解决了以太坊再质押生态系统中存在的扩展性问题、奖励计算复杂以及 AVS 代币的抛售压力等问题。通过链上追踪用户贡献并直接分配奖励，Fragmetric 有望为再质押生态系统树立新标准。

再质押流动性再质押 Solana Token-2022 Transfer Hook AVS

4pillars
发布于 2025-03-05
阅读 ( 20 )

Bybit 14 亿美元盗窃案：黑客如何利用 Safe 基础设施实施攻击

这篇文章详细分析了Bybit交易所创下的14亿美元黑客事件，揭示了Safe基础设施被攻击的过程。文章通过提供攻击细节、技术分析以及安全建议，强调了多签名钱包在安全验证中的重要性，以及在面对精明的攻击者时保持高标准的操作安全（OpSec）的必要性。

黑客多签名安全分析 Bybit Safe 操作安全

cyfrin
发布于 2025-03-05
阅读 ( 584 )
( 11 )