解码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

相关文章

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

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

【C++高阶】C++类型转换全攻略:深入理解并高效应用

📝个人主页🌹:Eternity._ ⏩收录专栏⏪:C++ “ 登神长阶 ” 🤡往期回顾🤡:C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝

深入手撕链表

链表 分类概念单链表增尾插头插插入 删尾删头删删除 查完整实现带头不带头 双向链表初始化增尾插头插插入 删查完整代码 数组 分类 #mermaid-svg-qKD178fTiiaYeKjl {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-

深入理解RxJava:响应式编程的现代方式

在当今的软件开发世界中,异步编程和事件驱动的架构变得越来越重要。RxJava,作为响应式编程(Reactive Programming)的一个流行库,为Java和Android开发者提供了一种强大的方式来处理异步任务和事件流。本文将深入探讨RxJava的核心概念、优势以及如何在实际项目中应用它。 文章目录 💯 什么是RxJava?💯 响应式编程的优势💯 RxJava的核心概念

深入理解数据库的 4NF:多值依赖与消除数据异常

在数据库设计中, "范式" 是一个常常被提到的重要概念。许多初学者在学习数据库设计时,经常听到第一范式(1NF)、第二范式(2NF)、第三范式(3NF)以及 BCNF(Boyce-Codd范式)。这些范式都旨在通过消除数据冗余和异常来优化数据库结构。然而,当我们谈到 4NF(第四范式)时,事情变得更加复杂。本文将带你深入了解 多值依赖 和 4NF,帮助你在数据库设计中消除更高级别的异常。 什么是

Jenkins构建Maven聚合工程,指定构建子模块

一、设置单独编译构建子模块 配置: 1、Root POM指向父pom.xml 2、Goals and options指定构建模块的参数: mvn -pl project1/project1-son -am clean package 单独构建project1-son项目以及它所依赖的其它项目。 说明: mvn clean package -pl 父级模块名/子模块名 -am参数

Android逆向(反调,脱壳,过ssl证书脚本)

文章目录 总结 基础Android基础工具 定位关键代码页面activity定位数据包参数定位堆栈追踪 编写反调脱壳好用的脚本过ssl证书校验抓包反调的脚本打印堆栈bilibili反调的脚本 总结 暑假做了两个月的Android逆向,记录一下自己学到的东西。对于app渗透有了一些思路。 这两个月主要做的是代码分析,对于分析完后的持久化等没有学习。主要是如何反编译源码,如何找到

深入解析秒杀业务中的核心问题 —— 从并发控制到事务管理

深入解析秒杀业务中的核心问题 —— 从并发控制到事务管理 秒杀系统是应对高并发、高压力下的典型业务场景,涉及到并发控制、库存管理、事务管理等多个关键技术点。本文将深入剖析秒杀商品业务中常见的几个核心问题,包括 AOP 事务管理、同步锁机制、乐观锁、CAS 操作,以及用户限购策略。通过这些技术的结合,确保秒杀系统在高并发场景下的稳定性和一致性。 1. AOP 代理对象与事务管理 在秒杀商品