mutourend
mutourend

SP1：基于Plonky3构建的zkVM

1. 引言

SP1为SuccictLab开源的，基于Plonky3构建的zkVM。

开源代码见：

  • https://github.com/succinctlabs/sp1（Rust）

当前暂未实现onchain-verifier，但会采用标准的STARK->SNARK verifier。

SP1 zkVM基于的指令集为：

  • riscv32im（与RISC Zero的指令集一样）

在SP1 zkVM中运行某程序之前，需将该程序编译为RISCV可执行文件（*.elf）。

当前SP1 zkVM支持的预编译有：【RISC Zero实现的Cryptography Acceleration有SHA256和256-bit modular multiplication】

  • SHA256 Extend
  • SHA256 Compress
  • Keccak256 Permute
  • Ed25519 Add
  • Ed25519 Decompress.
  • Secp256k1 Add
  • Secp256k1 Double
  • Secp256k1 Decompress

对应的patched crates为：【实际都是fork的其它库？但无fork链接记录？】

Crate Name Repository
sha2 succinctlabs/RustCrypto-hashes
ed25519-consensus succinctlabs/ed25519-consensus
alloy-core succinctlabs/alloy-core（未开源当前？）
tiny-keccak succinctlabs/tiny-keccak
dalek-ng succinctlabs/dalek-ng

参考资料

[1] SP1 Book
[2] 2024年2月15日 twitter SuccictLab开源SP1 ZKVM

