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

对 zksync 官方 Paymaster 示例代码的理解

对官方给的 Paymaster 部分示例的理解
zkSync 
  • nilliol
  • 发布于 2024-07-20
  • 阅读 ( 1414 )
  • ( 16 )

a16z：如何设计 NFT 版税设计 - 挑战和新想法

由于很难区分哪些 NFT 转移是应支付版税的“销售”，以及其他类型的转移，使得在链上执行版税存在诸多调整，本文提出了一些新的思路。
NFT  版税  a16z 

Web3 极客日报 #1553

  • rebase
  • 发布于 2024-07-20
  • 阅读 ( 953 )
  • ( 10 )

SP1 审计报告 - 递归虚拟机

本文是由 rkm0959 审计，KALOS 发布的 SP1 审计报告，审计对象是 SP1 项目中的 Recursion VM 部分，commit hash 为 22f51bb8e1f343661c1a54140401a7cb3e365928，重点关注了 `recursion/core/src` 目录下的代码，审计时间为2024年4月15日至2024年5月31日。
SP1  Recursion VM  审计报告  零知识证明  密码学  安全漏洞 

Starknet 学习之了解 Starknet 基础知识

in  Starknet
Starknet学习之了解Starknet基础知识了解Starknet基础知识主题为什么选择Cairo为什么选择Starknet智能钱包Starknet架构101TransactionsStarknet相关名称的了解与区分STARKWARE：是位于以
Starknet  Web3  Cairo  StarkWare  StarkEx  L2 

将EigenLayer集成到你的测试套件中

本文介绍了在EigenLayer协议上构建测试用例的方法，特别是如何使用eigenlayer-fuzzing库来进行集成测试。作者详细阐述了如何将该库作为子模块添加到已有项目中，以及如何设置环境并集成目标函数，以便模拟EigenLayer的外部行为，确保兼容性和可靠性。文章还提供了代码示例和步骤指南，适合有一定基础的读者。
EigenLayer  fuzzing  集成测试  Foundry  合约开发  Renzo 
  • Recon
  • 发布于 2024-07-20
  • 阅读 ( 423 )

区块链中的重组与回滚的区别

在区块链技术中，重组（Reorganization）和回滚（Rollback）是两个关键的概念。虽然它们在某些情况下可能看起来相似，但实际上有着不同的意义和应用场景。本文将深入探讨这两个概念及其区别，帮助读者更好地理解区块链网络的运行机制。一.什么是区块链重组？重组是指区块链网络在遇到链分叉时，
以太坊2.0 

以太坊2.0—区块的产出和确认

在区块链领域，以太坊（Ethereum）作为一个支持智能合约和去中心化应用（DApps）的平台，一直备受关注。随着以太坊2.0的推出，网络的安全性、可扩展性和去中心化程度得到了显著提升。本系列博客将深入探讨以太坊2.0的各个方面，今天我们聚焦于区块的产出和确认。什么是以太坊2.0？以太坊2.0，
以太坊2.0 

Web3 极客日报 #1552

  • rebase
  • 发布于 2024-07-19
  • 阅读 ( 1025 )
  • ( 11 )

不要因为谁“支持加密货币”而选择你的政治立场

文章讨论了不应仅仅因为某政党或候选人“支持加密货币”而选择政治立场，因为这种选择可能违背加密货币最初的价值观。文章回顾了加密货币的历史和其背后的自由与去中心化理念，并指出加密货币只是众多技术自由中的一个方面。
加密货币  政治立场  去中心化  密码朋克  自由  国际主义 

潜入Berachain #1流动性证明之旅

本文介绍了Berachain的Proof-of-Liquidity (PoL)模型，指出传统的Proof-of-Stake (PoS)共识算法在流动性和网络安全性方面的不足。通过采用非可转让的治理代币$BGT，Berachain旨在建立用户、验证者与网络间的共生关系，从而提高流动性和安全性，进而推动可持续的生态系统发展。
Proof-of-Liquidity  PoS  验证者  代币  生态系统  DeFi 
  • verse2
  • 发布于 2024-07-19
  • 阅读 ( 591 )

