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

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

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

Berachain (BERA)：Berachain V2 区块链协议升级

本文主要介绍了Berachain V2，它通过Proof of Liquidity (PoL)共识机制对齐验证者、用户和dApp的利益，确保流动性在网络中流动。
Berachain  Proof of Liquidity  BeaconKit  EVM  区块链  共识机制 
  • DAIC
  • 发布于 2024-07-19
  • 阅读 ( 24 )

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

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

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

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

深入了解 Via-IR

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

算法 in Golang：Recursion（递归）

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

基于多轮MEV-Boost的预确认 - Layer 2

本文提出了Multi-round MEV-Boost (MR-MEV-Boost)方案，旨在通过在单个slot内运行多轮MEV-Boost拍卖来实现基于L1的预确认，继承L1 PBS管道，以缓解基于预确认的负面外部性，同时保留基于Rollup的优势。该方案将每个slot分成多个轮次，每轮进行一次MEV-Boost拍卖，生成并发布预确认的部分区块。
mev-boost  预确认  PBS  Rollup  以太坊  区块构建 

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

对 zksyncEra 官方文档中抽象账户部分按照自己的个人理解进行中文翻译，对于存在理解错误的地方，欢迎指正
zkSync  ERC4337 
  • nilliol
  • 发布于 2024-07-19
  • 阅读 ( 2031 )
  • ( 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
  • 阅读 ( 2098 )
  • ( 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
  • 阅读 ( 1898 )
  • ( 32 )

optimism fault-proof背后的机制（一）：什么是fault-proof

我们为什么需要FaultProof在深入了解FaultProof之前，首先考虑一下为什么需要FaultProof，它解决了哪些关键问题？
Optimism  fault proof 
  • joohhnnn
  • 发布于 2024-07-19
  • 阅读 ( 1829 )
  • ( 25 )

Web3 极客日报 #1551

  • rebase
  • 发布于 2024-07-18
  • 阅读 ( 1263 )
  • ( 11 )

在 DApp 开发中的链上和链下同步问题

在 DApp 开发中的链上和链下同步问题
ÐArcher  合约测试 

EthCC[7]学习笔记：以太坊Rollup中心化路线图的真相

Christine Kim参加了EthCC[7]大会，分享了她对以Rollup为中心的以太坊发展路线图的理解。她认为，随着以太坊越来越关注数据可用性优化，其作为执行层对用户的重要性将降低，用户体验的改进将主要由Rollup团队负责。同时，以太坊协议开发者的影响力和对用户行为的干预能力也将减弱。
以太坊  Rollup  数据可用性  EthCC  协议开发者  Layer2 
  • Galaxy
  • 发布于 2024-07-18
  • 阅读 ( 554 )

以太坊 - 如何使用QuickNode SDK发送ERC-20代币 - Quicknode

本文详细介绍了如何使用QuickNode SDK与以太坊区块链进行交互，尤其是在ERC-20代币的转移操作。内容涵盖ERC-20代币的基本概念、开发环境的设置、合约的授权与转移，提供了实用的代码示例和步骤，使读者能够掌握ERC-20代币的发送和与智能合约的交互方法。
ERC-20  QuickNode SDK  以太坊  智能合约  JavaScript  区块链 

使用 Concrete ML 构建端到端加密的类 23andMe 基因测试应用程序

本文介绍了如何使用 Concrete ML 构建一个端到端加密的类似于 23andMe 的基因测试应用程序。文章重点介绍了 Zama Bounty Program Season 5 中两个获胜的解决方案，它们都使用了全同态加密（FHE）来保护敏感的 DNA 数据，并对这两种方案的实现原理、精度和性能进行了分析，展示了 FHE 在保护个人身份信息（PII）方面的价值。
全同态加密  Concrete ML  基因测试  隐私保护  机器学习  DNA 
  • ZamaFHE
  • 发布于 2024-07-18
  • 阅读 ( 520 )

聚合区块链：一个全新的跨链方案

实现一个无限可扩展的主权区块链网络，感觉就像一条单一的链。由ZK技术保障跨链。
Polygon  Polygon CDK  AggLayer 

使用 Viem 实时监听最新区块和 USDT 转账流水

使用 Viem 编写 TypeScript 脚本来监听最新区块和 USDT 转账流水，并使用 React 在网页中展示结果
Viem  实时监听usdt转账流水 
  • 链创通
  • 发布于 2024-07-18
  • 阅读 ( 1982 )
  • ( 25 )