文章 - 第477页 - 登链社区

STARKs 系列第二部分 - 预处理的 AIR 的算术化

本文是“STARKs中的算术化”系列的第二部分，详细探讨了预处理AIR（PAIR）的概念，该方法通过将多个不相交的约束合并为一个更大的约束来提高计算完整性。文章介绍了执行跟踪的定义，结合示例说明了如何使用选择器列进行约束的组合，并分析了该方法对后续低阶邻近测试的影响及其复杂性。适合有一定基础的读者，持续深入该领域的理解。

STARKs 算术化预处理AIR 计算完整性低阶邻近测试约束

Three Sigma
发布于 2023-06-17
阅读 ( 719 )

L2 Sequencer 与过时预言机价格漏洞

本文介绍了在Layer-2网络中使用Chainlink预言机价格时，可能由于Sequencer宕机导致的价格过时漏洞。文章详细解释了Optimistic Rollup，Sequencer和Delayed Inbox的概念，以及漏洞产生的原理。最后，文章提供了一个简单的解决方案：在获取预言机数据之前，实施Sequencer Uptime检查。

Layer-2 Chainlink预言机 sequencer Optimistic Rollup Delayed Inbox 预言机价格

lopotras
发布于 2023-06-17
阅读 ( 35 )

Silo Finance逻辑错误漏洞修复评审

该文章详细介绍了Silo Finance中的一个严重逻辑错误漏洞，该漏洞可能导致黑客盗取价值300万美元的资产。作者分析了该漏洞的原理、攻击步骤及影响，并介绍了Silo Finance团队如何迅速修复该问题，确保用户资金安全。文章中包含了相关代码块、漏洞分析及修复措施，内容丰富且具有较高的技术深度。

漏洞分析 Silo Finance 逻辑错误以太坊黑客攻击修复措施

Immunefi
发布于 2023-06-17
阅读 ( 697 )

Proto-danksharding 是什么以及它是如何工作的

以太坊的下一次升级主要是引入了EIP4844（Proto-danksharding），这篇文章介绍了Proto-danksharding 是如何降低大幅 Rollup 的成本，以及他有哪些局限性。

EIP4844 以太坊 DA

翻译小组
发布于 2023-06-17
阅读 ( 4754 )
( 60 )

从零开始学习 Layer2 - zero-Merkle 树构建

本教程详细介绍了如何从零开始构建一个高效的零知识Merkle树（ZMT）实现，并讨论了如何构建仅需要O(log(n))存储的仅追加Merkle树。文章还探讨了如何生成和验证批量更新的Spiderman证明，并提供了TypeScript的实现代码。

Merkle树 ZMT 仅追加Merkle树 Spiderman证明 Typescript 零知识证明

carterfeldman
发布于 2023-06-17
阅读 ( 697 )

比特币NFTs: Ordinals NFT 图片怎么从rawTransaction原始交易中解析

怎么从Ordinals NFT 铭文的原始交易数据解析出NFT图片？

Oridinals NFT

石Tou
发布于 2023-06-17
阅读 ( 3175 )
( 24 )

Cobo 密码知识讲堂｜第二讲：ECDSA 算法及其门限化设计介绍

in Cobo 密码知识讲堂

本文是 Cobo 密码知识讲堂的第二讲，主要介绍了 ECDSA 签名算法及其门限化设计。文章详细阐述了 ECDSA 算法的产生背景、算法流程，以及 ECDSA 门限签名方案的研究现状、算法组成和关键设计，并从门限最优、低算法复杂度、可审计性和高安全性等方面给出了 ECDSA 门限签名算法的评价维度。

ECDSA 门限签名数字签名椭圆曲线密码学安全多方计算

Cobo
发布于 2023-06-16
阅读 ( 290 )

Web3 极客日报 #1236

rebase
发布于 2023-06-16
阅读 ( 1518 )
( 2 )

介绍 [V] 规范语言

这篇文章介绍了 V 规范语言，主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句，以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范，强调了这些规范在开发安全智能合约中的重要性。

规范语言形式验证智能合约合约不变性方法合约行为规范

Veridise
发布于 2023-06-16
阅读 ( 755 )

Medjai：保护 Cairo 代码免受漏洞影响