介绍Movetool：一个Move字节码反汇编工具

本文介绍了Move语言的二进制格式和汇编语言，强调了智能合约审计人员需要了解此类低级编程的必要性。文章详细讨论了Move虚拟机模型、主要的类型规则以及Move的验证器，提供了实例和工具来简化Move汇编的编写过程。最后，文中展示了如何在Move沙箱中部署和测试模块，包括添加逻辑炸弹后门的示例。
Move语言  二进制格式  汇编语言  虚拟机  验证器  智能合约审计 
  • zellic
  • 发布于 2024-07-19
  • 阅读 ( 447 )

OP_CAT：限制条款的完美解决方案？

本文深入探讨了OP_CAT在比特币中激活的可能性，以及它作为一种限制条款提议的意义。文章解释了比特币脚本的局限性，包括线性执行模式、缺乏基本的算术以及交易数据不可见等问题，并讨论了OP_CAT如何通过拼接堆栈中的元素来克服这些限制，实现交易内省和递归型限制条款，为比特币带来诸如保险柜合约和树形签名等更强大的智能合约功能。
OP_CAT  限制条款  比特币脚本  智能合约  交易内省  递归型限制条款 

深入了解 Via-IR

深入了解 Via-IR
Solidity  Yul  内联汇编 
  • Solidity
  • 发布于 2024-07-19
  • 阅读 ( 1810 )
  • ( 12 )

算法 in Golang：Recursion（递归）

in  Go 语言
算法inGolang：Recursion（递归）递归算法场景：在套娃中找到宝石可以这样做while没找到：if当前项is宝石：return宝石elseif当前项is套娃：打开这个套娃if当前项is宝石：return宝石elsei
golang  go  go  算法  编程  编程语言 

zksync Era 官方文档抽象账户部分中文翻译

对 zksyncEra 官方文档中抽象账户部分按照自己的个人理解进行中文翻译，对于存在理解错误的地方，欢迎指正
zkSync  ERC4337 
  • nilliol
  • 发布于 2024-07-19
  • 阅读 ( 1817 )
  • ( 34 )

深入了解 DN-404：引领 NFT 市场的创新标准

DN-404正是这样一个旨在革新NFT市场的创新标准。
NFT  DN404 

Michael.W基于Foundry精读Openzeppelin第65期——TransparentUpgradeableProxy.sol

in  Michael.W基于Foundry精读Openzeppelin
TransparentUpgradeableProxy库是一个透明代理合约的实现，其背后的逻辑合约可由admin来升级。一般的代理合约本身需要管理函数，当这些函数同其背后的逻辑合约的函数产生selector冲突时可能会暴露潜在的漏洞。透明代理模式解决了以上问题。
TransparentUpgradeableProxy  OpenZeppelin  Foundry 
  • Michael.W
  • 发布于 2024-07-19
  • 阅读 ( 1881 )
  • ( 28 )

LI.FI 协议漏洞：900 万美元被盗

该文章详细分析了LI.FI协议在2024年发生的910万美元的攻击事件。文章从LI.FI的多链流动性聚合原理开始，讲解了智能合约结构及攻击过程，指出了导致攻击的根本原因，即GasZipFacet合约未对交易呼叫进行有效验证，并提供了防止类似攻击的建议。
LI.FI  多链流动性聚合  智能合约  安全审计  Web3  攻击分析 

optimism fault-proof背后的机制（二）：fault-dispute-game

在本章节中，我们将详细介绍 Fault-Dispute-Game。我们将从设计思路开始，逐步深入到代码层面进行探讨。
Optimism  fault proof 
  • joohhnnn
  • 发布于 2024-07-19
  • 阅读 ( 1645 )
  • ( 32 )