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

Solidity定点库中的问题——Certora漏洞披露

本文揭示了PRBMath库中mulDivSigned函数的一个设计缺陷，该缺陷会导致在计算有符号数的乘法和除法时出现精度问题，特别是在DeFi应用中可能被利用导致资金损失。Certora团队通过形式化验证工具发现了这个存在于多个PRBMath版本中的问题，并与作者Paul Razvan Berg合作，最终通过修改函数定义为向零取整来临时解决，并计划在未来提供更全面的舍入模式支持。
Solidity  PRBMath  mulDivSigned  bug  DeFi  形式化验证 

比特币中的限制条款：用于评审的分类学

本文作者 Rusty Russell 探讨了比特币中限制条款（covenant）的不同实现方式，从最简单的 OP_TXIDVERIFY 到最全面的 OP_TX，以及介于两者之间的 OP_TXHASH 和 OP_CHECKTEMPLATEVERIFY。
限制条款  Covenant  OP_TX  OP_TXHASH  OP_CHECKTEMPLATEVERIFY  Taproot 

Solidity Fixed Point 库中的问题 — Certora 漏洞披露

本文探讨了固定点表示法在DeFi应用中的重要性，详细分析了PRBMath库中的一个设计缺陷，该缺陷可能导致严重的安全漏洞，并强调了公共库安全性的重要性。作者建议进行长远解决方案以支持多种舍入模式，并指出了正式规范的重要性。
固定点表示法  DeFi  PRBMath库  安全漏洞  智能合约  数学库 
  • Certora
  • 发布于 2023-07-13
  • 阅读 ( 563 )

一文读懂区块链执行层、存储层和共识层的扩容方案

概述了区块链的可扩展性问题，重点聚焦区块链与传统计算系统的区别，并列举了区块链在执行层、存储层以及共识层不同扩容方案的优劣势。
预言机  Chainlink 

闪电网络服务商的崛起

本文主要探讨了闪电网络及闪电网络服务提供商（LSP）的兴起。随着闪电网络容量的增长，托管方案的使用量超过了自托管应用。LSP通过提供流动性和网络服务，简化用户和商家在闪电网络上的操作，从而解决了闪电网络流动性和用户获取的挑战，并促进了闪电网络生态系统的发展和自主保管的普及。
闪电网络  流动性  闪电网络服务商  通道  自托管  入账流动性 

Web3 极客日报 #1260

Web3 极客日报 #1260
  • rebase
  • 发布于 2023-07-12
  • 阅读 ( 1361 )
  • ( 4 )

Web3 极客日报 #1261

Web3 极客日报 #1261
  • rebase
  • 发布于 2023-07-12
  • 阅读 ( 1562 )
  • ( 4 )

zkSync快照及与OP-Stack的比较

本文详细介绍了zkSync的发展历程、生态现状及技术架构，zkSync是以太坊的Layer2扩展方案，通过zk-rollup技术提高交易吞吐量，降低交易成本，并着重分析了zkSync的三个核心层：执行层、结算层和数据可用性层。此外，还比较了ZK-Stack与OP-Stack在Dapp开发者、核心开发者和商业角度的不同，最后展望了zkSync的未来发展，并强调了其在隐私性和可扩展性方面的潜力。
zkSync  ZK-Stack  op-stack  Layer2  zkEVM  Rollup 

什么是加密巨鲸，如何才能追踪巨鲸？

加密货币巨鲸是指拥有大量加密货币资产的个人或实体，他们的行为经常影响市场价格和交易活动。
比特币  加密货币 

Celestia： 模块化区块链的世界

阐述 Celestia 的新功能和模块化世界的未来
模块化区块链  Celestia 

Web3 开发指南：使用 NFTScan NFT API 构建一个 NFT 链上追踪器

构建一个完整的链上 NFT 数据追踪系统是一项具有挑战性的任务，构建一个 NFT 链上追踪器更是如此。
NFT  API  NFTScan 

Starknet 改进语法全解读

Starknet 改进语法全解读
Starknet  Cairo 

FRP年度回顾

Flashbots Research Proposals (FRP) 是一个由 Flashbots 创建的资助计划，旨在支持社区的 MEV 研究，并与外部研究人员合作。该计划通过资助多样的项目和研究，强调 MEV 研究在区块链技术中的重要性和应用。FRP 近年来加快了资助的步伐，已经支持了一系列外部研究者的工作，包括大型研究和新兴研究者。
FRP  MEV  区块链  研究  加密技术  以太坊 

如何通过物理手段获得一组秘密安全的助记词？

你随身携带的硬件钱包真的安全么？事实上：无论是热钱包还是硬件钱包，你拿到的助记词都是软件通过随机自动帮你生成的。
助记词 
  • 0xTodd
  • 发布于 2023-07-12
  • 阅读 ( 3320 )

审计准备清单

本文档提供了一份智能合约审计准备清单，旨在帮助开发者在代码审计前进行自查，主要包括代码质量、测试覆盖率、安全工具使用、文档编写等方面，以确保代码的质量和安全性，从而更有效地进行审计。
智能合约  审计  Solidity  安全  测试  静态分析 

Solidity 二进制文件

本文介绍了以太坊智能合约中的字节码、ABI以及如何将字节码反编译为可读的Solidity代码。
以太坊  智能合约  字节码  ABI  反编译  Solidity 
  • Alchemy
  • 发布于 2023-07-11
  • 阅读 ( 669 )

以太坊分片：区块链分片介绍

本文介绍了区块链分片的概念，它是一种将区块链网络分割成多个独立分片的技术，旨在提高网络吞吐量和可扩展性。文章解释了分片的工作原理，包括分片链、验证者和提议者等概念，并探讨了以太坊分片的技术细节，以及潜在的优缺点。需要注意的是，以太坊已经放弃了主网分片计划，转而支持二层扩容方案。
分片  区块链  以太坊  可扩展性  分片链  Danksharding 
  • Alchemy
  • 发布于 2023-07-11
  • 阅读 ( 1190 )

通过 Gelato 自动化 Kwenta 上的条件订单

Kwenta 是一个在 Optimism 上交易期权和期货的 DeFi 平台，通过 Gelato 提供的自动化服务支持条件订单（包括止损和限价订单）。
DeFi  自动化  智能合约  Kwenta  Gelato  条件订单 
  • gelato
  • 发布于 2023-07-11
  • 阅读 ( 310 )

如何使用比特币区块浏览器？如何使用比特币API？

无论您是加密爱好者，还是希望在数字货币领域发挥创造力的开发者，本文将为您提供全面的指南，让您轻松地掌握比特币区块浏览器和API的使用。
比特币  比特币钱包 
  • Tokenview
  • 发布于 2023-07-11
  • 阅读 ( 4543 )
  • ( 3 )

桥梁如何连接：探索锁仓和铸币桥的机制与潜力

本文深入探讨了锁仓和铸币桥的机制，它是连接不同区块链的关键技术，通过在源链上锁定资产并在目标链上铸造副本，实现跨链资产转移。文章详细介绍了资产锁定、后端通信以及铸币过程，并探讨了其在增强互操作性、扩展应用场景和促进不同链之间协作方面的潜力，同时讨论了锁仓桥的安全性。
区块链  跨链资产转移  锁仓和铸币桥  智能合约  互操作性  安全性