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

在 Uniswap v4 中证明偿付能力：AMM 安全性的形式化验证

本文深入探讨了 Uniswap v4 的流动性机制，并提出了一种形式化的方法来证明其偿付能力。通过将代码转化为数学公式，使用 SMT 求解器验证流动性是否在所有函数调用中得到维持。同时，文章还讨论了在 Uniswap v4 中处理 ERC-20 代币时需要考虑的因素，以及如何通过引入 ghost 变量和 hooks 来精确计算和跟踪资金流动，从而确保 AMM 在任何情况下都能保持偿付能力。
AMM  uniswap v4  偿付能力  SMT 求解器  流动性  形式化验证 
  • Certora
  • 发布于 2025-03-12
  • 阅读 ( 632 )

“Mega EOF 终局”规范（EOFv1）

本文介绍了EVM对象格式（EOFv1）的统一规范，详细探讨了其结构、头部与主体的组成、代码执行语义以及新的指令与验证方法等。EOF的推出旨在改善以太坊虚拟机（EVM）的功能和灵活性，提供更好的代码执行环境和数据处理能力。
EVM Object Format  EOFv1  以太坊虚拟机  代码执行  数据处理  新指令 
  • ipsilon
  • 发布于 2025-03-12
  • 阅读 ( 747 )
  • ( 9 )

全面解读MCP TypeScript SDK：LLM应用开发的终极利器

想象一下：只需几分钟，你就能为自己的大模型（LLM）应用构建出强大、灵活且易于维护的服务器，轻松提供数据和工具支持。这一切都要归功于ModelContextProtocol(MCP)和它强大的TypeScriptSDK。🚀MCP到底是什么？ModelContextProt
MCP  AI 
  • King
  • 发布于 2025-03-12
  • 阅读 ( 2703 )
  • ( 74 )

什么是ZK Rollup？- 以太坊扩容的未来

这篇文章深入探讨了零知识（ZK）汇总的概念及其在以太坊扩展中的作用，详细介绍了ZK汇总的原理、工作流程以及其在提高交易吞吐量、降低 gas 成本和提供安全性方面的优势。文章还强调了ZK证明在确保交易安全性中的重要性，并展示了ZK汇总作为未来区块链可扩展性解决方案的潜力。
零知识汇总  区块链扩展  ZK证明  交易吞吐量  以太坊安全  私密计算 
  • Cyfrin
  • 发布于 2025-03-12
  • 阅读 ( 945 )
  • ( 5 )

zkTLS：可验证数据可组合性

本文探讨了零知识传输层安全性（zkTLS）如何通过无条件的数据验证和隐私保护，促进Web2和Web3生态系统之间的互联互通，以重塑未来互联网。文章详细描述了zkTLS的原理、架构，以及它在各类应用场景中的潜在影响，特别是在数据共享、去中心化金融和安全验证等方面的革新性实例，为互联网用户带来了数据控制权的希望。
zkTLS  零知识证明  数据隐私  Web3  去中心化金融  数据验证 

一文了解BLS聚合签名

in  密码学和网络安全
BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。
BLS signatures 
  • Louis
  • 发布于 2025-03-12
  • 阅读 ( 2341 )
  • ( 102 )

EIP-5450: EOF栈验证

本文介绍了一种扩展验证EVM代码段的机制，旨在确保在有效合约的执行过程中不会发生栈的下溢或溢出。通过对操作数栈的验证，消除了运行时对栈下溢的检查，并减少了对于大多数指令的栈溢出检查。此外，还讨论了代码有效性、栈高度和终止指令的相关性。
EVM  栈验证  EOF  指令检查  操作数栈  合约执行 
  • ethereum
  • 发布于 2025-03-12
  • 阅读 ( 609 )
  • ( 8 )

入门 Sui Move 开发：7. 实现一个简单的兑换合约

在 Sui 上实现一个简单的币对兑换合约。
Move  Sui  Sui Move 
  • greyhao
  • 发布于 2025-03-12
  • 阅读 ( 1183 )
  • ( 18 )

ZKsync SSO账户抽象审计

本文介绍了zksync SSO账户抽象的审计结果，包括安全模型、设计选择、潜在的安全问题以及高、中、低严重性的问题。文章详细列出了每个问题的描述、解决建议及其优先级，并对代码的生产就绪度进行了评估。结尾部分强调了该代码库的灵活性和健壮性，鼓励开发团队进行必要的改进与增强测试。
智能合约  账户抽象  安全审计  Solidity  zkSync  模块化 

隆重推出 Shutter API：阈值加密服务

