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

ERC721Enumerable 扩展是什么？ 如何实现以及为什么？

ERC721Enumerable 用来实现特定地址拥有的所有代币
ERC721 

以太坊核心开发者执行会议#186总结

本文总结了以太坊核心开发者执行会议#186的内容，重点讨论了Pectra Devnet 0的准备工作、EIP 3074的实施，以及以太坊向“rollup-centric”路线转型背景下的治理变更。会议还讨论了其他可能纳入Pectra升级的EIP，以及EIP和rollup改进提案(RIP)流程的未来发展方向。
以太坊  Pectra  EIP 3074  Rollup  Devnet  EVM 
  • Galaxy
  • 发布于 2024-04-26
  • 阅读 ( 627 )

深入剖析 ERC1155

in  Learn ERC protocol
这是一个管理多种代币类型的合约标准，该合约可以包括同质化代币和非同质化代币，可以代表任意数量的同质化和非同质化的代币类型，抽象上可以解释为：ERC1155 囊括了 ERC20和ERC777这两种标准。
ERC1155 
  • 0xSecYou
  • 发布于 2024-04-26
  • 阅读 ( 3798 )
  • ( 14 )

链抽象服务提供商以及为什么大家对链抽象的理解都是错的

本文深入探讨了链抽象（Chain Abstraction）的概念，分析了当前链抽象方案的局限性，并提出链抽象的核心在于编排与协调。文章还介绍了链抽象服务提供商（Chain Abstraction Provider）这一新兴类别，并认为它们是链抽象的最终形态，能够显著提升Web3的用户体验。
链抽象  互操作性  账户抽象  意图  跨链  账户统一 

ZK 加速雅典

Ingonyama 于 2024 年 4 月 11 日举办了 ZK Accelerate Athens，重点关注 ZK 工程和产品。活动包括 16 场技术讲座、演示和 3 场小组讨论。涵盖了 STWO 性能、去中心化证明层、zkEVM、隐私协议、硬件加速等多个主题，展示了 ZK 领域的最新进展。
零知识证明  zk  zkEVM  硬件加速  密码学  隐私 

如何监控Raydium流动性池

本文介绍了如何通过Webhook和WebSocket两种方式监控流动性池，重点在于如何设置Cloudflare Worker和Helius API，以及如何处理流动性池事件的通知。文章结构清晰，步骤详尽，涵盖了必要的代码示例和配置指南，适合对DeFi和流动性监控有深入了解的读者。
流动性池  Webhook  WebSocket  Helius API  Cloudflare Worker  Raydium 
  • Helius
  • 发布于 2024-04-26
  • 阅读 ( 1033 )

MakerDAO 如何用虚拟测试网取代公共测试网

MakerDAO 使用 Tenderly Virtual TestNets 替代公共测试网，以解决其分散的团队在开发和测试过程中面临的挑战。Virtual TestNets 允许 MakerDAO 团队在主网数据上无缝协作，使用无限的水龙头和协作工具，从而实现独立和增量的开发，并促进了更健康、更动态和共享的流程。
Makerdao  Virtual TestNets  tenderly  测试网  DeFi  Endgame 

EIP191、EIP712解析

由于EIP712是EIP191的一种，相当于EIP-712继承了EIP-191，所以就不过多解析EIP-191了。EIP-191简单来说EIP-191是为了定义智能合约中签名数据的格式。EIP191的数据格式为：0x19<1byteversion><versionspecific

【Astar系列】#2：Astar zkEVM，实现可扩展性和互操作性

本文深入探讨了 Astar zkEVM 的技术细节，Astar zkEVM 基于 Polygon CDK 构建，旨在实现可扩展性和互操作性，通过与 Polygon AggLayer 的连接，Astar zkEVM 致力于实现无缝的用户体验，并探索了 XCM 在 Polkadot 生态系统中的互操作性愿景。
zkEVM  Polygon CDK  Astar  互操作性  AggLayer  零知识证明 

用虚拟测试网替代公共测试网

