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

Web3 极客日报 #1250

Web3 极客日报 #1250
  • rebase
  • 发布于 2023-06-30
  • 阅读 ( 1475 )
  • ( 3 )

Blur 状态分析

该报告深入分析了以太坊 NFT 二级市场上的关键参与者 Blur Marketplace。报告回顾了交易量和重要参与者，并对 Blur Marketplace 的 NFT 抵押借贷协议 Blend 进行了分析，同时评估了 Blur 代币的分配，预测了其供应量随时间的潜在演变。并分析了Blur在快速发展的NFT市场中的地位，用户动态和市场特征。
NFT  Blur  OpenSea  Blend  BLUR代币  NFT市场 

权益证明验证者狙击研究

本文讨论了以太坊合并后，验证者面临的隐私风险，特别是验证者可能遭受狙击攻击以窃取区块奖励。攻击者通过监控网络将验证者的公钥与其IP地址关联，然后发起拒绝服务攻击，使目标验证者无法完成其职责，从而使下一个验证者能够获取MEV机会和交易费用。研究表明，这种攻击的动机被低估，识别验证者IP地址相对容易，且攻击更易实施和难以缓解。
以太坊  权益证明  验证者  MEV  拒绝服务攻击  隐私 

超大规模：欢迎来到 ZK Stack 时代！

本文介绍了zkSync推出的ZK Stack，这是一个模块化的开源框架，旨在帮助开发者构建自定义的、基于零知识证明（ZK）的L2和L3解决方案，即Hyperchains。ZK Stack具有开放源代码、可组合性、模块化和可靠性等关键特性，适用于游戏、社交网络、交易所、银行和企业等多种应用场景，实现高效的跨链互操作性和资产转移。
ZK Stack  zkSync  Hyperchains  零知识证明  Layer2  Layer3 
  • gelato
  • 发布于 2023-06-30
  • 阅读 ( 795 )

Tornado Cash governance 治理攻击事件

本文分析了 Tornado Cash Governance 被攻击的事件，攻击者利用 CREATE、CREATE2 和 selfdestruct 等 Solidity 特性，通过部署包含 selfdestruct 函数的恶意提案，在提案通过后删除原合约并在相同地址部署恶意合约，从而控制了 Governance 合约，盗取了大量资金，并详细解释了攻击的步骤和技术原理，以及如何利用 CREATE 和 CREATE2 部署相同地址的合约。
Tornado Cash  Governance  CREATE  CREATE2  selfdestruct  智能合约安全 

Gelato的Web3函数现已在zkSync Era上线！

Gelato 的 Web3 Functions 现在已在 zkSync Era 上线。Web3 Functions 允许开发者使用链下数据自动执行智能合约，从而扩展去中心化应用程序的功能。通过与 zkSync Era 的集成，DeFi 应用程序开发人员可以实现复杂的任务的无缝执行，减少手动干预并提高去中心化金融运营的效率。
ZKsync Era  Web3 Functions  Gelato  智能合约  自动化  DeFi 
  • gelato
  • 发布于 2023-06-30
  • 阅读 ( 456 )

ERC777 与任意调用合约可能出现的安全问题

Hook 是一个强大功能，可以带来更灵活的组合性。向任何强大的武器一样，使用不当可能会伤害到自己。 当任意调用与 Hook 在一起，更要小心。
Hook  ERC777  区块链安全  智能合约 
  • Tiny熊
  • 发布于 2023-06-30
  • 阅读 ( 4263 )
  • ( 22 )

09.slither检测器分析之一——状态变量覆盖漏洞

in  Slither漏洞扫描框架使用(初级篇)
09.状态变量覆盖的含义状态变量覆盖是指子类中的状态变量将父类的状态变量进行覆盖，子类和父类使用了相同名称的状态变量。在这种情况下，如果操作子类的状态变量不会修改父类的状态变量，而此时代码的真实意图可能是为了修改父类的状态变量。
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 3404 )
  • ( 3 )

08.slither中数据依赖检测示例

in  Slither漏洞扫描框架使用(初级篇)
1.理解数据依赖性的概念。 2.在源代码分析时，可以从用户的输入跟踪受影响的合约变量。
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 3140 )

07.Slither中间语言数据结构分析-node对象

