全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Gambit：一种用于形式验证的Solidity变异测试工具

本文介绍了变异测试在自动化验证中的应用，重点介绍了一种名为Gambit的开源变异生成器，用于针对Solidity语言进行变异，并与Certora Prover集成以验证智能合约的规范。通过生成故障版本程序，Gambit能够评估现有测试套件的有效性，并帮助识别和改进潜在的规范缺陷，从而提高智能合约的安全性和可靠性。
变异测试  自动化验证  Solidity  智能合约  Certora Prover  Gambit 
  • Certora
  • 发布于 2023-03-30
  • 阅读 ( 573 )

SafeMoon漏洞解析

2023年3月29日，SafeMoon的流动性池遭到攻击，损失890万美元。从交易记录和合约更新中可以看出，合约的修改导致了漏洞，使得任何人都可以调用mint函数并转移tokens。攻击者利用这一漏洞通过闪电贷进行了一系列操作，最终导致资金损失。
安全漏洞  流动性池  闪电贷  safemoon  合约攻击  区块链安全 
  • zellic
  • 发布于 2023-03-30
  • 阅读 ( 541 )

EIP-2930 – 以太坊访问列表

本文介绍了以太坊的EIP-2930访问列表交易，通过预先声明访问的合约和存储槽，可以减少跨合约调用的gas消耗。文章详细解释了EIP-2930的工作原理、gas费用的计算以及如何实现访问列表交易，并提供了代码示例和gas节省的具体案例。
EIP-2930  gas消耗  跨合约调用  存储槽  Solidity  以太坊 

ChainAegis：GMX链上分析报告

in  智能合约安全
3月16日，Arbitrum官方发文宣布为ArbitrumOne和ArbitrumNova推出DAO治理，并于3月23日向社区成员空投治理代币$ARB。$ARB总发行量为100亿，其中11.62%将被空投到个人用户的钱包。大部分份额将进入DAO国库（43%），27%留给团队，17.5%留给项目
  • SharkTeam
  • 发布于 2023-03-29
  • 阅读 ( 3608 )
  • ( 10 )

使用 Web3 函数构建低延迟预言机

本文介绍了如何结合 Gelato 的 Web3 Functions 和 Redstone 的链下预言机网络，构建低延迟的预言机，并提供了一个 Float 的用例，展示了如何使用这种方案将交易速度提高 20 倍。同时还对比了传统 Chainlink 预言机，展示了混合方案的优势，最后介绍了 Gelato 提供的各种服务。
预言机  Gelato  Redstone  Web3 Functions  低延迟  数据延迟 
  • gelato
  • 发布于 2023-03-29
  • 阅读 ( 366 )

零知识证明初学者终极指南

本文为零知识证明（ZKP）的入门指南，解释了ZKP的基本概念、要求和证明系统，并通过交互式和非交互式证明的例子进行了说明。文章还探讨了ZKP在身份保护、隐私交易、可扩展性和去中心化预言机网络等实际应用，以及Gelato在Web3领域的应用。
零知识证明  ZKP  交互式证明  非交互式证明  隐私  区块链 
  • gelato
  • 发布于 2023-03-29
  • 阅读 ( 383 )

以太坊扩容方案 - 以太坊状态通道指南

本文介绍了以太坊上的状态通道技术，它是一种链下交易解决方案，通过在链下进行大量交易并在链上结算最终状态，从而提高以太坊网络的可扩展性。文章涵盖了状态通道的定义、工作原理、优势，以及如何在以太坊上开发和使用状态通道，包括编写智能合约和示例代码。
状态通道  链下交易  可扩展性  智能合约  以太坊  支付通道 

签名重放攻击

本文深入探讨了以太坊交易中签名验证的潜在安全漏洞，包括重放攻击（缺失 Nonce、跨链重放）、缺少参数、签名过期、未检查 ecrecover() 返回值以及签名可延展性。文章通过具体的代码示例和漏洞案例，强调了智能合约开发者在签名实现中必须注意的关键安全问题和防范措施。
签名重放攻击  nonce  跨链攻击  ecrecover  ECDSA  EIP-712 
  • Dacian
  • 发布于 2023-03-29
  • 阅读 ( 50 )

