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

试玩测评 Rimbox（beta 版本）：AO 生态的链上 Minecraft 游戏

“全上链版的Minecraft”，作为一款沙盒游戏，Rimbox的核心在于自由建造和探索。在下文中，笔者将评测Rimbox的玩法、体验，并探讨其未来的优化方向。

Solana 数据索引的问题

本文深入探讨了Solana区块链中存在的数据索引问题，分析了由于交易量大导致的复杂数据解析、状态膨胀以及数据存储成本等挑战。同时介绍了Triton的Old Faithful项目及其在改进Solana数据储存与检索方面的潜力，最后提出了Astralane的新型数据基础设施，用于提升高频交易和实时数据处理的效率。
Solana  数据索引  状态膨胀  高频交易  Old Faithful  Astralane 

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

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

闪电网络：突破比特币扩展性的关键

比特币区块链作为一种点对点的支付平台，由于设计的局限性，在处理全球大规模交易时显得捉襟见肘。其每笔交易都需要广播到全网，导致交易确认速度慢、费用高。为了解决这一问题，闪电网络应运而生，通过微支付通道技术大幅提升比特币网络的扩展性。

“Mega EOF 终局”规范（EOFv1）

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

如何编写 Solana 智能合约？

什么是Solana智能合约？简而言之，Solana智能合约是在Solana网络上运行的合约。但是，为了更充分地回答“什么是Solana智能合约？”这个问题，最好先分别深入研究Solana和智能合约的复杂性。所以，让我们从仔细研究Solana网络开始这篇文章！Solan

Solana批量转账教程

工具介绍GTokenToolSol批量转账/空投工具一次签名转380个地址，1000个地址只需签名3次。具有自动去重功能，市面上最好用的批量转账/空投工具准备事项：一台电脑或者一部手机Solana钱包要进行批量转账的代币接收转账的钱包地址一些SOL用于支付转账GAS注
  • 想样
  • 发布于 2025-03-12
  • 阅读 ( 348 )

如何使用 Remix IDE 创建 BSC 代币

什么是BSC代币？BSC代币是一种基于BNB智能链(BSC)构建的数字资产，BSC是一种与EVM兼容的区块链网络，旨在运行基于智能合约的应用程序。此外，BSC代币遵守BEP-20代币标准，该标准定义了一套在网络上创建和管理可替代代币的规则和指南！BEP-20是
  • 想样
  • 发布于 2025-03-12
  • 阅读 ( 517 )

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

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

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

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

zkTLS：可验证数据可组合性

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

一文了解BLS聚合签名

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

EIP-5450: EOF栈验证

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

测试流程目录

随着AI的快速发展，测试行业也在经历着深刻的变化。曾经依赖手动测试，后来逐步转向自动化，而现在人工智能技术正在重塑测试的方式和思维。午休时突然想把这些年的经历整理下来，既是对过去的回顾，也是对未来的思考。大致会从以下几个方面展开：本系列文章将从基础概念到前沿的测试方案，深入测试领域的关键环节，力
测试 
  • Wake
  • 发布于 2025-03-12
  • 阅读 ( 437 )
  • ( 3 )

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

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

ZKsync SSO账户抽象审计

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

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
  • 阅读 ( 620 )
  • ( 8 )

Arch：打破比特币“不可编程”魔咒，开启无桥合约新时代

比特币作为加密世界的基石，以其无与伦比的安全性和去中心化特性闻名，但其有限的脚本语言和UTXO模型长期以来限制了复杂智能合约的发展。如今，一个叫 **Arch Network** 的诞生为比特币生态带来了突破性解决方案——一个无需桥接的并行执行层，本期比特鹰将为大家介绍 Arch 是如何做到这一切的

Arweave/AO 生态精粹 Week 10｜$AOCRED 已支持兑换、Rimbox 推出 Building 模式、Protocol Pioneers 活动

$AOCRED 已支持兑换、Rimbox 推出 Building 模式、Protocol Pioneers 活动