文章 - 第444页 - 登链社区

OP_CHECKSEPARATESIG 和 Actuaries：打造多方的通道工厂

本文讨论了多方通道的设计及其面临的挑战，特别是在参与者不完全在线的情况下如何安全更新通道状态。提出了使用OP_CHECKSEPARATESIG操作码和仲裁者（Actuary）的概念，通过经济激励来保证交易的有效性，从而在非全员在线的情况下实现更安全的多方通道更新。

多方通道 OP_CHECKSEPARATESIG SIGHASH_ANYPREVOUT 闪电网络 Actuary 链下交易

BTCStudy
发布于 2023-09-28
阅读 ( 236 )

椭圆曲线点加法

in 零知识证明之书

本文详细介绍了椭圆曲线加法在实数域上的工作原理，通过群论的角度解释了椭圆曲线点的加法操作，并展示了如何在椭圆曲线上进行点加法的具体公式和几何解释。文章还包括了代码示例和数学公式，深入探讨了椭圆曲线的代数性质。

椭圆曲线群论点加法密码学实数域

RareSkills
发布于 2023-09-28
阅读 ( 1529 )

Pessimism: Base 构建的开源监控系统

Pessimism，一个开源的监控系统，旨在通过快速检测和响应各种对协议的威胁，增强 Base（以及更广泛的 OP Stack 和以太坊生态系统）的安全性。

OP Stack 区块链安全 EVM

翻译小组
发布于 2023-09-28
阅读 ( 3598 )
( 15 )

比特币 ZK Rollups 你想了解的都在这

比特币即将迎来 Zero-knowledge rollups

比特币 Layer2 零知识证明

CKBFans
发布于 2023-09-28
阅读 ( 3412 )
( 5 )

如何高效分析 Aptos Event

区块链网络交互模式，很像一个异步的读写分离系统，在合约中提交event 对于 Aptos 上的开发者来说，是非常重要的交互方式。本文将系统地带大家认识和分析 aptos 的 event。

Aptos 数据分析

Chainbase
发布于 2023-09-28
阅读 ( 3616 )
( 18 )

Michael.W基于Foundry精读Openzeppelin第37期——AccessControl.sol

in Michael.W基于Foundry精读Openzeppelin

AccessControl库用于管理函数的调用权限，所有继承了AccessControl的子合约均可为自己的业务函数设置调用权限。AccessControl是一个轻量级的基础库且各个role不支持在编成员的迭代导出，所以授权和撤销role成员的操作会抛出event。

OpenZeppelin Foundry

Michael.W
发布于 2023-09-28
阅读 ( 2699 )
( 3 )

指南：通过 NFTScan API 获取钱包地址的 NFT Statistics 全量数据

NFTScan NFT API 一站式提供多链数据，帮助开发者检索海量 NFT 数据！

NFT NFTScan API

NFT Research
发布于 2023-09-28
阅读 ( 2968 )
( 3 )

Lambda的工程哲学

本文探讨了Lambda不同的运作方式，强调了观察、迭代、简化等原则在工程实践中的重要性。文章论述了如何在解决问题时建立良好的沟通文化，重视可观测性，并提出敏捷开发和过程管理的有效策略，以提升团队的协作与生产力。

工程原则观察与测量沟通文化敏捷开发过程管理简化

lambdaclass
发布于 2023-09-28
阅读 ( 595 )

Web3 极客日报 #1326

rebase
发布于 2023-09-27
阅读 ( 1443 )
( 3 )

2024年学习Solidity的最佳免费方法

本文介绍了Solidity的学习重要性、学习方法及核心概念。Solidity是以太坊及EVM兼容区块链的智能合约编程语言，学习Solidity不仅可以提供高收入的职业机会，还能帮助开发者构建影响深远的去中心化应用（dApps）。

Solidity 智能合约去中心化应用以太坊

Alchemy
发布于 2023-09-27
阅读 ( 898 )

SlowMist：探索法iat-Shamir方案中的Frozen Heart漏洞

本文详细分析了Frozen Heart漏洞，这一漏洞源于Fiat-Shamir变换的安全性问题。在阐述Fiat-Shamir变换及其在零知识证明中的应用后，文章探讨了弱Fiat-Shamir变换如何导致攻击者在不知秘密值的情况下伪造证明，从而威胁零知识证明系统的安全性。最后，作者强调在实施过程中必须认真审查Fiat-Shamir变换的正确性。

