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

Sequencer 选择加入、发现与通信

本文主要介绍了在以太坊 L1 上，验证者如何注册成为 L2 rollup 的 sequencer，以及 sequencer 如何被发现和通信。文章详细描述了 sequencer 注册、激活、变更、停用的流程，并探讨了在 rollup 合约中实现确定性回退选择算法、乐观选择算法等关键机制，以支持基于 L1 验证者的 sequencer 选择。
sequencer  L1验证者  Rollup  EIP-2537  BLS签名  ValidatorProof 

Binius：在二进制域上的高效证明

文章介绍了Binius，一种在二进制域上高效生成证明的系统，详细解释了其技术原理、实现方法及其相较于SNARKs和STARKs的优势。
Binius  SNARKs  STARKs  二进制域  零知识证明  有限域 

DLC原理解析及其优化思考

DLC原理解析及其优化思考
BitVM  DLC 

用于零知识证明的有限域与模运算

in  零知识证明之书
本文详细介绍了有限域在零知识证明电路中的应用，包括有限域的定义、模运算、加法逆元、乘法逆元等概念，并通过代码示例展示了如何在Python中实现这些操作。
有限域  零知识证明  模运算  加法逆元  乘法逆元  Python 

基于通用 Rollups 的预确认机制

该文档提出了在 Vanilla Based Rollups 中实现预确认机制的设计方案，旨在提升用户体验。提出了两种新的交易类型：包含预确认和执行预确认，并详细描述了其结构、定价以及预确认的提交与保证流程。同时，文档还讨论了预确认的激励机制和同步处理的问题，并区分了Rollup 的必要支持与设计决策。
预确认  Rollup  交易类型  EIP1559  sequencer  手续费 

如何创建一个ERC-20代币工厂去中心化应用程序（dApp）

本文为开发者提供了一个详细的指南，介绍了如何创建一个ERC-20 Token Factory dApp。指南覆盖了从Factory设计模式的理论到具体的智能合约代码实现和部署步骤，使用了OpenZeppelin和Foundry等工具，并提供了前端的开发指导。适合需要创建自定义ERC-20代币的开发者，以实现数字资产的生成和管理。
ERC-20  Token Factory  OpenZeppelin  智能合约  Foundry  Web3 

基于原生 Rollup 的区块构建管道

本文档提出了一个名为GMEV-Boost的MEV-Boost替代软件，旨在实现L1和L2区块构建流程的融合，并使L1提议者能够指定外部构建管道的有效性条件。该设计将流程分为主流程（L1区块构建）和多个辅助流程（L2排序交易生产），并通过Conditions API和Pipelines API实现组件间的通信和验证。
mev-boost  L1  L2  区块构建  GMEV-Boost  排序交易 

BLS12-381 理论与实现

Pairings, KZG, SNARK
pairings  zkSNARK  KZG 
  • 白菜
  • 发布于 2024-04-30
  • 阅读 ( 3801 )
  • ( 132 )

如何检测正在转账的钓鱼攻击

我们将学习一种工具，可以在进行交易之前进行“诈骗检查”，查询转账地址是否处于风险状态，查询目标地址是否正在钓鱼。为了您的资产安全，请仔细阅读。
AML  USDT  区块链安全 
  • Tokenview
  • 发布于 2024-04-30
  • 阅读 ( 2808 )
  • ( 14 )

JavaScript运算符及优先级全攻略，点击立刻升级你的编程水平！

在编程的世界里，运算符是构建逻辑、实现功能的重要工具。它能帮助我们完成各种复杂的计算和操作。今天，我们就来深入探索JavaScript中运算符的奥秘，掌握它们的种类和优先级，让你的代码更加高效、简洁！
JavaScript 

solidity 内联汇编

solidity汇编语言汇总
内联汇编 
  • 0xSecYou
  • 发布于 2024-04-30
  • 阅读 ( 2919 )
  • ( 178 )

以太坊的消息签名 CTF工具汇总

📌靶场刷题遇得到很多关于验证签名的题，在这里汇总一下，消息签名的工具和方法。
以太坊  消息签名  ERC191 
  • 0xSecYou
  • 发布于 2024-04-30
  • 阅读 ( 2944 )
  • ( 63 )

闪电网络中的洋葱路由：Sphinx 包裹的构造

本文深入探讨了闪电网络中Sphinx数据包的构造方法，详细解释了如何使用Diffie-Hellman密钥交换、临时密钥、HMAC认证以及XOR运算来保证支付路径上每一跳的隐私和数据完整性。文章通过实例分析了洋葱包裹的封装和解封装过程，以及发生故障时错误信息的返回机制。
闪电网络  SPHINX  洋葱路由  Diffie-Hellman密钥交换  HMAC  XOR 

airdrop hunting（3/3）

in  ChainFlag CTF 题解
Airdrop hunting 部分题解
chainflag 
  • 0xSecYou
  • 发布于 2024-04-30
  • 阅读 ( 1913 )
  • ( 11 )

探索以太坊交易盛宴中验证者与构建者的舞蹈

本文深入探讨了以太坊中的提案权与验证者的角色，包括MEV-Boost和不同类型的区块拍卖方法（如ePBS和PEPC）。通过比喻音乐节，文章阐明了如何通过这些机制提升安全性和可预测性，同时确保对交易的有效执行和验证者的收益。
提案权  验证者  mev-boost  ePBS  PEPC  区块链 
  • thogiti
  • 发布于 2024-04-30
  • 阅读 ( 518 )

CTFProtocol-2022 题解

EKO2022 Enter the metaverse
EKO2022  ctfProtocol 
  • 0xSecYou
  • 发布于 2024-04-30
  • 阅读 ( 1778 )
  • ( 12 )

Web3 极客日报 #1484

  • rebase
  • 发布于 2024-04-29
  • 阅读 ( 1373 )
  • ( 10 )

为稳定币定义利率

本文深入探讨了稳定币的利率管理，涉及传统稳定币如USDC和USDT的局限性，以及基于区块链的稳定币发行方式。文章分析了不同的利率制定方法，包括治理驱动、算法和博弈理论的模型，探讨了这些方法在稳定币设计中的重要性和复杂性。最后，作者提出了对未来稳定币利率管理的思考，强调了利率适应市场的必要性。
稳定币  利率管理  区块链  去中心化金融  治理驱动  博弈理论 

DeFi Hooks 革命的进阶之旅：从 Uniswap V4 合约安全到 Artela 原生协议

in  小猪Web3
Hook 编程会增加智能合约的复杂度，从而加大攻击向量。而 Hook 合约与普通合约相比，需要更严格的“安全使用约束”。因此，Hook 编程要广泛应用，还需要一个全面的框架：需要有安全执行环境、适用 Hook 的编程范式，和更严格的使用约束。
Uniswap  Artela  OpenZeppelin 
  • Pignard
  • 发布于 2024-04-29
  • 阅读 ( 2557 )
  • ( 22 )

深入剖析 ERC4626

in  Learn ERC protocol
ERC4626 协议是一种用于代币化保险库的标准，它可以优化和统一收益保险库的技术参数。
ERC4626 
  • 0xSecYou
  • 发布于 2024-04-29
  • 阅读 ( 3682 )
  • ( 35 )