Stone 证明器

Stone 证明器是 STARK 技术解决方案的核心组件，成为扩展以太坊和促进 Starknet 发展的关键力量

进一步实现更好的协作、更优的质量、更高的安全性、创新性、独立性，帮助 Starknet 和以太坊充分发挥潜力的关键价值

Stone 证明器经过实战考验的 Cairo 证明器

可以用低算力机器证明高算力程序

可调整部分参数

递归不再需要链上聚合单个证明

上千状态证明同步验证

扩大 Stone 证明器可用性和扩容潜力

L3 Stone 应用链

StarkWare 开发能兼容 Stone 的 Cairo 验证器，支持开发者在 Starknet 上构建 L3 应用

L2 Stone 应用链

zkSecurity 开发的 STARK-EVM 适配器，允许开发者在以太坊上验证 Stone 生成的证明

Stone 和 Madara 排序器集成

由 Moonsong Labs 构建的 Stone 封装器，促进了在 Madara 无缝集成，简化 L2/L3 开发

消除使用 Stone 的障碍

Moonsong Labs 的一键式 Stone CLI 简化了开发者体验

Ingonyama 的 GPU 支持将进一步简化证明过程，提升性能并降低延迟

Stone 兼容 Rust 语言

Thor Kampefner 正在开发 Pebble 项目

旨在实现 Stone 兼容 Rust 语言，为扩展 Stone 上的新功能铺平了道路

例如，编译到 WebAssembly 和完全支持 ZKP

STARK 证明器 Stone 已开源（2023 年 8 月 31 日）

完美契合 StarkWare 开源精神，迈出技术去中心化的重要一步

开发者可以利用 Stone 来满足多种不同的证明系统和需求，并在其基础上构建额外的封装和定制

代码库

https://github.com/starkware-libs/stone-prover

Stwo 证明器

Stwo 是基于 Circle-STARK 的下一代极速证明器

解锁高效素数域 M31，创建超高效快速证明，实现 STARK 让效率、速度、扩展性达到新高峰

StarkWare 和 Polygon 团队合作并于 2024 年推出了 Circle STARK，克服了传统 STARK 协议在素数域上有局限性，实现了完美简化释放梅森素数域 M31 效率，进而促进快速证明 

增强 Starknet 生态系统，提供强大的证明性能、更便宜的交易、应用无缝集成

Stwo 基于 Apache 2.0 许可协议实现完全开源

兼容编写合约的高级 Cairo 代码以及 Sierra

代码库

https://github.com/starkware-libs/stwo

极速 STARK 协议：Circle STARK

开创性的超快速 STARK 协议 Circle STARK 是由 StarkWare x Polygon 合作开发，解锁高效素数域 M31，将 STARK 证明能力提高百倍以上，采用 Circle STARK 的 Stwo 证明器效率远超 Stone

数学角度探讨 Circle STARK

鉴于传统 STARK 协议的限制（无法兼容 M31 ）

于是在 StarkWare 和 Polygon 团队合作下，最终在梅森素数域 M31 上达成 Circle STARK 协议，采用了 2-smooth P+1 这种高效的 M31 字段简化结构（而不是 P-1）

Starknet 将数学创新成果运用到实际，推出了采用 Circle STARK 的极速开源证明器：Stwo

Circle STARK 作为下一代产品，利用 STARK 证明扩展区块链，为 Starknet 可扩展性提供超级动力

Circle STARK 白皮书

https://eprint.iacr.org/2024/278

去中心化排序器 Madara

基于 Substrate 的 Starknet 去中心化排序器 Madara，模拟 Starknet 公共主网操作，通过处理交易和生成区块，可用于实现锚定以太坊 L2 甚至 L3 解决方案

排序器从用户处获取交易并采用 Cairo VM 在 L2 上执行交易，由证明器组件验证创建区块是否有效

此外，Madara 逐渐超越 Starknet 排序器的范畴，发展成一个强大潜力的开源技术栈，允许构建 Cairo 驱动的应用链

Madara 强调模块化、性能、可定制性，对应用链架构的各个方面进行精细控制，让开发者体验运行 Starknet 合约就像部署在实时网络上

用于构建 Starknet 应用链

从大规模降低成本到个性化控制，探索区块链基础设施的未来

可配置应用链满足应用程序需求

调整区块时间以控制 L2 结算频率

利用非原生数据解决方案

有效性证明和验证链上操作，实现去中心化、安全性、高效率

Madara 团队旨在创建一个开源、由社区驱动的 Starknet 排序器，截止至 2024 年三月，Madara 拥有超 1000 次提交，来自 15 个国家的 80 多位贡献者，成为 Web3 生态系统最去中心化的排序器之一

Madara 网站

https://www.madara.build/

Madara 文档

https://docs.madara.build/zh-CN

代码库

https://github.com/keep-starknet-strange/madara

Madara 合作项目

整合 Cartridge 和 Dojo 排序器

推出 Karnotxyz 的 Sharingan 实验性测试网络

将 Avail Project 层集成到 Madara 应用链

帮助 Kakarot 蜕变成一类 zkEVM

还有 Paradex、Tsubasa、ZKX 等协议

共享证明器 SHARP

SHARP 是 StarkWare 开发构建的共享证明器

包含了 STARK 证明器的系统组件，用于生成证明来确认 Cairo 程序正常运行，在 Starknet 和 StarkEx 使用

鉴于证明需在多个执行源之间共享，因此，SHARP 既作为证明器也是作业调度器

SHARP 是 Starknet 提高以太坊可扩展性和效率的关键组件

自 2020 年 6 月以来，SHARP 链上交易量超 $1 万亿 

SHARP（SHARed Prover，共享证明器）生成聚合 Cairo 程序的 STARK 证明，允许任何应用程序将交易提交到同一证明，即使是小型应用程序也可以获取 STARK 扩展的巨大力量

SHARP 支持  Cairo 编写的应用

约 22 万笔交易打包成一个在以太坊主网上的单一证明

SHARP 生成证明来确认 Cairo 程序正常运行

SHARP 递归证明更好实现并行化、低成本、优化系统等

Herodotus 使用 SHARP 证明基础设施证明以太坊整个历史

SHARP 重要升级：从线性模型转变为递归模型

利用 SHARP 递归证明并行处理和验证多个 STARK 证明，在递归证明中，SHARP 在每个声明到达时就对其进行证明，无需先收集一批声明填满一个证明后再证明这批声明的处理过程

SHARP 为开发者提供设计可选性，为以太坊生态系统来带可持续和可扩展性

未来将进一步推出 SHARP 动态布局定制，证明器将计算每个特定逻辑所需的资源，并生成定制证明，预计将减少 30% Gas 费用

声明：本网站所有相关资料如有侵权请联系站长删除，资料仅供用户学习及研究之用，不构成任何投资建议！