Celestia白皮书中文版（非官方，个人机翻+校正）

Celestia白皮书中文版（非官方，个人机翻+校正）
Celestia  模块化区块链 

比特币隐私技术的不完全调查

本文深入探讨了比特币隐私技术，对比特币交易中接收方、发送方、交易额和交易逻辑四个方面的隐私保护技术进行了分类和详细分析。文章讨论了HD Wallet、CoinJoin、机密交易、Taproot等多种技术方案，并分析了各自的优缺点以及对比特币生态的影响。
比特币  隐私  CoinJoin  Taproot  Schnorr签名  机密交易 

LayerZero白皮书中文版（机翻+校验）

LayerZero白皮书中文版（非官方，个人，机翻+校正）
LayerZero 

Gelato 即将登陆 Polygon zkEVM

Gelato 将其 Relay 基础设施引入 Polygon zkEVM Mainnet Beta，使在 Polygon zkEVM 上构建的开发者能够为其用户提供 gasless 交易，从而优化用户体验。此外，Gelato 还将很快部署 Automate 和 Web3 Functions，以便项目可以利用 Gelato 的全套服务。
Gelato  Polygon zkEVM  gasless 交易  Relay Network  Automate  Web3 Functions 
  • gelato
  • 发布于 2023-03-28
  • 阅读 ( 536 )

LND 闪电客户端与 CLN 客户端有何区别？

本文深入探讨了闪电网络两种流行的客户端实现：LND(Lightning Network Daemon) 和 CLN(Core Lightning) 之间的区别。
闪电网络  LND  CLN  BOLT12  Taro  入账流动性  支付隐私 

策略 | 通过 NFTScan 进行 NFT 投资组合的管理和信息追踪

NFTScan 作为一个专业的多链 NFT 浏览器和 NFT 数据基础设施，它可以帮助用户追踪区块链上的 NFT 信息，为投资者提供了极为有价值的信息和洞察力，同时也让 NFT 市场更加透明和可靠。

函数选择器冲突

函数选择器冲突在代理模式中,如果方法不加以校验可能会出现安全漏洞.
代理合约 

介绍Noir：零知识的通用语言

Noir是一种基于Rust的特定领域语言，用于创建和验证零知识证明。它简化了zk应用的开发，使得没有深厚密码学基础的开发者也可以轻松构建zk应用。Noir具备简单的语法、优化的标准库和与多种证明系统的兼容性，从而降低了zk开发的门槛。
零知识证明  Rust语言  区块链  开发工具  zk应用  Noir 

stark 证明实操 python 实现 04

通过stark证明实操python实现04
Python  zkSTARK 

在Polygon zkEVM上构建的终极指南

本文介绍了如何在Polygon zkEVM上创建完整的Web3应用。内容包括：设置钱包以连接到Polygon zkEVM；创建智能合约并部署到Polygon zkEVM；构建一个React应用来连接并与智能合约交互。文章详细介绍了如何使用Thirdweb CLI创建和部署智能合约，并使用React SDK构建前端应用，实现用户连接钱包并铸造NFT的功能。
Polygon zkEVM  Web3应用  智能合约  react  NFT  Thirdweb 

全球公链进展 每周更新 - 2023/3/27

Tokenview每周周一准时更新全球公链最新进展，致力于为全球公链爱好者整合最新项目进展。
  • Tokenview
  • 发布于 2023-03-27
  • 阅读 ( 2598 )
  • ( 6 )

运行你自己的节点的优缺点

本文介绍了以太坊节点的类型（全节点、轻节点、存档节点），以及运行以太坊节点的好处（隐私安全、抗审查性、去中心化、主权），以及权衡（维护成本、时间成本、可靠性成本）。此外，文章还介绍了Alchemy提供的web3开发工具，以帮助开发者更便捷地进行区块链开发，包括Alchemy Supernode、Alchemy Build、Alchemy Monitor和Alchemy Support。
以太坊节点  全节点  轻节点  存档节点  RPC节点  Alchemy Supernode 
  • Alchemy
  • 发布于 2023-03-27
  • 阅读 ( 527 )