文章 - 第299页 - 登链社区

智能合约测试新方法：手动引导模糊测试 - Ackee Blockchain

本文介绍了智能合约模糊测试中的一种新型方法：手动引导模糊测试 (Manually Guided Fuzzing)，它结合了状态模糊测试和白盒模糊测试的优点，通过定义“流”来指导测试过程，从而更有效地发现漏洞。文章还对比了手动引导模糊测试与其他模糊测试技术，如黑盒模糊测试、属性模糊测试和差异模糊测试，并提供了实际案例和资源。

模糊测试智能合约手动引导模糊测试状态模糊测试白盒模糊测试 Wake Framework

Ackee
发布于 2024-09-13
阅读 ( 647 )

如何在 Pump.fun 上实时追踪新 Token 的发行

本文介绍了如何使用 gRPC 实时追踪 Pump.fun 上新发行的 Token。通过 Shyft 提供的 API 获取 gRPC URL 和 Token，设置 gRPC 连接，订阅与 Pumpfun 程序 ID 相关的交易流，解码交易数据，并通过过滤日志消息来识别新 Token 的发行。最后，利用 Shyft API 获取 Token 的基本信息，如名称、符号、描述等，并实时输出。

gRPC pump.fun Token Solana 实时数据流 Shyft API

Shyft_to
发布于 2024-09-13
阅读 ( 1158 )

零知识证明的先进形式化验证：如何证明零知识内存

在关于零知识证明的先进形式化验证的系列文章中，我们已经讨论了如何验证ZK指令以及对两个ZK漏洞的深度剖析。正如在公开报告（https://skynet.certik.com/projects/zkwasm）和代码库（https://github.com/CertiKProject/zkwasm-

CertiK
发布于 2024-09-13
阅读 ( 1860 )
( 8 )

receive payable 里面尽量避免写代码,以免其他合约调用transfer 不成功

receive()payable里面尽量避免写代码,以免其他合约调用transfer不成功缘起:最近调试一段solidity代码,本来想测试在收款的时候,记录一个receive和发出一个log,哪个消耗gas更大如下图,我定义了两个contract,TestTransfer中的se

solidity 编程

科学减肥
发布于 2024-09-13
阅读 ( 1832 )
( 9 )

Allora：Allora网络L1技术架构概述

本文介绍了去中心化AI网络Allora，它利用Cosmos SDK和CometBFT共识机制，通过Workers、Reputers和Validators等角色，实现AI推理生成、模型准确性和网络安全。Allora采用分层架构和“按需付费”模式，旨在通过大规模互连的网络改进AI生成推理的可访问性，实现自我改进的模型知识共享和最终响应的综合。

去中心化AI Cosmos CometBFT 推理 Reputers Validators

DAIC
发布于 2024-09-13
阅读 ( 317 )

Safe 多签钱包介绍

Safe 利用以太坊的智能合约技术和“n-of-m”签名机制，实现了一个功能丰富且安全的多签钱包解决方案，实现资金的安全与操作的灵活性。

Safe Gnosis Safe 钱包多签钱包

dwong
发布于 2024-09-13
阅读 ( 5939 )
( 116 )

理解ERC1820标准

下面要介绍的ERC1820是以太坊区块链世界中的"中心化注册表"，任何人可以通过它查询哪些合约或EOA地址是否支持哪些接口，以更加确定性的方式去交互。当然你也可以为一个地址注册接口，使别人也可以随时查询到你的合约或EOA地址是否支持指定的接口。

ERC1820 以太坊

De7e
发布于 2024-09-13
阅读 ( 2123 )
( 30 )

新功能发布——LST杠杆策略

NAVI Protocol 推出了 LST 杠杆策略功能，允许用户通过质押 SUI 并将 LST 插入 NAVI 的借贷中来最大化其资本效率。用户可以在 NAVI Pro dApp 上轻松地进行 SUI 质押、提供 LST 并借入 SUI 以启动循环策略，最多可循环 3 次，从而提高收益。

DeFi Sui LST NAVI Protocol 杠杆策略 vSUI haSUI

navi.protocol
发布于 2024-09-13
阅读 ( 204 )

零知识证明总结（超级概括版本）

一段代码生成零知识证明可以分为代码变成多项式阶段，多项式生成承诺两个阶段。第一阶段，简单来说就是把代码转换成 a * b = c 三元算式的列表（就是写电路），然后套数据公式把三元算式的列表转换成多项式，然后用R1CS&QAP的方式对多项式进行约束；第二阶段，先是通过f(x) = h(x)t

ZKP zk 零知识证明 KZG

杜满想Elvin
发布于 2024-09-13
阅读 ( 2493 )
( 41 )

关于比特币 Dust Limit

Bitcoin

Ashton
发布于 2024-09-13
阅读 ( 2409 )
( 13 )

Solana 的通胀率是否过高？

文章详细分析了Solana的通胀机制，包括其通胀计划的参数、质押奖励、通缩力量以及未来的潜在调整。文章还讨论了通胀对价格的影响、税收问题以及验证者的收入来源。

