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

Michael.W基于Foundry精读Openzeppelin第32期——SignatureChecker.sol

in  Michael.W基于Foundry精读Openzeppelin
SignatureChecker库是一个用于链上签名验证的helper库。该库提供的验签函数既支持EOA账户地址的签名验证也支持IERC1271标准合约地址的签名验证。
OpenZeppelin  Foundry 
  • Michael.W
  • 发布于 2023-08-28
  • 阅读 ( 2712 )
  • ( 3 )

Foundry快速安装（Windows版）

在查看Foundry官方文档时发现其安装步骤描述并不详细，起初跟着安装问题迟迟无法解决，故记录下此详细安装过程，且选择的是最快捷最不占硬盘空间方式的下载方式官方文档给出的下载步骤
Foundry  入门 
  • 0xHowe
  • 发布于 2023-08-28
  • 阅读 ( 6857 )
  • ( 17 )

2023年上半年市场回顾与展望

本报告提供了对2023年上半年市场环境的深入分析，包括宏观经济、筹资活动和投资机会。报告强调了以太坊的Layer 2解决方案、隐私层的开发以及Web3领域内的新市场应用，展望了未来的发展趋势和机会。
市场分析  Web3  以太坊  Layer 2  区块链  投资机会 
  • L2IV
  • 发布于 2023-08-27
  • 阅读 ( 563 )

介绍 Rivet - 给开发者调试用的钱包插件工具

Rivet是一个为以太坊开发者设计的免费开源钱包和开发工具，旨在改善前端开发体验。它具有独特的功能，如自动节点同步、账户伪装和区块浏览等，解决了使用传统钱包时的开发痛点。Rivet仍在开发中，作者欢迎开发者参与贡献。
Rivet  开发者钱包  以太坊  DevTools  区块链 

CycleFold Based Nova

背景下面这张图是revisitingnova中非常经典的描述cyclecurves的图：通过上面这张图，我们可以有以下共识：我们通常称上面一层电路为primary电路，下面一层电路为secondary电路。以secondary电路为例，secondary电路需要把prima
零知识证明  Nova 
  • 白菜
  • 发布于 2023-08-27
  • 阅读 ( 4216 )
  • ( 4 )

Shopify 和 Solana Pay：一步一步的指南（2023）

Solana Labs推出了新的Shopify Solana Pay应用，旨在为在线商店提供快速、低成本和安全的加密支付解决方案。本文详细介绍了如何将Solana Pay集成到Shopify，涵盖了商家和客户的流程，同时强调了低交易费用和高效的支付体验。
Solana Pay  Shopify  USDC  区块链支付  电子商务  加密货币 
  • Helius
  • 发布于 2023-08-26
  • 阅读 ( 735 )

Web3 极客日报 #1300

Web3 极客日报 #1300
  • rebase
  • 发布于 2023-08-26
  • 阅读 ( 1859 )
  • ( 5 )

Web3 极客日报 #1299

Web3 极客日报 #1299
  • rebase
  • 发布于 2023-08-26
  • 阅读 ( 1623 )
  • ( 3 )

使用 Gelato Relay 体验无 Gas 的 Connext 空投代币领取

Connext 与 Gelato 合作，通过 Gelato Relay 实现了首次跨链空投，允许用户在他们选择的链上领取 NEXT 代币，而无需支付 gas 费用。Gelato Relay 通过 1Balance 系统和 sponsoredCall SDK 方法，为用户提供安全且无 gas 的交易体验，同时提高了交易吞吐量，以支持高需求。
Connext  Gelato Relay  跨链空投  gasless交易  1Balance  sponsoredCall 
  • gelato
  • 发布于 2023-08-26
  • 阅读 ( 342 )

定义 Rollup

本文对rollup技术进行了深入探讨，阐述了rollups的定义及其工作原理，指出了当前对rollup的讨论中普遍存在的误解和复杂性。作者强调了rollup与其桥接之间的区别，指出节点在rollup中的主导作用，并对普通文章中常见的误导性说法表示强烈反对。总体而言，文章试图清晰地解释rollup的本质并对行业误区提出警示。
Rollup  以太坊  状态转换  节点  桥接  共识 

使用标签分析检测零知识电路中的回旋镖值 - ZKSECURITY

zkApps开发中，从电路中取出值并在电路外使用后重新插入电路，会产生被称为“回旋镖值”的问题，可能导致安全漏洞。文章介绍了如何在Rust中使用MIRAI的标签分析功能来检测这种问题，并简要提及了使用fuzzing来查找电路中的bug。
zkApps  零知识证明  回旋镖值  MIRAI  标签分析  Rust  fuzzing 

算法稳定币的安全性：Magic Internet Money