本文详细介绍了Medjai，一种用于寻找Cairo程序中的错误的符号执行工具。文章从Cairo语言的背景出发，深入探讨了零知识证明、Cairo工作流程、符号执行技术及其在实际开发中的应用，特别是如何帮助开发者发现Bug并验证修复。文章结构清晰，内容丰富，适合对区块链智能合约开发和安全感兴趣的读者。

Cairo Medjai 符号执行零知识证明区块链智能合约

Veridise
发布于 2023-06-16
阅读 ( 737 )

以太坊的 101 关键知识点

以太坊

小小张
发布于 2023-06-16
阅读 ( 5368 )
( 324 )

全盘解析零知识证明扩容方案的先行者 zkSync Era

本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项目的发展，从基本面、数据面再到生态系做全盘的解析。

zkSync 零知识证明扩容

DODO研究院
发布于 2023-06-16
阅读 ( 3059 )

Polygon：首个出圈的以太坊扩容方案

Polygon是一个去中心化的以太坊扩展平台，使开发人员能够以低交易费用构建可扩展的用户友好 Dapp，而无需牺牲安全性。Polygon计划成为以太坊上首个 Layer2 解决方案聚合器，为以太坊建设一个模块化、通用、灵活的扩容框架。

以太坊侧链扩展解决方案

GenesiSee
发布于 2023-06-16
阅读 ( 5353 )
( 2 )

模块化框架与单体框架的差异以及与 Rollup 相关的问题

本文深入探讨了模块化区块链和单体区块链的差异、优缺点，并讨论了模块化区块链中的一些争议点。文章解释了单体区块链的独立性、兼容性和简单性优势，以及其在扩展性、治理和安全性方面的局限性。同时，文章分析了模块化区块链的可扩展性、灵活性和治理优势，以及其复杂性、依赖性和不兼容性劣势。最后总结了对模块化区块链的未来发展方向的展望。

模块化区块链单体区块链 Rollup Celestia 以太坊数据可用性

4pillars
发布于 2023-06-16
阅读 ( 300 )

BIP 158 致密区块过滤器详解

本文详细介绍了比特币轻客户端中使用的致密区块过滤器（BIP158）的工作原理。文章对比了致密区块过滤器与布隆过滤器的优缺点，阐述了致密区块过滤器在隐私性、客户端-服务端负载均衡以及减少信任方面的优势。并通过一个在比特币测试网上构造过滤器的例子，深入解释了过滤器的构造过程，包括脚本公钥的收集、数字转换、差值计算以及Golomb-Rice编码的应用。

致密区块过滤器布隆过滤器比特币轻客户端 Golomb-Rice编码脚本公钥 BIP158

BTCStudy
发布于 2023-06-16
阅读 ( 475 )

【二】NOVA 系列之circuit

Nova zkSNARK folding

白菜
发布于 2023-06-16
阅读 ( 3505 )
( 17 )

记得收藏！| 以太坊攻略：以太坊区块浏览器初学者指南

本期文章我们继续介绍以太坊区块浏览器的其他功能。

Tokenview
发布于 2023-06-15
阅读 ( 6379 )
( 6 )

Web3 极客日报 #1235

rebase
发布于 2023-06-15
阅读 ( 1432 )
( 2 )

Memecoin 机器人、工具和基础设施的艺术与科学：一项综合研究

文章探讨了当前加密市场中的新兴服务，特别是围绕‘Bots as a Service’（BaaS）和‘memecoin’生态系统的工具和基础设施。尽管市场处于熊市，数个项目仍在为交易者提供关键工具，通过自动化交易方案和实时监控智能合约来增强交易效率和安全性。文章详细介绍了多个相关项目，如Maestro、Unibot和Scarab等，并分析了这些工具如何帮助交易员在波动的市场环境中获得优势。

Bots as a Service Memecoin 加密市场自动化交易交易工具智能合约

Shoal Research
发布于 2023-06-15
阅读 ( 1000 )

SharkTeam：HashFlow攻击事件原理分析

in 智能合约安全

北京时间2023年6月14日，HashFlow被黑客攻击，攻击者获利约60万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一****、事件分析****攻击者地址：0xBDf38B7475Ff810325AA

SharkTeam
发布于 2023-06-15
阅读 ( 2719 )
( 10 )