文章 - 第19页 - 登链社区

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。

zkVM SNARK 安全性性能零知识证明研究进展

a16z Crypto
发布于 2025-03-12
阅读 ( 599 )
( 19 )

Solana 数据索引的问题

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

Solana 数据索引状态膨胀高频交易 Old Faithful Astralane

astralaneio
发布于 2025-03-12
阅读 ( 984 )
( 71 )

“Mega EOF 终局”规范（EOFv1）

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

EVM Object Format EOFv1 以太坊虚拟机代码执行数据处理新指令

ipsilon
发布于 2025-03-12
阅读 ( 108 )
( 7 )

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

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

MCP AI

King
发布于 2025-03-12
阅读 ( 902 )
( 60 )

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

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

零知识汇总区块链扩展 ZK证明交易吞吐量以太坊安全私密计算

cyfrin
发布于 2025-03-12
阅读 ( 146 )
( 4 )

zkTLS：可验证数据可组合性

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

zkTLS 零知识证明数据隐私 Web3 去中心化金融数据验证

Shoal Research
发布于 2025-03-12
阅读 ( 851 )
( 53 )

一文了解BLS聚合签名

in 密码学和网络安全

BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。

BLS signatures

Louis
发布于 2025-03-12
阅读 ( 1090 )
( 82 )

EIP-5450: EOF栈验证

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

EVM 栈验证 EOF 指令检查操作数栈合约执行

ethereum
发布于 2025-03-12
阅读 ( 134 )
( 6 )

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

在 Sui 上实现一个简单的币对兑换合约。

Move Sui Sui Move

greyhao
发布于 2025-03-12
阅读 ( 498 )
( 17 )

ZKsync SSO账户抽象审计

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

智能合约账户抽象安全审计 Solidity zkSync 模块化

OpenZeppelin
发布于 2025-03-12
阅读 ( 111 )
( 7 )

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

in Rust

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

Rust Rust go go

寻月隐君
发布于 2025-03-12
阅读 ( 450 )
( 11 )

Web3 极客日报 #1695

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

Injective EVM：下一步是什么？

Injective Labs宣布将原生EVM执行环境集成到Injective区块链中，旨在吸引来自以太坊生态系统的开发人员，同时保持对WASM平台的支持。

Injective EVM 多虚拟机开发者社区交易原子性区块链 AI推理

4pillars
发布于 2025-03-11
阅读 ( 188 )
( 9 )

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

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

STRK质押 Starknet 去中心化 L2 区块链经济治理