本文深入探讨了 Magic Internet Money (MIM) 的稳定币机制及其潜在的安全性风险。作者通过对该稳定币的具体分析，介绍了一系列问题，帮助读者识别算法稳定币中的潜在陷阱，并使用思维实验来评估稳定币在各种市场情况下的表现。文章结构清晰，涵盖了多个重要方面，如死亡螺旋、庞氏风险、预言机脆弱性及治理攻击等，同时提供了安全检查表。
稳定币  Magic Internet Money  算法稳定币  安全性  风险分析  预言机 

账户抽象, 审计人员的看法

本文详细介绍了以太坊的EIP-4337提案，提出了一种新的账户抽象方法，允许在不改变共识层的情况下实现更灵活的交易处理模型。文章深入剖析了UserOperation对象的结构、EIP-4337的架构以及与Paymaster的集成方式，探讨了其在DeFi和NFT市场的应用，以及可能的集成方式、限制和安全风险。还强调了在实施该协议时需注意的限制条件和风险。
EIP-4337  账户抽象  UserOperation  Paymaster  以太坊交易  DeFi 

无状态区块链的不可能性

本文探讨了“无状态区块链”的可行性，这类区块链旨在减少验证者存储的状态量，但现有方案要求用户存储频繁更新的“见证”。通过引入“可撤销证明系统”框架，文章证明了在精简全局状态和频繁见证更新之间存在根本性的权衡，这意味着完全无状态的区块链在没有额外状态管理措施的情况下是不可行的。同时，文章也讨论了其他可能的解决方案，例如引入第三方提供证明服务以及 L2 Rollup 的应用。
无状态区块链  状态管理  可撤销证明系统  见证更新  Merkle树  Rollup 

攻击对象

本文分析了一种利用Linux内核中的漏洞，通过“缓存转移”技术，将利用原语从固定大小的缓存转移到动态缓存，绕过CONFIG_KMALLOC_SPLIT_VARSIZE的保护。首先利用CVE-2023-0461漏洞在一个固定缓存中导致UAF，然后利用此UAF在动态缓存中覆盖关键数据结构，从而绕过KASLR并最终实现RIP控制。文章还讨论了在利用过程中遇到的问题以及如何通过设置内核变量来规避。
Linux内核  缓存转移  Use-After-Free  KASLR绕过  RIP控制  漏洞利用 
  • google
  • 发布于 2023-08-25
  • 阅读 ( 481 )

优化技巧

本文档详细介绍了Solidity智能合约开发中的各种Gas优化技巧，涵盖存储、错误处理、数学运算和函数调用等多个方面，包括避免初始化默认变量、存储打包、常量与不可变状态变量、缓存存储变量、使用unchecked{}、calldata代替memory等关键优化策略，旨在帮助开发者编写更高效、更节省Gas的Solidity合约。
gas优化  Solidity  智能合约  存储打包  Calldata  Custom Errors  unchecked 
  • beskay
  • 发布于 2023-08-25
  • 阅读 ( 825 )

Siren - Lighthouse 用户界面

Lighthouse发布了其验证器管理UI（代号：Siren）的首个稳定版本。Siren通过连接到Lighthouse Beacon节点和Validator客户端，汇总有用的数据，展示节点和验证器的基本健康状况、验证器的性能以及状态，并简化了修改操作，如撤回验证器或修改其graffiti值。
Lighthouse  验证器管理UI  Siren  beacon 节点  Validator客户端  以太坊 

二次算术程序

in  零知识证明之书
文章详细介绍了二次算术程序（QAP）的概念及其在零知识证明中的应用，特别是如何通过拉格朗日插值将Rank 1约束系统（R1CS）转换为QAP，并通过Schwartz-Zippel引理在O(1)时间内验证QAP的等式。
QAP  R1CS  拉格朗日插值  Schwartz-Zippel引理  零知识证明  有限域 

Base 对 Superchain 去中心化的承诺

Base 是一个在 Coinbase 孵化的以太坊 L2，致力于去中心化，构建于开源的 OP Stack 之上，与 Optimism Collective 合作，共同改进去中心化。
Layer2  OP Stack  Optimism Collective  Superchain  去中心化  Law of Chains 
  • base__
  • 发布于 2023-08-25
  • 阅读 ( 455 )

田野调查：实现 MuSig2

本文介绍了BitGo在比特币MuSig2多签名钱包上的实践经验，包括为什么要使用MuSig2，与脚本式多签名和其他MPC协议相比的优势和缺点，以及在Taproot激活后如何选择脚本类型等。此外，还探讨了Nonce的生成及使用，以及PSBT在MuSig中的应用，强调了规范制定流程的重要性，并感谢了相关贡献者。
MuSig2  多重签名  Taproot  PSBT  nonce  BitGo  区块链