Shutter API 是一个阈值加密服务，旨在为去中心化应用提供隐私保护，它通过分布式密钥管理实现加密，无需硬件信任假设。该API简化了开发者集成加密功能的流程，支持如投票、拍卖、链上游戏等多种场景，旨在消除信息不对称，提升Web3应用的公平性和安全性。
阈值加密  分布式密钥管理  隐私保护  Shutter API  去中心化应用  加密 mempool 

Rust Trait 与 Go Interface：从设计到实战的深度对比

in  Rust
RustTrait与GoInterface：从设计到实战的深度对比在现代编程语言中，Rust和Go以其独特的设计哲学赢得了广泛关注。Rust凭借零成本抽象和内存安全征服系统编程领域，而Go则以简洁和高效成为云计算时代的宠儿。两者的核心特性之一——Rust的Trait和G
Rust  Rust  go  go 

Web3 极客日报 #1695

  • rebase
  • 发布于 2025-03-11
  • 阅读 ( 849 )
  • ( 8 )

Injective EVM：下一步是什么？

Injective Labs宣布将原生EVM执行环境集成到Injective区块链中，旨在吸引来自以太坊生态系统的开发人员，同时保持对WASM平台的支持。
Injective EVM  多虚拟机  开发者社区  交易原子性  区块链  AI推理 
  • 4pillars
  • 发布于 2025-03-11
  • 阅读 ( 1245 )
  • ( 10 )

STRK质押：迈向Starknet全面去中心化的重要一步

STRK 质押在 Starknet 正式上线，成为首个在 L2 上引入无许可质押机制的项目，标志着 Starknet 向完全去中心化迈出了重要一步。通过 STRK 质押，持有人不仅可以获得奖励，还可以参与网络治理，未来将继续引入更多的功能与机制。文章深入阐述了质押的各个阶段，激励结构及其在生态系统中的作用。
STRK质押  Starknet  去中心化  L2  区块链经济  治理 

提升 Web3项目运营安全：开发者和团队的最佳实践

本文讨论增强Web3的运营安全性（OpSec）的方法，包括分层防御、密钥管理和安全流程。作者基于自己在卡支付行业的经验和SEAL 911的最佳实践，提供了一系列切实可行的建议，旨在帮助协议开发者和维护者保护用户及协议的资金。
运营安全  Web3  分层防御  密钥管理  安全流程  SEAL 911 
  • Cyfrin
  • 发布于 2025-03-11
  • 阅读 ( 773 )
  • ( 14 )

> 该仓库仍然以存档形式存在，但维护版本现已迁移至：https://github.com/Mythic-Project/solana-program-library/tree/master/governance

本文介绍了Solana程序库（SPL）中的Governance程序，该程序旨在为Solana区块链上的去中心化自治组织（DAO）提供核心构建模块和原语。该程序具有模块化架构，支持DAO拥有实例和共享实例两种部署模型，并提供了Governance UI和客户端SDK，方便开发者使用和管理DAO。
Solana  DAO  SPL Governance  程序治理  区块链  去中心化自治组织 

来自正确链的 Holesky ENR

本文档提供了 Holesky 测试网恢复所需的客户端版本、禁用 slashing 保护的说明、最新的有效区块信息（包括执行层和共识层）以及来自不同节点的 ENR 和 enodes 信息。
Holesky  测试网  以太坊客户端  ENR  enode  slashing保护 

如何监控所有 ETH 转账交易

如何使用Moralis的JSSDK监控所有ETH转账交易虽然通过Moralis管理区域设置链上监控是最简单的途径，但在构建更高级的dapp时，您可能更喜欢通过Moralis的SDK进行设置。注意：如果您想要有关如何通过SDK使用Streams的详细说明，请

如何在 Python 中使用 Solana API

如何在Python中使用SolanaAPI为了实现SolanaPythonAPI端点，我们需要在“python-backend”文件夹中创建一个新的“index.py”文件。在该脚本的顶部，我们导入上面安装的软件包：fromflaskimportFlask,reque
  • 想样
  • 发布于 2025-03-11
  • 阅读 ( 1121 )
  • ( 14 )

检查 Solana SPL 代币账户余额的五种方法

这篇文章详细介绍了在Solana上检查SPL代币账户余额的五种方法，包括使用SPL-Token命令行接口、JavaScript API、SPL Token程序API、cURL脚本和Rust语言，文中提供了具体的代码示例和使用步骤，非常适合开发者了解和应用。
Solana  SPL Token  API  cURL  Rust  JavaScript 
  • QuickNode
  • 发布于 2025-03-11
  • 阅读 ( 2920 )
  • ( 117 )