Solana 通胀质押奖励验证者通缩力量 SIMD-96

Helius
发布于 2024-09-13
阅读 ( 1565 )

基于波动率市场对以太坊区块进行定价及其对预确认的影响 - 经济学

本文分析了在即将到来的 Gas 市场中，如何根据市场波动率、代币价格、交易费用和流动性对以太坊区块进行定价。文章将区块链网络视为金融工具，认为购买区块实际上是购买了该网络的期权，并提出了一种套利交易策略，即在中心化交易所（CEX）卖出欧式跨式期权，同时购买以太坊的区块或预确认，从而为连续区块设定了最低价格。通过这种方式，将ETH、BTC、SOL等的隐含波动率与预确认价格直接联系起来。

以太坊区块定价波动率预确认套利 MEV

以太坊中文
发布于 2024-09-13
阅读 ( 470 )

如何使用 Solana 钱包适配器和脚手架将用户连接到你的 dApp

本文介绍了如何使用Solana Wallet Adapter和dApp Scaffold构建与用户钱包连接的dApp。内容包括环境设置、组件创建、API集成等步骤，并提供了详细的代码示例。通过本指南，开发者能够快速上手Solana生态并构建自己的去中心化应用。

Solana Wallet Adapter dApp Scaffold react Web3 SPL Token

QuickNode
发布于 2024-09-13
阅读 ( 2131 )

Dencun 升级150 天后, 采用 EIP4844 带来了什么变化

EIP4844

Galaxy
发布于 2024-09-13
阅读 ( 2541 )
( 23 )

深入理解TON智能合约：利用dict和list实现高效的验证者选举

摘要：在TON（TheOpenNetwork）区块链平台中，智能合约扮演着举足轻重的角色。本文将通过分析一段TON智能合约代码，带领读者学习dict（字典）和list（列表）在FunC语言中的用法，以及如何在实际场景中实现高效的验证者选举。一、引言TON区块链平台的智能合约采用FunC语

FunC TON

King
发布于 2024-09-13
阅读 ( 2432 )
( 51 )

深入解读 Uniswap V2 白皮书【全网最详细】

in Learn about DeFi

深入解读UniswapV2白皮书【全网最详细】引言本文主要记录我个人对uniswapv2白皮书的解读，水平有限难免有错误之处，欢迎斧正。旨在深入理解其中的数学原理，从而帮助进一步理解代码的实现。文章按照白皮书的目录进行解读，其中会加入一些个人的理解和思考。

0xSecYou
发布于 2024-09-13
阅读 ( 5246 )
( 112 )

首个可互操作、可组合的链抽象会话密钥模块

Rhinestone 与 Biconomy 合作构建 Smart Session Manager，这是一种链上权限系统，可在任何 ERC-7579 智能账户中实现完全可组合和互操作。Smart Session Manager 将策略和验证器分开，以提高可组合性，并支持广泛的签名机制，例如 passkeys、多重签名和 ECDSA 验证器，同时实现链抽象会话。

智能账户 ERC-7579 Session Keys 权限管理链抽象 Biconomy Rhinestone

Rhinestone
发布于 2024-09-13
阅读 ( 805 )

加强对白帽黑客的法律保护

文章讲述了马耳他几名大学生因负责任地披露了一个安全漏洞而被捕的事件，并探讨了现有网络犯罪法律对白帽子黑客的保护不足的问题。文章强调，白帽子黑客在发现安全漏洞后的披露行为可能被错误地解读为恶意行为，并呼吁立法者重新考虑网络安全方法，保护那些出于善意行动的道德黑客，文中还提到了Safe Harbor框架，为道德黑客提供法律保护。

白帽子黑客安全漏洞法律保护网络安全 Safe Harbor框架责任披露

Dedaub
发布于 2024-09-13
阅读 ( 973 )

Cetus DCA：通过你的自动化投资伙伴解锁更智能的投资

Cetus 社区推出了新的产品 Cetus DCA 的 Beta 版本，通过使用 Cetus DCA，用户可以更加精确地利用 Dollar-Cost Averaging (DCA) 的力量。Cetus DCA 简化了 Dollar-Cost Averaging 的过程，通过自动执行投资策略，使用户更容易坚持投资计划，降低风险并在长期内提高盈利能力。

Cetus DCA Dollar-Cost Averaging DCA 投资策略市场波动自动化投资

CetusProtocol
发布于 2024-09-13
阅读 ( 208 )

Aptos Move 模块的特性与实操指南：模块引用与作用域管理

in Aptos

AptosMove模块的特性与实操指南：模块引用与作用域管理AptosMove是一门为区块链和智能合约设计的编程语言。它以其模块化、可升级性和灵活的安全性机制在Web3领域中越来越受欢迎。在开发过程中，如何正确导入模块、管理作用域以及理解不同的访问权限至关重要。本文旨在通过代码示例，详

Aptos Aptos Move Web3 编程模块

寻月隐君
发布于 2024-09-13
阅读 ( 2108 )
( 14 )