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

以太坊扩容2：Optimistic Rollup和ZK Rollup的工作原理

本文深入探讨了Layer2解决方案与独立链的主要区别，重点在于数据可用性（DA）。Layer2依赖以太坊控制DA，安全性由以太坊保障，但牺牲了可扩展性。文章详细对比了Optimistic Rollup和ZK Rollup两种主流Layer2方案，包括其工作原理、特性及优缺点，并分析了它们在实际应用中的差异与市场表现，为理解Layer2技术提供了全面的视角。
Layer2  Optimistic Rollup  ZK Rollup  数据可用性  以太坊  zk-SNARK 

HyperPlonk，一种专为ZKEVM设计的零知识证明系统

HyperPlonk是一种新的零知识证明系统，旨在克服传统Plonk系统在处理大规模计算时遇到的限制，特别是通过去除FFT（快速傅里叶变换）来提高可扩展性，并支持高阶自定义门和查找功能，特别适用于复杂的ZK-EVM应用。
HyperPlonk  zk-SNARKs  FFT  zkEVM  多项式承诺 

NFTScan 与 Decert 达成合作伙伴，双方在 NFT 数据方面展开合作

在 Decert 产品中，由 NFTScan 为其提供专业的多链 NFT 数据支持。
NFT  DeCert  NFTScan 

重新定义排序器：理解聚合器和Header生产者

本文深入探讨了Rollup架构的各种变体，将sequencer分解为aggregator和header producer两个逻辑实体，并将sequencing过程分为inclusion、ordering和execution三个逻辑过程。
Rollup  sequencer  DA-Layer  聚合器  Header Producer  MEV 

针对ZK友好哈希函数的代数攻击

本文深入探讨了针对ZK友好哈希函数的多种代数攻击，包括插值攻击、GCD攻击和格布尔基攻击等。文章首先介绍了这些哈希函数的设计原理及其安全性，随后详细分析了各类攻击的机制及其对哈希函数安全性的影响。通过实例化具体攻击，强调了在设计安全算法时必须考虑的潜在弱点与新兴攻击方式。
ZK友好哈希函数  代数攻击  插值攻击  GCD攻击  格布尔基攻击  安全性 
  • zellic
  • 发布于 2023-07-14
  • 阅读 ( 427 )

手摸手教你如何使用foundry进行测试脚本编写

什么是foundry?foundry是一个solidity智能合约开发工具。可以帮你管理依赖包，编译项目，运行测试脚本，还可以让你通过命令行工具或者script脚本和链上合约进行交互。和hardhat不同的地方是，hardhat我们还是主要用来开发大型的合约项目，但是foundry用来进行编写测试
Foundry  Solidity  Solidity工具 

将代数电路转换为R1CS（一阶约束系统）

in  零知识证明之书
文章详细介绍了如何将一组算术约束转换为Rank One Constraint System (R1CS)，涵盖了转换中的优化和Circom库的实现方法。
R1CS  算术电路  circom  Modular Arithmetic  零知识证明 

Web3 极客日报 #1262

Web3 极客日报 #1262
  • rebase
  • 发布于 2023-07-13
  • 阅读 ( 1652 )
  • ( 2 )

新版 Phoenix 钱包：第三代的自主保管闪电钱包

Phoenix钱包通过“通道拼接”技术，实现了单通道动态调整大小，解决了旧版本中通道管理的问题。新版本降低了用户的手续费，提高了可预测性和控制力，并实现了免信任的互换。未来，Phoenix钱包将继续改进隐私性、静态发票和通道管理。
通道拼接  闪电网络  Phoenix钱包  链上交易  链下交易  互换 

Solidity定点库中的问题——Certora漏洞披露

本文揭示了PRBMath库中mulDivSigned函数的一个设计缺陷，该缺陷会导致在计算有符号数的乘法和除法时出现精度问题，特别是在DeFi应用中可能被利用导致资金损失。Certora团队通过形式化验证工具发现了这个存在于多个PRBMath版本中的问题，并与作者Paul Razvan Berg合作，最终通过修改函数定义为向零取整来临时解决，并计划在未来提供更全面的舍入模式支持。
Solidity  PRBMath  mulDivSigned  bug  DeFi  形式化验证 

比特币中的限制条款：用于评审的分类学

本文作者 Rusty Russell 探讨了比特币中限制条款（covenant）的不同实现方式，从最简单的 OP_TXIDVERIFY 到最全面的 OP_TX，以及介于两者之间的 OP_TXHASH 和 OP_CHECKTEMPLATEVERIFY。
限制条款  Covenant  OP_TX  OP_TXHASH  OP_CHECKTEMPLATEVERIFY  Taproot 

Solidity Fixed Point 库中的问题 — Certora 漏洞披露

本文探讨了固定点表示法在DeFi应用中的重要性，详细分析了PRBMath库中的一个设计缺陷，该缺陷可能导致严重的安全漏洞，并强调了公共库安全性的重要性。作者建议进行长远解决方案以支持多种舍入模式，并指出了正式规范的重要性。
固定点表示法  DeFi  PRBMath库  安全漏洞  智能合约  数学库 
  • Certora
  • 发布于 2023-07-13
  • 阅读 ( 355 )

一文读懂区块链执行层、存储层和共识层的扩容方案

概述了区块链的可扩展性问题，重点聚焦区块链与传统计算系统的区别，并列举了区块链在执行层、存储层以及共识层不同扩容方案的优劣势。
预言机  Chainlink 

闪电网络服务商的崛起

本文主要探讨了闪电网络及闪电网络服务提供商（LSP）的兴起。随着闪电网络容量的增长，托管方案的使用量超过了自托管应用。LSP通过提供流动性和网络服务，简化用户和商家在闪电网络上的操作，从而解决了闪电网络流动性和用户获取的挑战，并促进了闪电网络生态系统的发展和自主保管的普及。
闪电网络  流动性  闪电网络服务商  通道  自托管  入账流动性 

Web3 极客日报 #1260

Web3 极客日报 #1260
  • rebase
  • 发布于 2023-07-12
  • 阅读 ( 1254 )
  • ( 4 )

Web3 极客日报 #1261

Web3 极客日报 #1261
  • rebase
  • 发布于 2023-07-12
  • 阅读 ( 1448 )
  • ( 4 )

zkSync快照及与OP-Stack的比较

本文详细介绍了zkSync的发展历程、生态现状及技术架构，zkSync是以太坊的Layer2扩展方案，通过zk-rollup技术提高交易吞吐量，降低交易成本，并着重分析了zkSync的三个核心层：执行层、结算层和数据可用性层。此外，还比较了ZK-Stack与OP-Stack在Dapp开发者、核心开发者和商业角度的不同，最后展望了zkSync的未来发展，并强调了其在隐私性和可扩展性方面的潜力。
zkSync  ZK-Stack  op-stack  Layer2  zkEVM  Rollup 

Celestia： 模块化区块链的世界

阐述 Celestia 的新功能和模块化世界的未来
模块化区块链  Celestia 

Web3 开发指南：使用 NFTScan NFT API 构建一个 NFT 链上追踪器

构建一个完整的链上 NFT 数据追踪系统是一项具有挑战性的任务，构建一个 NFT 链上追踪器更是如此。
NFT  API  NFTScan 

Starknet 改进语法全解读

Starknet 改进语法全解读
Starknet  Cairo