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

在零知识证明中证明以太坊全节点

本文介绍了在以太坊中证明全节点的必要性，重点阐述了如何通过 zkBridge 实现高效、安全的互操作性。文章详细解释了 deVirgo 证明系统的工作原理以及与传统轻客户端的安全性比较，展示了 zkBridge 在多链环境中的应用前景。最后，通过实验结果评估了系统性能，并展望了未来的优化方向。
Ethereum  zkBridge  deVirgo  PoS  互操作性  全节点证明 

Web3 极客日报 #1271

Web3 极客日报 #1271
  • rebase
  • 发布于 2023-07-22
  • 阅读 ( 1436 )
  • ( 3 )

使用 Echidna 对链上合约进行模糊测试

Echidna 2.1.0 版本引入了直接检索链上数据的新功能，如合约代码和存储槽值。文章展示了如何使用 Echidna 复现 2022 年 Stax Finance 被攻击事件，该事件是由于 `StaxLPStaking` 合约中缺少验证检查，导致价值 230 万美元的 xLP 代币被盗。
Echidna  智能合约  模糊测试  漏洞  Stax Finance  hevm 

Michael.W基于Foundry精读Openzeppelin第11期——Math.sol

in  Michael.W基于Foundry精读Openzeppelin
Math库为合约开发提供了solidity内置的uint256运算以外的其他整形运算方法。solidity内置的整形运算，每一步都会做overflow revert（除非unchecked{}），而Math库会在不影响结果准确性的前提下利用位溢出进行更加tricky的操作。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-22
  • 阅读 ( 3261 )
  • ( 6 )

等待确认（八）：交易池规则是个接口

本文是 Gloria Zhao 在 Optech Newsletter 上编写的 “交易池” 系列周刊的第八篇，主要探讨了交易池规则对合约式协议（尤其是闪电网络）的影响，以及如何利用交易池规则的限制进行“钉死攻击”，并讨论了缓解这些攻击的方法。文章强调了交易池作为比特币生态系统中应用和协议接口的重要性以及需要提升的地方。
交易池  闪电网络  钉死攻击  CPFP  RBF  手续费 

你的三明治是我的午餐：如何抽取MEV合约V2

本文讨论了以太坊上的最大可提取价值（MEV）及其相关的安全问题，包括常见的攻击方式和智能合约中的气体优化缺陷。通过对一个存在气体优化漏洞的MEV机器人的分析，展示了如何利用其漏洞进行恶意操作，并介绍了如何在避免被MEV机器人影响的情况下保护普通用户的策略。
最大可提取价值  MEV攻击  ERC-20  安全漏洞  Gas 优化 
  • zellic
  • 发布于 2023-07-22
  • 阅读 ( 808 )

Web3初学者指南| 莱特币攻略：什么是莱特币区块浏览器？如何使用？

摘要随着数字货币的兴起，莱特币（Litecoin）作为一种备受关注的加密货币，其交易和区块信息的追踪和查看变得越来越重要。而莱特币区块浏览器则是一个强大的工具，为用户提供了便捷的方式来探索莱特币的交易和区块。
  • Tokenview
  • 发布于 2023-07-22
  • 阅读 ( 1927 )
  • ( 3 )

网络动态：Thorchain 的现状

本文分析了 THORChain 的各项指标数据，包括交易量、手续费、用户增长、TVL 以及 RUNE 代币的相关情况。THORChain 作为跨链 DEX，在促进不同区块链之间的互操作性方面具有独特价值。尽管交易量有所下降，但手续费收入和用户活跃度在 2023 年有所增长，这表明 THORChain 在 DeFi 生态系统中仍然具有重要地位。然而，RUNE 代币的估值倍数较高，需要谨慎评估。
THORChain  DEX  跨链  RUNE  TVL  DeFi 

治理常见问题解答

这篇文章深入探讨了Web3中去中心化治理的设计与实践，强调了建立公正、透明和有效治理体系的重要性。作者结合自己的研究和经验，回答了多个关于治理目标、参与度、委托投票等关键问题，为Web3项目的创始人提供了实用的建议和指导。
Web3  去中心化治理  参与度  委托投票  社区  治理设计 

极简 Ark 解释

本文介绍了Ark这一隐私coinswap协议，通过服务端实现Alice向Bob的支付，无需信任。协议的关键在于资金通过服务端进行中转，并利用时间锁确保交易的有效性。虽然服务端需要锁定大量的资金，但Ark协议在链下具有更高的效率，并且简化了交互。
CoinSwap  Ark协议  时间锁  UTXO  链下交易  隐私 

【三】GKR 协议系列之Extended MUL/ADD

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...本章节手推了一下电路MUL/ADDga
interactive protocol  GKR  multilinear extension 
  • 白菜
  • 发布于 2023-07-22
  • 阅读 ( 4381 )
  • ( 2 )

【二】GKR 协议系列之Sum-Check

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节值得关注一下，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...本章节，我们就一个数气球的toycas
interactive protocol  sumcheck  GKR 
  • 白菜
  • 发布于 2023-07-22
  • 阅读 ( 5215 )
  • ( 2 )

20分钟极速学完Hardhat全部内容

本节课将用最简单的语言、最少的废话来帮助同学们用最短的时间学习hardhat，全网独家！
Hardhat 

【一】GKR 协议系列之Multilinear Extensions

GKR协议在InteractiveProtocol框架里是一套非常经典的协议，里面有很多细节，本系列专题会逐一detail出来：MultilinearExtensionsSum-CheckExtendedMUL/ADD...背景MLE为解决Sum-Check问题提供了一
interactive protocol  multilinear extension  sumcheck 
  • 白菜
  • 发布于 2023-07-21
  • 阅读 ( 4162 )
  • ( 3 )

Web3 极客日报 #1270

Web3 极客日报 #1270
  • rebase
  • 发布于 2023-07-21
  • 阅读 ( 1369 )
  • ( 2 )

Syndica 推出 Sig：一个用 Zig 编写的以 RPS 为中心的 Solana 验证器客户端

Sig 是一个用 Zig 语言编写的 Solana 验证器客户端，旨在优化读取性能（RPS），解决 Solana 网络中常见的 slot lag 问题。Sig 通过提高客户端多样性、提供更易读的代码库和利用 Zig 语言的技术优势，旨在提升 Solana 的用户体验和网络稳定性，并提供前所未有的可访问性。
Solana  验证器  Zig语言  RPS  客户端多样性  Gossip协议 
  • syndica
  • 发布于 2023-07-21
  • 阅读 ( 497 )

Cosmos IBC、LayerZero 和 Chainlink CCIP：跨链比较…

本文对比了三种跨链解决方案：Cosmos IBC、LayerZero 和 Chainlink CCIP。
Cosmos IBC  LayerZero  Chainlink CCIP  跨链  互操作性  预言机 

等待确认（七）：网络资源

本文是Gloria Zhao在Optech Newsletter上编写的“交易池”系列周刊的第七篇，主要讨论了网络范围内的资源概念，这些概念对于比特币的可扩展性、可升级性以及维护全节点的可访问性至关重要。文章还探讨了交易池规则如何通过限制区块链增长、UTXO集大小以及定义标准交易等方式来保护共享网络资源，从而维护网络的特性并为未来的协议开发保持开放性。
交易池  UTXO集  网络资源  比特币  共识规则  挖矿 

友好的零知识证明介绍

在本文中，作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理，以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用
零知识证明 

Tokenomics：实用概述

本文深入探讨了 Tokenomics（代币经济学）的概念，它是加密货币领域中代币发行、分配和管理的关键系统。
Tokenomics  代币经济学  加密货币  区块链  代币  RWA