in  Slither漏洞扫描框架使用(初级篇)
1.理解irs与irs_ssa的区别。 2.理解实现ssa时的支配边界的定义。 3.理解Node对象常用的方法。
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 3634 )
  • ( 2 )

06. Slither中间语言SlitherIR理论介绍

in  Slither漏洞扫描框架使用(初级篇)
节点、表达式与IR的是什么样的关系？如何根据代码生如何提取出IR指令？在遍历节点时，有哪些对象经常用到。
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 3701 )

扩展公钥与扩展私钥

in  BTCStudy 精选
比特币钱包软件让你可以在同一个应用中使用许多个 “钱包” 并生成无数个地址。理解 “xPub” 和 “xPriv” 可以帮助你理解这是怎么做到的。
钱包  比特币 

使用 Gelato 和 Safe 账户抽象 SDK 实现 Gasless 交易

本文介绍了如何使用 Safe 账户抽象 SDK 和 Gelato Relay Kit 实现 gasless 的 NFT minting。
Account abstraction  Safe  Gelato Relay  gasless交易  NFT  区块链 
  • gelato
  • 发布于 2023-06-29
  • 阅读 ( 785 )

CityDAO：开创未来的区块链大都市

本文介绍了 CityDAO，一个旨在通过区块链技术彻底改变土地所有权和城市发展的去中心化自治组织（DAO）。CityDAO 的核心目标是在以太坊区块链上创建一个资产网络，从怀俄明州的一块土地开始，通过 NFT 代表土地所有权，并利用 Snapshot 进行去中心化治理，让公民共同决定土地的利用和管理方式。
CityDAO  DAO  区块链  NFT  去中心化治理  土地所有权 

Tornado Cash 的工作原理（开发者逐行解析）

in  零知识证明之书
本文详细介绍了Tornado Cash的工作原理，包括零知识证明、Merkle Tree的使用以及如何实现匿名加密货币转账。文章还讨论了Tornado Cash的智能合约架构、合法性问题以及潜在的安全风险。
Tornado Cash  零知识证明  Merkle Tree  智能合约  匿名转账  Solidity 

Web3 极客日报 #1249

Web3 极客日报 #1249
  • rebase
  • 发布于 2023-06-29
  • 阅读 ( 1784 )
  • ( 5 )

去中心化金融保险中的索赔评估是如何运作的

这篇文章详细探讨了去中心化金融（DeFi）保险中的索赔评估机制，分析了不同类型的去中心化索赔流程，包括基于智能合约、社区投票、顾问委员会以及第三方仲裁等方法。文章不仅比较了这些评估机制的优缺点，还指出了在管理索赔过程中的潜在冲突和效率问题，对DeFi保险的未来发展提出了深刻的见解。
DeFi保险  索赔评估  智能合约  社区投票  第三方仲裁  风险管理 

SharkTeam：Themis protocol闪电贷价格操纵攻击分析

in  智能合约安全
北京时间6月28日，Themisprotocol遭受闪电贷攻击，攻击者已获利约37万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一、事件分析攻击者地址：0xdb73eb484e7dea3785520d
  • SharkTeam
  • 发布于 2023-06-29
  • 阅读 ( 2907 )
  • ( 2 )

顶级 Solana RPC - Helius与其他节点提供者的比较

本文介绍了RPC节点在区块链开发中的重要性，重点阐述了高性能、可靠性和成本效益之间的平衡（即RPC三难问题）。Helius RPC被设计为同时满足这三个关键标准，并提供了一系列功能，如增强API和Webhooks，以支持Solana开发者。最后，作者总结了Helius RPC的优势，鼓励读者尝试其服务。
RPC节点  区块链开发  Helius  Solana  性能  可靠性 
  • Helius
  • 发布于 2023-06-29
  • 阅读 ( 1517 )

ZK证明和ZK-EVM如何工作（无需数学）

本文详细介绍了零知识证明（ZK proofs）的工作原理、类型（交互式和非交互式），以及两种常见的 ZKP 系统：ZK-SNARKs 和 ZK-STARKs。此外，文章还探讨了 ZK proofs 在区块链领域的应用，特别是 Polygon 的 zkEVM 如何利用 ZKPs 来提高以太坊的可扩展性，同时保持安全性和 EVM 兼容性。
零知识证明  zk-SNARKs  ZK-STARKs  zkEVM  Polygon  密码学