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

验证者-提议者分离机制设计通用模型：经济学方向

本文提出了一个用于分析验证者-提议者分离（APS）机制设计问题的通用框架，将其建模为一个主代理问题。文章探讨了机制设计中的期望、约束以及目标函数，并提出了一个定理，即不存在既能确保竞争又能防止合谋的机制。最后，文章回顾了当前关于APS机制的研究，强调了建立统一理论框架的重要性。
验证者-提议者分离  APS  机制设计  主代理问题  合谋  Execution Tickets 

以太坊核心开发者会议152

本次以太坊核心开发者会议主要讨论了上海升级的相关议题，包括提款测试的进展、EIP-3860的修改、EOF的移除以及EOF相关的改进提案。同时，会议还讨论了EIP-4844的更新、新的EIP提案以及与轻客户端相关的技术问题。会议最终决定将EOF从上海升级中移除，并重点关注提款功能的顺利实现。
以太坊  上海升级  提款  EOF  EIP-4844  轻客户端 

2025年及以后以太坊Layer 1和Layer 2的扩展

文章探讨了以太坊在2025年及以后的扩展策略，重点介绍了L2协议的发展和挑战，包括技术和社会层面的问题，并提出了未来发展的具体建议。
以太坊  L2  扩展  去中心化  安全性  互操作性 

揭露并修复Aleo中的一个通胀漏洞 - ZKSECURITY

本文揭示了2024年11月在Aleo主网上发现的一个严重通胀漏洞的细节，该漏洞源于不安全的输入/输出提交方式，可能导致攻击者绕过最终确认逻辑，非法铸造代币。漏洞发现后，立即报告给Aleo团队并迅速修复，未发现实际利用。修复方案通过增加显式检查确保交易输入/输出数据类型的正确性。
Aleo  零知识证明  ZKP  漏洞  安全  通胀 

从开发者角度理解Flashbots SUAVE链

SUAVE是由Flashbots开发的去中心化项目，它建立了一个具有TEE（可信执行环境）的网络，以解决MEV（最大可提取价值）过程中遇到的密钥管理和多方信任等问题。SUAVE是以太坊的扩展，与EVM兼容，通过集成TEE，SUAVE不仅解决了MEV相关问题，还开辟了许多可能性，比如安全地存储密钥、实现跨链操作等。
SUAVE  MEV  TEE  可信执行环境  Flashbots  隐私计算 

UMA 和 Polymarket 正在使用 EigenLayer 构建下一代预测市场预言机

UMA, Polymarket 和 EigenLayer 合作研究下一代预测市场预言机，旨在解决传统预言机在处理自然语言、主观性和快速增长方面的挑战。通过允许市场选择争议解决代币、动态保证金系统和集成 AI 代理来提高效率和安全性，从而实现更好的用户对齐、更快的扩展和更高的安全性。邀请市场参与者、社区成员和研究人员参与改进。
预言机  预测市场  UMA  PolyMarket  EigenLayer  数据验证机制 
  • uma_xyz
  • 发布于 2025-02-20
  • 阅读 ( 951 )

掌握SP1 zkVM设计 - 第3部分：核心证明

本文详细介绍了SP1 zkVM设计中的核心证明部分，包括多项式承诺方案（PCS）、Fiat-Shamir挑战生成器、FRI协议、低度扩展（LDE）和开放证明。文章深入探讨了这些技术的实现细节和数学原理，旨在构建高效的零知识证明系统。
零知识证明  多项式承诺方案  FRI协议  低度扩展  Fiat-Shamir  SP1 zkVM 
  • gavin.ygy
  • 发布于 2025-02-20
  • 阅读 ( 1742 )
  • ( 11 )

Pectra：以太坊的下一个重大升级

Pectra是以太坊即将进行的重大升级，预计将在2024年4月主网激活。此次升级包括对执行层和共识层的重大改进，旨在提高验证者的操作、用户体验和Layer-2可扩展性。关键提案包括提高验证者的质押上限、灵活的质押提款机制和增强的账户抽象能力，标志着以太坊向更高的网络效率和安全性迈出了重要一步。
Pectra  以太坊  EIP  质押  可扩展性  用户体验 

掌握自动化做市商：探索订单簿和意图

本文深入探讨了自动化市场制造商（AMM）和秩序簿（CLOB）的不同设计，分析了当前AMM面临的问题，并介绍了一些新兴解决方案，包括混合CLOB-AMM设计。作者同时介绍了基于意图的系统如何改善用户体验并降低MEV（最大可提取价值）风险，最后对未来的AMM创新进行了展望。
AMM  CLOB  意图  流动性提供者  去中心化交易所  DeFi 

Web 3 的关键组成部分 - 第二篇