零知识证明 Fiat-Shamir变换安全漏洞 Frozen Heart 证明伪造加密技术

slowmist
发布于 2023-09-27
阅读 ( 761 )

不要信任，去验证：轻客户端介绍

本文深入探讨了轻客户端（Light Clients）的概念、重要性及其在Web3中的应用，特别是在高安全性钱包和区块链桥梁方面的应用，并分析了不同类型的区块链客户端及其优缺点，同时讨论了轻客户端的设计考虑因素，如SPV、客观性与弱主观性、验证器集合与同步委员会、SNARK证明等。文章还展望了轻客户端的未来发展方向，包括向SNARKs过渡、与全节点激励对齐、分片系统以及更安全的轻客户端桥梁。

轻客户端区块链桥 SPV SNARK 数据可用性 Web3

a16z Crypto
发布于 2023-09-27
阅读 ( 395 )

深入探究多断言机的 DLC

本文深入探讨了多断言机谨慎日志合约（DLC）的实现方式，重点介绍了通过数字前缀压缩结果以减少适配器签名的需求，并介绍了如何在多个断言机之间实现共识，以及权衡合约边界的严密性和适配器签名数量之间的关系。文章还强调了所有操作都在客户端私密完成。

谨慎日志合约 DLC 多断言机适配器签名数字前缀压缩算法

BTCStudy
发布于 2023-09-27
阅读 ( 443 )

Uniswap v3 数学洞察系列翻译 —— 第二部分共 6 部分

通过构建多个流动性提供（LP）位置来确定优化收益的方法，并借助 desmos 的帮助。

Uniswap V3 DeFi 区块链中的数学

Antalpha Labs
发布于 2023-09-27
阅读 ( 2321 )

论EVM和zkEVM的新叙事

本文探讨了区块链虚拟机（VM）和零知识虚拟机（zkVM）的最新发展，涵盖了WasmVM、MoveVM和Solana VM等多种VM的特性和应用，并深入研究了zkVM在增强隐私、安全性和可扩展性方面的作用。文章还展望了Wasm VM的潜力、VM用例的增加以及zk市场的未来发展。

虚拟机 EVM zkVM WASM Move 零知识证明

4pillars
发布于 2023-09-27
阅读 ( 355 )

加密工具101 - 哈希函数与默克尔树

本文详细解释了区块链中两个关键的加密原语：哈希函数和Merkle树。文章从哈希函数的基本机制出发，探讨了其在区块链中的重要性，并介绍了哈希指针的概念。随后，文章深入讨论了传统Merkle树和并发Merkle树，以及它们在Solana区块链中的应用。

哈希函数 Merkle树区块链并发Merkle树 Solana 加密原语

Helius
发布于 2023-09-27
阅读 ( 1152 )

使用代理：一份必备指南

本文档是使用代理模式的基本指南，主要讨论了使用代理的优缺点、代理的类型（推荐 UUPS 代理），以及使用代理的最佳实践，包括使用 OpenZeppelin 的代理合约、使用 Initializer 而不是 Constructor、单次交易中设置和初始化等。

代理模式 UUPS Transparent Proxy OpenZeppelin 智能合约升级 ERC1967Proxy

sigmaprime
发布于 2023-09-27
阅读 ( 72 )

共识机制原理（一）—— 绪论与分布式系统

本文为学校《共识机制原理》自己记录的笔记完整链接请访问：https://blog.0xhowe.top/

共识

0xHowe
发布于 2023-09-26
阅读 ( 3630 )
( 4 )

KYT/AML：Web3合规展业的必要条件

in 智能合约安全

与传统证券一样，基于区块链技术发展出来的虚拟资产交易所经历了快速发展而缺乏有效监管的行业早期。除了科技光环加持的各种区块链项目方、造富神话之外，交易所遭到黑客攻击、内部偷窃作恶、甚至经营主体异常而致使投资人血本无归的案例亦令人触目惊心。之前的FTX事件，近期的JPEG等事件也证明，缺乏有效的监管将严

SharkTeam
发布于 2023-09-26
阅读 ( 3345 )
( 4 )

SharkTeam：Web3安全实践与创新