文章 - 第577页 - 登链社区

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

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

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

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

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

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

Oridinals NFT

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

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

in Cobo 密码知识讲堂

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

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

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

Web3 极客日报 #1236

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

介绍 [V] 规范语言

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

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

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

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

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

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

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

NFTScan 成为 Coin98 官方 NFT 数据合作伙伴！

NFTScan 将为由 Coin98 提供支持的 Dagora NFT Marketplace 和 Coin98 Wallet 提供专业的多链 NFT 数据支持！

NFT Research
发布于 2023-06-16
阅读 ( 3868 )
( 3 )

以太坊的 101 关键知识点

以太坊

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

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

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

zkSync 零知识证明扩容

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

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

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

以太坊侧链扩展解决方案

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

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

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

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

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

BIP 158 致密区块过滤器详解

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

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

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

【二】NOVA 系列之circuit

Nova zkSNARK folding

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

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

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

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

Web3 极客日报 #1235

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

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

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

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

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

SharkTeam：HashFlow攻击事件原理分析

in 智能合约安全

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

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

2023 领先的区块链数据 API 服务

数据基础设施 API

翻译小组
发布于 2023-06-15
阅读 ( 5301 )
( 13 )

Truffle框架

Truffle：Truffle是一个流行的开发框架，专门用于构建以太坊（Ethereum）区块链应用程序。它提供了一组工具和库，以简化智能合约的开发、测试和部署过程。下面是Truffle框架的主要功能：智能合约开发：Truffle提供了一个简洁的开发环境，可以编写Solidity智能合约。它

Leo Turing
发布于 2023-06-14
阅读 ( 4237 )
( 3 )

探索智能合约开发中的单例合约

这篇文章深入探讨了单例合约在区块链智能合约开发中的重要性，以及其优势和实现方法。通过优化资源使用、标准化接口、提升安全性和治理能力，单例合约为去中心化应用程序提供了一种高效的管理方式。

单例合约区块链智能合约去中心化应用资源优化安全性

genisis0x
发布于 2023-06-14
阅读 ( 480 )