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

Rollups-as-a-Service 搭车客指南

本文深入探讨了Rollups-as-a-Service（RaaS）的兴起及其如何推动应用专用模块化区块链的发展。
Rollups-as-a-Service  模块化区块链  Layer2  OP Stack  Arbitrum  Cosmos 

解释供应在加密代币经济学中的作用

这篇文章深入探讨了加密货币经济学中供应的重要性，分析了代币的设计、分配、释放计划以及其对项目成功的影响。作者阐明了如何通过供应和需求的框架设计有效的代币经济，以实现项目目标和保障参与者的利益。同时，文章中还结合了多个实际案例，强调了市场动态和智能合约在代币供应管理中的关键作用。
代币经济学  供应和需求  代币设计  释放计划  激励机制  市场动态 

代理合约

代理的核心逻辑contractProxy{addresspublicimplement;constructor(addressimpl){implement=impl;}fallback()externalpayab
代理合约 

关于空投

本文讲述了空投猎人Auri的故事，他通过大规模的女巫攻击（创建大量虚假账户）在加密货币空投中获利。文章探讨了空投的经济原理、女巫攻击的手段，以及项目方应对女巫攻击的策略。最后，文章展望了空投的未来，以及品牌与用户可以通过token进行连接的新模型。
空投  女巫攻击  Sybil  代币经济  AML  KYC 

公告：CredShields与BuildBear的集成

CredShields与BuildBear的合作，提高了Web3安全性，使用户能通过SolidityScan对在BuildBear上部署的智能合约进行漏洞扫描。BuildBear提供了快速、私密并能定制区块链测试网的能力，而SolidityScan则是一个用于扫描智能合约潜在安全漏洞的云工具。这一集成将为开发者提供更强的安全性和便利性。
CredShields  BuildBear  SolidityScan  智能合约  漏洞扫描  web3安全 

Uniswap V3 上的流动性管理

本文介绍了 Cetra Finance 如何使用 Gelato Automate 自动管理 Uniswap V3 上的流动性。Cetra Finance 结合了 AMM、DEX 和借贷协议，通过 Gelato Automate 自动调整 UniV3 范围，进行价格和资金的调整，以及借贷，以实现对冲、避免清算和有效利用资本。
流动性管理  Uniswap V3  Gelato Automate  Cetra Finance  自动化做市  CLMM 
  • gelato
  • 发布于 2023-03-30
  • 阅读 ( 150 )

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

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

SafeMoon漏洞解析

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

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
  • 阅读 ( 3315 )
  • ( 10 )

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

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

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

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

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

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

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

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

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
  • 阅读 ( 126 )

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

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

函数选择器冲突

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

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

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

stark 证明实操 python 实现 04

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