你可能感兴趣的:(zkVM,zkVM)

  • SP1：基于Plonky3构建的zkVM mutourend zkVMzkVM
    1.引言SP1为SuccictLab开源的，基于Plonky3构建的zkVM。开源代码见：https://github.com/succinctlabs/sp1（Rust）当前暂未实现onchain-verifier，但会采用标准的STARK->SNARKverifier。SP1zkVM基于的指令集为：riscv32im（与RISCZero的指令集一样）在SP1zkVM中运行某程序之前，需将该程序
  • RISC Zero zkVM Host & Guest 101 mutourend zkVMzkVM
    1.引言在RISCZerozkVM应用程序中，host为运行RISCZerozkVM的机器（或系统）。host为不可信agent，负责设置zkVM环境和处理执行过程中的输入输出。host程序（代码），是指：zkVM应用中的host-native、不可信的部分。负责加载guest程序，并为guest程序提供必要的输入。若基于Bonsai构建，则无需编写host代码。zkVM应用中，host负责构建并
  • ZK*FM：RISC Zero zkVM的形式化验证 mutourend zkVMzkVM
    1.引言开源代码见：https://github.com/risc0/risc0-lean4（Lean和Rust）ZK*FM为RISCZerozkVM的形式化验证：ZK：Thecomputerrantherightprogram。FM：Theprogramdidtherightthing。ZK*FM：Thecomputerdidtherightthing。可使用FM来证明RISCZero的ZKto
  • RISC Zero zkVM guest程序优化技巧 及其 与物理CPU的关键差异 mutourend zkVMzkVM
    1.引言RISCZerozkVM设计并实现为与物理CPU功能类似。从而对于RISCZerozkVMguest程序：可使用通用编程语言（如Rust）和通用工具（如Cargo，LLVM）。通常，也可使用通用优化技术来优化。在RISCZerozkVM的某应用中，guest程序为zkVM待执行和证明的代码。guest应具有reading、writting和committing的基本功能，具体为：1）读取输
  • 技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1） mutourend 零知识证明零知识证明
    1.引言开源代码实现见：https://github.com/hashcloak/fhe_risc0_zkvm（Rust）https://github.com/weikengchen/vfhe-profiled（Rust）https://github.com/l2iterative/vfhe0（Rust）L2IVResearch团队近期尝试用ZKP来验证FHE，原因在于如下2大应用场景的出现：1）
  • Reed-Solomon Codes及其与RISC Zero zkVM的关系 mutourend zkVMzkVM
    1.引言前序博客：Reed-SolomonCodes——RS纠错码Reed-SolomonCodes当前广泛用于：QRcodes二维码Cellularcommunication蜂窝通信STARKs2.简化的Reed-SolomonEncoding（RS编码）所谓encoding（编码），是指：将messages转换为codewords的系统。即：Enc:{messages}→{codewords}
  • RISC Zero zkVM架构 mutourend zkVMzkVM
    1.引言RISCZerozkVM为：基于FRI+PLONK构建的采用VonNeumann架构的ZKMachine将RISC-V微控制器具化为某基于STARK的证明系统，的微架构和编码机制。2.Row(Time)Structure一个cycle对应1个memorytransaction，对用户传入的程序elf可执行文件的处理流程为：1）INIT：初始化阶段。有特殊的初始化cycle，用于重置状态。2
  • Continuations：扩展RISC Zero zkVM支持（无限）大计算 mutourend zkVMzkVM
    1.引言前序博客：Risc0：使用Continunations来证明任意EVM交易RISCZero在2013年5月的0.15版本中，引入了Continuous机制：移除了证明生成时的“cyclelimit”限制解锁了在RISCZerozkVM中运行EVMinterpreter或WASMinterpreter的能力扩展为可支持（无限）大计算Continuous机制的核心思想为：将execution切
  • RISC Zero zkVM 白皮书 mutourend zkVMzkVM
    1.引言RISCZero提供了开源的虚拟机+零知识证明系统，即zero-knowledgevirtualmachine（简称zkVM）。当在zkVM中执行某RISC-V二进制文件时，其输出为：二进制文件执行结果＋一个computationalreceipt，提供了计算完整性的零知识证明。RISCZero的证明系统采用zk-STARK，基于以下关键要素：FRI协议DEEP-ALI基于HMAC-SHA
  • Risc zero ZKVM：zk-STARKs + RISC-V mutourend 零知识证明zkVMrisc-v
    1.引言Risczero定位为：TheGeneralPurposeZero-KnowledgeVM.ProveanyComputation.VerifyInstantly.开源代码见：https://github.com/risc0/risc0TheRISCZeroZKVMisaverifiablecomputerthatworkslikearealembeddedRISC-Vmicroproce
  • RISC0：Towards a Unified Compilation Framework for Zero Knowledge mutourend zkVM零知识证明
    1.引言本文主要摘自RISC0（RISCZERO）创始人BrianRetford在CompilerandComposabilityinZKP上的演讲内容。2.何为ZKVM？3.密集型计算加速策略4.MLIR参考资料[1]CompilerandComposabilityinZKP
  • RISC-V与RISC Zero zkVM的关系 mutourend zkVMzkVM
    1.引言本文基本结构为：编程语言背景介绍RISC-V虚拟机作为zkVM电路为何选择RISC-V？2.编程语言背景介绍高级编程语言不专门针对某个架构，其便于人类编写。高级编程语言代码，经编译器编译后，会生成针对专门某架构的汇编代码，汇编代码是供机器使用的。也可以直接编写汇编代码：以上汇编代码示例中：蓝色框表示：所编码的数据和指令。黄色框：为对蓝色框的反汇编。黑色框：为这些opcodes的位置信息。可
  • 针对zkVM中Memory Consistency Checks的Polynomial IOPs mutourend zkVMzkVM
    1.引言主要参考YuncongZhang等人2023年论文《PolynomialIOPsforMemoryConsistencyChecksinZero-KnowledgeVirtualMachines》。在设计zkvm时，需检查其所有组件的功能一致性，包括：instructionfetcher寄存器文件算术化逻辑单元内存其中最具挑战的技术协议为Memoryconsistencycheck（MCC
  • RISC Zero zkVM性能指标 mutourend zkVMzkVM
    1.引言对应代码：https://github.com/risc0/risc0（C++和Rust）运行如下指令，进行性能评估：cargorun-r--exampleloop//CPUcargorun-r-Fmetal--exampleloop//MetalGPUcargorun-r-Fcuda--exampleloop//CUDAGPUcargobench--benchfib//默认为CPU，可配
  • zkVM设计性能分析 mutourend zkVMzkVM
    1.引言本文主要参考：2023年9月ZKSummit10WeiDai@1k(x)&TerryChung@1k(x)分享视频ZK10:AnalysisofzkVMDesigns-WeiDai&TerryChung当前有各种zkVM，其设计思想各有不同，且各有取舍，本文重点对现有各zkVM设计进行分析。zkVMs寒武纪大爆发：2020年之前的zkVM方案均是学术性的，不具备实用性，具体有：TinyRA
  • Polygon Miden：扩展以太坊功能集的ZK-optimized rollup mutourend zkVMzkVM
    1.引言PolygonMiden定位为zkVM，定于2023年Q4上公开测试网。zk、zkVM、zkEVM及其未来中指出，当前主要有3种类型的zkVM，括号内为其相应的指令集：mainstream（WASM,RISC-V）EVM（EVMbytecode）ZK-Optimized（专为零知识证明优化的新型指令集，如Cairo的指令集和zkSync的指令集）PolygonMiden为：ZK-optim
  • zk、zkVM、zkEVM及其未来 mutourend zkVM区块链
    1.引言zk（zero-knowledge）proof：可保证计算的完整性、正确性和隐私性，在区块链扩容和隐私领域大有可为。zk-SNARK和zk-STARK各具优势，二者结合潜力无穷。zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。EVM兼容性包括EVM兼容性、等价性和规范级兼容性。zkEVM是一个EVM兼容且零知识证明友好的环境。它可以分为基于
  • 基于Nova/SuperNova的zkVM mutourend zkVMzkVM
    1.引言本文为2023年3月13~4月7日ZKSpringResidencyinVietnam上，由PSE团队、OrochiNetwork团队、0xPARC团队、Oskar（独立个人）以及Delv团队联合发布。Nova：借助IncrementalVerifiableComputation（IVC）和foldingscheme，Nova可更高效地执行重复相同的代码块。Nova采用的安全假设为GLOG
  • Research Day 2023：Succinct ZKP最新进展 mutourend 零知识证明零知识证明
    1.引言主要见YingTong在ResearchDay2023上视频分享：AdvancesintheEfficiencyofSuccinctProofs-YingTongZKP技术可用于：1）Verifiablevirtualmachine：如各种zkEVM和zkVM。2）verifiablecloudcomputing：2015年论文《ClusterComputinginZeroKnowledg
  • zkLLVM：nil Foundation开发的电路编译器 mutourend 零知识证明零知识证明
    1.引言zkLLVM：nilFoundation开发的电路编译器，不是zkVM。不过，“zkLLVM+proofmarket”可构建zkVM。开源代码见：zkLLVMCircuitCompiler（C++）zkLLVM可：将高级编程语言编写的电路编译为LLVMIR（IntermediateRepresentation）bytecode表示；当前支持C/C++（Clang15），即将支持Rust语言
  • 智能合约开发——Sui/Move vs. Solana/Rust mutourend 智能合约智能合约
    1.引言前序博客有：zkMove——针对Move合约生态的zkVM定位为高性能L1的Aptos和Sui，均采用Move合约编程语言。Solana也定位为高性能L1，但其采用Rust合约编程语言。本文重点对比Sui/Move和Solana/Rust合约编程语言。【Aptos/Move为不同的Move变种，有细微的差别。不过只要原生支持Movebytecode，则所有主要Move优势适于所有Move变
  • zkMove——针对Move合约生态的zkVM mutourend zkVM零知识证明
    1.引言Move为不同于Solidity的，开源的安全的智能合约开发语言，最早由Facebook为Diem链创造开发。不过，Move本身设计为与平台无关的语言，具有通用的库、工具，并使得采用完全不同数据模型和执行模型的链的开发者社区都可使用Move。当前支持Move合约的链有：Sui：定位为具有高吞吐量、低延迟、面向资产编程模式的下一代智能合约平台，采用Move语言进行合约开发。当前处于devne
  • BulletproofVM：Avalanche上的zkVM mutourend zkVM零知识证明
    1.引言开源代码见：https://github.com/usmaneth/BulletproofVM（Rust）BulletproofVM为Avalanche上的基于Bulletproofs证明系统构建的zkVM，其主要特性为：MaintainsastateconsistingofaccountswithbalancesandassetsExecutesstandardtransactionsf
  • windows下源码安装golang 616050468 golang安装golang环境windows
             系统： 64位win7， 开发环境：sublime text 2，  go版本： 1.4.1    1.  安装前准备(gcc, gdb, git)        golang在64位系
  • redis批量删除带空格的key bylijinnan redis
    redis批量删除的通常做法： redis-cli keys "blacklist*" | xargs redis-cli del 上面的命令在key的前后没有空格时是可以的，但有空格就不行了： $redis-cli keys "blacklist*" 1) "blacklist:12: [email protected]
  • oracle正则表达式的用法 0624chenhong oracle正则表达式
      方括号表达示 方括号表达式 描述 [[:alnum:]] 字母和数字混合的字符 [[:alpha:]] 字母字符 [[:cntrl:]] 控制字符 [[:digit:]] 数字字符 [[:graph:]] 图像字符 [[:lower:]] 小写字母字符 [[:print:]] 打印字符 [[:punct：]] 标点符号字符 [[:space:]]
  • 2048源码(核心算法有，缺少几个anctionbar，以后补上) 不懂事的小屁孩 2048
    2048游戏基本上有四部分组成， 1：主activity，包含游戏块的16个方格，上面统计分数的模块 2：底下的gridview，监听上下左右的滑动，进行事件处理， 3：每一个卡片，里面的内容很简单，只有一个text，记录显示的数字 4：Actionbar，是游戏用重新开始，设置等功能(这个在底下可以下载的代码里面还没有实现) 写代码的流程 1：设计游戏的布局，基本是两块，上面是分
  • jquery内部链式调用机理 换个号韩国红果果 JavaScriptjquery
    只需要在调用该对象合适(比如下列的setStyles)的方法后让该方法返回该对象（通过this  因为一旦一个函数称为一个对象方法的话那么在这个方法内部this（结合下面的setStyles）指向这个对象） function create(type){ var element=document.createElement(type); //this=element;
  • 你订酒店时的每一次点击 背后都是NoSQL和云计算 蓝儿唯美 NoSQL
    全球最大的在线旅游公司Expedia旗下的酒店预订公司，它运营着89个网站，跨越68个国家，三年前开始实验公有云，以求让客户在预订网站上查询假期酒店时得到更快的信息获取体验。 云端本身是用于驱动网站的部分小功能的，如搜索框的自动推荐功能，还能保证处理Hotels.com服务的季节性需求高峰整体储能。 Hotels.com的首席技术官Thierry Bedos上个月在伦敦参加“2015 Clou
  • java笔记1 a-john java
    1，面向对象程序设计（Object-oriented Propramming，OOP）：java就是一种面向对象程序设计。 2，对象：我们将问题空间中的元素及其在解空间中的表示称为“对象”。简单来说，对象是某个类型的实例。比如狗是一个类型，哈士奇可以是狗的一个实例，也就是对象。 3，面向对象程序设计方式的特性：     3.1 万物皆为对象。    
  • C语言 sizeof和strlen之间的那些事 C/C++软件开发求职面试题 必备考点（一） aijuans C/C++求职面试必备考点
            找工作在即，以后决定每天至少写一个知识点，主要是记录，逼迫自己动手、总结加深印象。当然如果能有一言半语让他人收益，后学幸运之至也。如有错误，还希望大家帮忙指出来。感激不尽。        后学保证每个写出来的结果都是自己在电脑上亲自跑过的，咱人笨，以前学的也半吊子。很多时候只能靠运行出来的结果再反过来
  • 程序员写代码时就不要管需求了吗？ asia007 程序员不能一味跟需求走
          编程也有2年了，刚开始不懂的什么都跟需求走，需求是怎样就用代码实现就行，也不管这个需求是否合理，是否为较好的用户体验。当然刚开始编程都会这样，但是如果有了2年以上的工作经验的程序员只知道一味写代码，而不在写的过程中思考一下这个需求是否合理，那么，我想这个程序员就只能一辈写敲敲代码了。       我的技术不是很好，但是就不代
  • Activity的四种启动模式 百合不是茶 android栈模式启动Activity的标准模式启动栈顶模式启动单例模式启动
    android界面的操作就是很多个activity之间的切换,启动模式决定启动的activity的生命周期 ;   启动模式xml中配置     <activity android:name=".MainActivity" android:launchMode="standard&quo
  • Spring中@Autowired标签与@Resource标签的区别 bijian1013 javaspring@Resource@Autowired@Qualifier
    Spring不但支持自己定义的@Autowired注解，还支持由JSR-250规范定义的几个注解，如：@Resource、 @PostConstruct及@PreDestroy。   1. @Autowired    @Autowired是Spring 提供的，需导入    Package:org.springframewo
  • Changes Between SOAP 1.1 and SOAP 1.2 sunjing ChangesEnableSOAP 1.1SOAP 1.2
    JAX-WS SOAP Version 1.2 Part 0: Primer (Second Edition) SOAP Version 1.2 Part 1: Messaging Framework (Second Edition) SOAP Version 1.2 Part 2: Adjuncts (Second Edition)   Which style of WSDL
  • 【Hadoop二】Hadoop常用命令 bit1129 hadoop
    以Hadoop运行Hadoop自带的wordcount为例，   hadoop脚本位于/home/hadoop/hadoop-2.5.2/bin/hadoop，需要说明的是，这些命令的使用必须在Hadoop已经运行的情况下才能执行   Hadoop HDFS相关命令  hadoop fs -ls  列出HDFS文件系统的第一级文件和第一级
  • java异常处理（初级） 白糖_ javaDAOspring虚拟机Ajax
    从学习到现在从事java开发一年多了，个人觉得对java只了解皮毛，很多东西都是用到再去慢慢学习，编程真的是一项艺术，要完成一段好的代码，需要懂得很多。 最近项目经理让我负责一个组件开发，框架都由自己搭建，最让我头疼的是异常处理，我看了一些网上的源码，发现他们对异常的处理不是很重视，研究了很久都没有找到很好的解决方案。后来有幸看到一个200W美元的项目部分源码，通过他们对异常处理的解决方案，我终
  • 记录整理-工作问题 braveCS 工作
    1）那位同学还是CSV文件默认Excel打开看不到全部结果。以为是没写进去。同学甲说文件应该不分大小。后来log一下原来是有写进去。只是Excel有行数限制。那位同学进步好快啊。 2）今天同学说写文件的时候提示jvm的内存溢出。我马上反应说那就改一下jvm的内存大小。同学说改用分批处理了。果然想问题还是有局限性。改jvm内存大小只能暂时地解决问题，以后要是写更大的文件还是得改内存。想问题要长远啊
  • org.apache.tools.zip实现文件的压缩和解压，支持中文 bylijinnan apache
    刚开始用java.util.Zip，发现不支持中文（网上有修改的方法，但比较麻烦） 后改用org.apache.tools.zip org.apache.tools.zip的使用网上有更简单的例子 下面的程序根据实际需求，实现了压缩指定目录下指定文件的方法 import java.io.BufferedReader; import java.io.BufferedWrit
  • 读书笔记-4 chengxuyuancsdn 读书笔记
    1、JSTL 核心标签库标签 2、避免SQL注入 3、字符串逆转方法 4、字符串比较compareTo 5、字符串替换replace 6、分拆字符串 1、JSTL 核心标签库标签共有13个， 学习资料：http://www.cnblogs.com/lihuiyy/archive/2012/02/24/2366806.html 功能上分为4类： (1)表达式控制标签：out
  • [物理与电子]半导体教材的一个小问题 comsci 问题
          各种模拟电子和数字电子教材中都有这个词汇-空穴       书中对这个词汇的解释是; 当电子脱离共价键的束缚成为自由电子之后,共价键中就留下一个空位,这个空位叫做空穴       我现在回过头翻大学时候的教材,觉得这个
  • Flashback Database --闪回数据库 daizj oracle闪回数据库
    Flashback 技术是以Undo segment中的内容为基础的， 因此受限于UNDO_RETENTON参数。要使用flashback 的特性，必须启用自动撤销管理表空间。 在Oracle 10g中， Flash back家族分为以下成员： Flashback Database， Flashback Drop，Flashback Query(分Flashback Query,Flashbac
  • 简单排序:插入排序 dieslrae 插入排序
    public void insertSort(int[] array){ int temp; for(int i=1;i<array.length;i++){ temp = array[i]; for(int k=i-1;k>=0;k--)
  • C语言学习六指针小示例、一维数组名含义，定义一个函数输出数组的内容 dcj3sjt126com c
    # include <stdio.h> int main(void) { int * p; //等价于 int *p 也等价于 int* p; int i = 5; char ch = 'A'; //p = 5; //error //p = &ch; //error //p = ch; //error p = &i; //
  • centos下php redis扩展的安装配置3种方法 dcj3sjt126com redis
    方法一 1.下载php redis扩展包  代码如下 复制代码 #wget http://redis.googlecode.com/files/redis-2.4.4.tar.gz 2 tar -zxvf 解压压缩包，cd /扩展包 （进入扩展包然后 运行phpize 一下是我环境中phpize的目录，/usr/local/php/bin/phpize (一定要
  • 线程池(Executors) shuizhaosi888 线程池
    在java类库中，任务执行的主要抽象不是Thread，而是Executor，将任务的提交过程和执行过程解耦 public interface Executor { void execute(Runnable command); }   public class RunMain implements Executor{ @Override pub
  • openstack 快速安装笔记 haoningabc openstack
    前提是要配置好yum源 版本icehouse，操作系统redhat6.5 最简化安装，不要cinder和swift 三个节点 172 control节点keystone glance horizon 173 compute节点nova 173 network节点neutron control /etc/sysctl.conf net.ipv4.ip_forward =
  • 从c面向对象的实现理解c++的对象（二） jimmee C++面向对象虚函数
    1. 类就可以看作一个struct，类的方法，可以理解为通过函数指针的方式实现的，类对象分配内存时，只分配成员变量的，函数指针并不需要分配额外的内存保存地址。 2. c++中类的构造函数，就是进行内存分配(malloc)，调用构造函数 3. c++中类的析构函数，就时回收内存(free) 4. c++是基于栈和全局数据分配内存的，如果是一个方法内创建的对象，就直接在栈上分配内存了。 专门在
  • 如何让那个一个div可以拖动 lingfeng520240 html
    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml
  • 第10章 高级事件（中） onestopweb 事件
    index.html <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/
  • 计算两个经纬度之间的距离 roadrunners 计算纬度LBS经度距离
    要解决这个问题的时候，到网上查了很多方案，最后计算出来的都与百度计算出来的有出入。下面这个公式计算出来的距离和百度计算出来的距离是一致的。 /** * * @param longitudeA * 经度A点 * @param latitudeA * 纬度A点 * @param longitudeB *
  • 最具争议的10个Java话题 tomcat_oracle java
    1、Java8已经到来。什么！？ Java8 支持lambda。哇哦，RIP Scala！ 　　随着Java8 的发布，出现很多关于新发布的Java8是否有潜力干掉Scala的争论，最终的结论是远远没有那么简单。Java8可能已经在Scala的lambda的包围中突围，但Java并非是函数式编程王位的真正觊觎者。 　 　2、Java 9 即将到来 　　 Oracle早在8月份就发布
  • zoj 3826 Hierarchical Notation(模拟) 阿尔萨斯 rar
    题目链接：zoj 3826 Hierarchical Notation 题目大意：给定一些结构体，结构体有value值和key值，Q次询问，输出每个key值对应的value值。 解题思路：思路很简单，写个类词法的递归函数，每次将key值映射成一个hash值，用map映射每个key的value起始终止位置，预处理完了查询就很简单了。 这题是最后10分钟出的，因为没有考虑value为{}的情
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他