Tenderly推出了Virtual TestNets，旨在替代公共测试网，为DApp开发提供更高效、灵活的基础设施。Virtual TestNets与主网数据同步，支持定制化配置，简化团队协作，并提供无限的测试代币，从而加速DApp的开发和部署过程。
虚拟测试网  web3开发  DAPP开发  主网数据  tenderly  EVM链 

最新MSM硬件实现方案的深入研究

本文介绍了Ingonyama团队在2023年ZPrize竞赛中获得第一名的基于FPGA的MSM加速方案。该方案首次在加速器平台上实现了批量仿射椭圆曲线加法，显著降低了MSM的计算负担。该设计在AMD Alveo U250 FPGA上实现了高性能，支持BLS12-381和BLS12-377曲线，并在未来异构计算中具有广阔的应用前景。
零知识证明  FPGA  MSM  椭圆曲线  硬件加速  bls12-381  BLS12-377 

不可拥挤的包含列表：链中立性、预确认和提议者承诺之间的张力 - 经济学

本文探讨了以太坊中验证者作为区块生产者在维护链中立性方面的作用。文章提出了“不可拥挤的包含列表”的概念，旨在确保包含列表主要用于其协议预定的目标——链中立性，而非其他用途，例如预确认或部分区块构建，并讨论了如何通过市场结构设计来激励验证者选择维护链中立性的分配规则，最后，文章还讨论了将包含列表中的交易小费奖励给包含列表提议者而非区块提议者的好处。
链中立性  包含列表  MEV  验证者  区块生产者  预确认 

引介 Atlas 协议

本文详细介绍了Execution Abstraction在DeFi生态系统中的作用，强调了Atlas协议如何通过优化交易执行、加强用户安全、内部化价值分配等方式来提升去中心化金融的体验。作者通过阐述Atlas的架构和关键特性，探讨了其在防止MEV（矿工可提取价值）攻击、实现无Gas交易以及推动公平价值分配方面的实用应用。
Execution Abstraction  Atlas协议  去中心化金融  MEV  智能合约  交易执行 
  • L2IV
  • 发布于 2024-04-26
  • 阅读 ( 798 )

如何处理 Solana 上的区块哈希错误

Web3 极客日报 #1481

Web3 极客日报 #1481
  • rebase
  • 发布于 2024-04-25
  • 阅读 ( 1911 )
  • ( 26 )

Ethereum - QuickNode 指南 - Quicknode

本文介绍了如何使用 Go 语言创建以太坊地址，详细阐述了以太坊地址的概念及其生成过程，包括所需的包和代码示例。此外，还涵盖了如何检查 Go 语言的安装以及设置项目的依赖性，结构清晰并提供了必备的背景知识，是一个实用的入门指南。
Ethereum  Go语言  以太坊地址  Go-Ethereum  私钥  公钥 

Sui 构造一笔赞助交易

我们看到的赞助交易是如何构造出来的？交易者和赞助方分别做了哪些事情？
赞助交易 
  • sycute
  • 发布于 2024-04-25
  • 阅读 ( 1961 )
  • ( 7 )

使用形式化验证在更短的时间内捕获棘手的错误

本文探讨了如何通过形式化验证（FV）竞赛来提高智能合约代码的安全性，并量化安全服务的有效性。文章强调了形式化验证的关键优势，包括可衡量的覆盖率指标、持续的安全研究参与，以及通过社区合作加速验证过程。形式化验证通过mutation测试等方式量化代码覆盖率，从而改进代码安全性，并能在短时间内提供可衡量的代码安全性提升。
形式化验证  智能合约  安全性  覆盖率  Mutation测试  FV竞赛 
  • Certora
  • 发布于 2024-04-25
  • 阅读 ( 682 )

什么是比特币 Rollups？

什么是比特币 Rollups？
Rollup  比特币  BitVM 

BitVM 概述：将有效性证明引入比特币

BitVM 概述：将有效性证明引入比特币
BitVM