STARK

摘要 Miden是由Polygon Labs孵化的”边缘区块链”项目，通过STARK零知识证明技术实现客户端本地执行与链上验证的创新架构。其核心优势包括：高吞吐并行处理（Actor模型）、默认隐私账本与可选公开机制、1-2秒快速本地证明生成（MacBook Pro约90K周期成本），以及兼容以太坊安全的AggLayer汇聚层。Miden VM采用栈式结构和RISC-like指令集优化ZK证明效率，支持多段内存分离与Actor并行模型，为DeFi高频交易、隐私游戏道具、合规私密支付等场景提供新范式。目前项目已开源VM并进入Alpha测试网v6阶段，计划2025年Q4主网上线，有望重塑”链下执行+链上验证”的Web3基础设施标准。

文章《Vitalik详解Binius：基于二进制字段的高效证明系统》深入探讨了Binius，一种新型的零知识证明系统，旨在通过直接操作二进制数据（0和1）提升计算效率。传统的SNARK和STARK系统使用较大的字段（如256位或64位整数），而Binius利用二进制字段的特性，将数据分割为bit进行处理，显著降低了计算复杂度和资源消耗。文章详细介绍了二进制字段的数学基础、算术化过程以及Binius如何通过超立方体和Reed-Solomon编码实现高效证明。此外，Binius通过扩展和行组合技术，确保了证明的安全性和简洁性，同时避免了传统系统中因字段过大导致的开销。这一技术有望在区块链和密码学领域带来显著的性能优化。