解码Starknet Verifier:深入逆向工程之旅

2024-05-03 20:12

本文主要是介绍解码Starknet Verifier:深入逆向工程之旅,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 引言

Sandstorm为:

  • 能提交独立proof给StarkWare的Ethereum Verifier,的首个开源的STARK prover。

开源代码见:

  • https://github.com/andrewmilson/sandstorm(Rust)

L2Beat 提供了以太坊上Starknet的合约架构图:
在这里插入图片描述
主要分为2大部分:

  • Sequencer:用于管理状态。由状态A到状态B。
  • SHARP Prover 和 STARK Verifier:STARK Verifier验证STARK proof,以确认该state transition是正确的。本文重点关注的是本部分——生成一个STARK proof,然后提交到以太坊上Starknet的STARK Verifier solidity合约并验证通过。

STARK Verifier solidity合约:

  • 实际是验证某hard-coded program——即bootloader program。

在这里插入图片描述
bootloader program:

  • 负责booting其它programs。

从高层来看,Starknet的以太坊verifier合约有:

  • FriStatementVerifier.sol合约:验证FRI proof
  • MerkleStatementVerifier.sol合约:验证Merkle proofs
  • StarkVerifier.sol合约:验证STARK proof

2. 反向工程面临的挑战一:解码约束

Starknet很酷的点在于:

  • verifier:evaluates the constraints on a single row
  • prover:evaluates the constraints on every row

因此,约束在verifier内。
在这里插入图片描述
其中:

  • 首个约束为initial_pc,即initial program counter。

在这里插入图片描述

3. 反向工程面临的挑战二:Progress feedback loop

从以太坊下载合约,借助Foundary,支持:

  • running locally
  • incrementally tests progress
  • 支持打印调试

在这里插入图片描述

4. Sandstorm在Starknet生态中的角色

4.1 何为Sandstorm?

Sandstorm为:

  • Cairo assembly proof generator(Cairo0和Cairo1)
  • 所生成的proof可用于:
    • Cairo verifier(for recursive proofs)
    • Ethereum verifier
  • 提供了Rust语言编写的Cairo proof verifier

4.2 已经有Stone了,为何还需要Sandstorm?

已经有Stone了,为何还需要Sandstorm?原因在于:

  • Stone和Sandstorm二者是互补的
  • 有利于Starknet生态系统的去中心化

在这里插入图片描述
Sandstorm可定位为:

  • Verifying proofs in WASM
  • Parsing proofs for dispatch to Cairo and Ethereum verifiers
  • Rust > C++
    • Prover + Verifier experimentation

Sandstorm基于一些amazing rust库构建:

  • arkworks:为crypto primitives
  • rust-crypto:哈希函数
  • ruint:快速unsigned integers
  • serde:反序列化
  • starknet-rs:快速Pedersen哈希
  • rayon:并行化

4.3 Sandstorm用例

Sandstorm应用场景有:

  • recursive proving:曾将Sandstorm用于为headers chain生成面向Cairo Verifier的proof。
  • client side proving
  • WASM proof verification:可很方便的编译为webassembly。
  • Dispatching proofs to StarkWare verifiers

Andrew Milson致力于zerosync项目。zerosync的目标是:

  • 为Bitcoin同步创建stark proof。

Andrew Milson曾使用Sandstorm来为headers chain,生成面向Cairo Verifier的proof。

4.4 Sandstorm展望

  • 为Sandstor proofs添加Zero Knowledge属性
  • 改进整体性能
  • 模块化

参考资料

[1] 2023年9月11日Andrew Milson分享视频 Decoding the Starknet Verifier: A Deep Dive into the Reverse Engineering Journey | Andrew Milson

这篇关于解码Starknet Verifier:深入逆向工程之旅的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/957558

相关文章

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

一文带你深入了解Python中的GeneratorExit异常处理

《一文带你深入了解Python中的GeneratorExit异常处理》GeneratorExit是Python内置的异常,当生成器或协程被强制关闭时,Python解释器会向其发送这个异常,下面我们来看... 目录GeneratorExit:协程世界的死亡通知书什么是GeneratorExit实际中的问题案例

深入解析Spring TransactionTemplate 高级用法(示例代码)

《深入解析SpringTransactionTemplate高级用法(示例代码)》TransactionTemplate是Spring框架中一个强大的工具,它允许开发者以编程方式控制事务,通过... 目录1. TransactionTemplate 的核心概念2. 核心接口和类3. TransactionT

深入理解Apache Airflow 调度器(最新推荐)

《深入理解ApacheAirflow调度器(最新推荐)》ApacheAirflow调度器是数据管道管理系统的关键组件,负责编排dag中任务的执行,通过理解调度器的角色和工作方式,正确配置调度器,并... 目录什么是Airflow 调度器?Airflow 调度器工作机制配置Airflow调度器调优及优化建议最

深入理解C语言的void*

《深入理解C语言的void*》本文主要介绍了C语言的void*,包括它的任意性、编译器对void*的类型检查以及需要显式类型转换的规则,具有一定的参考价值,感兴趣的可以了解一下... 目录一、void* 的类型任意性二、编译器对 void* 的类型检查三、需要显式类型转换占用的字节四、总结一、void* 的

深入理解Redis大key的危害及解决方案

《深入理解Redis大key的危害及解决方案》本文主要介绍了深入理解Redis大key的危害及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、背景二、什么是大key三、大key评价标准四、大key 产生的原因与场景五、大key影响与危

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

通过C#和RTSPClient实现简易音视频解码功能

《通过C#和RTSPClient实现简易音视频解码功能》在多媒体应用中,实时传输协议(RTSP)用于流媒体服务,特别是音视频监控系统,通过C#和RTSPClient库,可以轻松实现简易的音视... 目录前言正文关键特性解决方案实现步骤示例代码总结最后前言在多媒体应用中,实时传输协议(RTSP)用于流媒体服

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya(不是本人,claude AI)在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容: 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06