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

ZeroSync 路线图

本文是 ZeroSync 项目的路线图，旨在创建一个链证明系统，使用户能够快速同步比特币全节点，无需修改 Bitcoin Core 代码。通过实现 assumevalid、度量和优化、比特币脚本和强化等里程碑，最终实现高效的零知识同步和链扫描，并与比特币生态系统集成。
ZeroSync  比特币  零知识证明  STARK  链证明  UTXO 

GasHawk 如何利用交易模拟为用户带来更多价值

GasHawk 通过队列化签名交易并在 gas 费用较低时发送到 mempool 来帮助用户节省以太坊 gas 费用。GasHawk 还集成了 Tenderly 的 Simulation API，允许用户在交易上链前预览交易，防止失败或恶意交易，从而进一步保障用户资金安全。
GasHawk  Gas 费  以太坊  交易模拟  tenderly  Simulation API 

使用 BuildBear，获取你的智能合约📝 调试服务

本文介绍了如何使用 BuildBear 平台审计智能合约，包括创建 Hardhat 项目、建立 Testnet、合约部署以及验证合约的步骤。通过与 CredShield 合作，BuildBear 提供了对已部署合约的漏洞扫描服务，确保智能合约的安全性和可靠性。
BuildBear  智能合约  漏洞扫描  Hardhat  SolidityScan 

eth区块链相关知识

JSON RPC 与eth节点沟通的桥梁
eth 

科普：零知识证明、ZKRollup 与 zkEVM

译者语：2023 年将迎来 zkEVM 大发展，让我们看看有哪些项目在进行 zkEVM 的研究，zkEVM 可以做什么
zkEVM  ZK Rollup 

aave v3分析

aave v3 去中心化借贷
Aave 

ethers.js分析

ethers.js 合约
ethers.js 

零知识证明类型解析

本文介绍了零知识证明（ZKP）的两种主要类型：zkSNARKs 和 zkSTARKs。zkSNARKs 依赖于可信设置，验证速度快，但安全性依赖于设置的安全性。zkSTARKs 不需要可信设置，具有更高的透明性和可扩展性，但计算开销可能更大。它们都是在不泄露信息的前提下，验证信息有效性的强大工具。
零知识证明  zkSNARKs  zkSTARKs  密码学  可信设置  隐私 
  • gelato
  • 发布于 2023-03-31
  • 阅读 ( 748 )

Breez 的开放式 LSP 模型：激励第三方 LSP 参与扩展闪电网络

本文介绍了Breez的开放式闪电网络服务提供商（LSP）模型，该模型旨在通过共享投资回报率(ROI)来扩展闪电网络，并吸引更多的第三方LSP。该模型通过Lightning SDK驱动需求，LSP负责提供流动性，形成供需的良性循环，使得LSP在无需放弃比特币控制权的情况下赚取收益，并介绍了首家合作的第三方 LSP：LQwD Fintech Corp。
闪电网络  LSP  流动性  ROI  Lightning SDK  金融科技 

PoS 系列 #2-Epoch，Slot 与信标区块

in  以太坊中文 · ETH
本文将介绍 PoS 机制下的时间表、验证者委员会的分配过程以及信标区块的组成。
PoS  信标链  共识层 

质押提款来了 | 主网 Shapella 升级公告

质押提款来了 | 主网 Shapella 升级公告
shapella 

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
代理合约 

理解比特币 Miniscript（三）：解析与分析

本文是“理解比特币脚本”系列的第三篇，介绍了如何使用 Go 语言实现 Miniscript 的解析、抽象语法树（AST）的构建、类型检查以及比特币脚本的生成，最终生成 P2WSH 收款地址。文章还提及了未来将探讨如何生成见证数据以及保证 Miniscript 遵守比特币的共识和标准。
Miniscript  比特币脚本  抽象语法树  AST  Go语言  P2WSH地址  类型检查 

关于空投

本文讲述了空投猎人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
  • 阅读 ( 714 )

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

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

SafeMoon漏洞解析

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