本文介绍了加密货币、加密币和加密代币之间的区别。加密货币是使用密码学技术来保证交易安全的数字或虚拟货币。加密币是在其自身区块链上运行并主要用于交易和支付的数字资产。加密代币是建立在现有区块链之上的数字资产，用于代表资产、访问权限或治理权力等。
加密货币  加密币  加密代币  区块链  智能合约  去中心化 

【Rust 基础入门】(10) | 流程控制和模式匹配

in  Rust 基础入门指南：为 Solana 合约学习铺路
本文介绍了 Rust 的流程控制语句（`if`、`for`、`while`、`loop`）及其应用，并讲解了 `match` 和 `if let` 模式匹配的用法。
Rust 入门  Rust 基础  Rust语法基础  Rust 
  • 0xE
  • 发布于 2025-02-20
  • 阅读 ( 1226 )
  • ( 11 )

理解区块链的双花攻击

本文深入探讨了区块链中的双重消费攻击，详细介绍了攻击的原理、类型及其示例，并探讨了防护措施和共识机制的作用。双重消费严重威胁到交易的完整性和信任，是区块链技术广泛应用的障碍之一。
双重消费  区块链  共识机制  攻击类型  安全性  比zantine故障容忍 
  • Cyfrin
  • 发布于 2025-02-20
  • 阅读 ( 1191 )
  • ( 11 )

国外7个最佳大语言模型 (LLM) API推荐

大型语言模型(LLM)API将彻底改变我们处理语言的方式。在深度学习和机器学习算法的支持下，LLMAPI提供了前所未有的自然语言理解能力。通过利用这些新的API，开发人员现在可以创建能够以前所未有的方式理解和响应书面文本的应用程序。下面，我们将比较从Bard到ChatGPT、

深入理解 Uniswap V4 智能合约

本文深入分析了 Uniswap v4 智能合约的核心与外围合约，包括工作流、各个合约的功能及其相互关系。通过介绍核心合约 PoolManager 及各种库合约，以及外围合约 PositionManager 和 V4Router，详细讲解了流动性管理和交易操作的实现原理。
Uniswap  流动性管理  Solidity  交易操作  去中心化交易所  DeFi 
  • adshao
  • 发布于 2025-02-19
  • 阅读 ( 891 )

【Solana】Anchor 示例：通过 CPI 实现 Sol 转账与手续费收取

in  Solana 学习开发之旅
本文介绍了如何使用 Anchor 框架在 Solana 上通过跨程序调用（CPI）实现 SOL 转账，并在此基础上扩展手续费收取功能，包括完整的代码示例和测试流程。
Solana  Solana 合约  Anchor 
  • 0xE
  • 发布于 2025-02-19
  • 阅读 ( 1764 )
  • ( 34 )

UMA的Optimistic Oracle是什么？

本文介绍了UMA的Optimistic Oracle (OO)，它是一种去中心化的数据验证系统，通过乐观模型和共识争议解决机制，为智能合约和web3应用提供经济高效且安全的数据。
Optimistic Oracle  预言机  UMA  去中心化  数据验证  智能合约 
  • uma_xyz
  • 发布于 2025-02-19
  • 阅读 ( 958 )

Solana确认位详解

Solana网络的确认位是一种衡量交易或账户数据可靠性的机制，用于查询交易或账户状态时，决定返回的数据是否足够确定不会被回滚。
Solana  确认位 

pancakeswap v3 trade bot

最近开发了bnbchain的做市机器人，集成了pancakeswapv3版本，下面详细说明一下涉及到的技术点。使用的技术golang：做bot策略逻辑和调用合约等核心逻辑的实现，都是基于golang开发react：做前端页面展示，不执行合约交易，无核心逻辑整体流程如下：设计交易策略

智能钱包的风险：在Web3中驾驭账户抽象

本文探讨了ERC-4337账户抽象的潜在缺点，包括安全风险（如DoS攻击和账户接管）、技术限制（如部分实现和交易限制）、实施挑战（如复杂性和兼容性问题）、信任问题（对EntryPoint合约的依赖）以及经济影响（更高的Gas费用）。通过代码对比和Gas成本分析，强调了在采用ERC-4337时需谨慎考虑这些风险。
ERC-4337  账户抽象  智能合约钱包  安全  Gas费用  以太坊 

合适的密码哈希器和内存破坏者：Argon2

本文介绍了密码哈希算法Argon2，它是一种内存密集型的哈希算法，旨在抵抗GPU破解。文章解释了Argon2的原理、不同变体（Argon2d、Argon2i、Argon2id）及其参数，并提供了一个使用JavaScript实现的Argon2示例，展示了如何在浏览器中使用Argon2进行密码哈希。
Argon2  密码哈希  内存密集型  GPU破解  密码安全  哈希算法