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
相关文章：
SP1：基于Plonky3构建的zkVM
1. 引言 SP1为SuccictLab开源的，基于Plonky3构建的zkVM。 开源代码见： https://github.com/succinctlabs/sp1（Rust） 当前暂未实现onchain-verifier，但会采用标准的STARK->SNARK verifier。 SP1 zkVM基于的指令…...
Python爬虫之文件存储#5
爬虫专栏：http://t.csdnimg.cn/WfCSx 文件存储形式多种多样，比如可以保存成 TXT 纯文本形式，也可以保存为 JSON 格式、CSV 格式等，本节就来了解一下文本文件的存储方式。 TXT 文本存储 将数据保存到 TXT 文本的操作非常简单&am…...
Spring Boot 笔记 012 创建接口_添加文章分类
1.1.1 实体类添加校验 package com.geji.pojo;import jakarta.validation.constraints.NotEmpty; import lombok.Data;import java.time.LocalDateTime;Data public class Category {private Integer id;//主键IDNotEmptyprivate String categoryName;//分类名称NotEmptypriva…...
Spring-面试题
一、Spring 1、Spring的优势 通过IOC、AOP简化java开发 IOC减低业务对象替换的复杂性，降低耦合AOP允许将一些通用的事务、日志进行集中处理，从而提高更好的复用性Spring生态圈低嵌入式涉及，代码污染小高度开放性，用的人多2、Spring的核心 IOC控制反转： Spring容器为我们创…...
Flink理论—容错之状态
Flink理论—容错之状态 在 Flink 的框架中，进行有状态的计算是 Flink 最重要的特性之一。所谓的状态，其实指的是 Flink 程序的中间计算结果。Flink 支持了不同类型的状态，并且针对状态的持久化还提供了专门的机制和状态管理器。 Flink 使用…...
【数据结构】链表OJ面试题5《链表的深度拷贝》(题库+解析)
1.前言 前五题在这http://t.csdnimg.cn/UeggB 后三题在这http://t.csdnimg.cn/gbohQ 给定一个链表，判断链表中是否有环。http://t.csdnimg.cn/Rcdyc 给定一个链表，返回链表开始入环的第一个结点。 如果链表无环，则返回 NULLhttp://t.cs…...
智慧校园规划建设方案
校园信息化建设呈现智能化、应用多样化发展趋势，多种技术和应用交叉渗透至校园生活的各个方面，全面的智慧校园时代已经到来。 对智慧校园的四大应用领域分析 智慧的教学 信息共享交互：建立信息发布、共享、传播与交互的公共平台 教学流程…...
003 - Hugo, 创建文章
003 - Hugo, 创建文章创建文章单个md文件md文件图片总结 文章内容Front Matter文章目录数学公式的显示KaTeXMathJax 图片 003 - Hugo, 创建文章 创建文章 单个md文件 创建文章的方式： 手动创建：在post目录下，手动创建md文件。命令创建&am…...
HCIA-HarmonyOS设备开发认证V2.0-IOT硬件子系统-GPIO
目录 一、GPIO 概述二、GPIO模块相关API三、实例四、GPIO HDF驱动开发4.1、LED驱动程序(待续...)4.2、LED驱动配置(待续...) 坚持就有收获 轻量系统设备通常需要进行外设控制，例如温湿度数据的采集、灯开关的控制，因此在完成内核开发后，需要进…...
《Java 简易速速上手小册》第7章：Java 网络编程（2024 最新版）
文章目录 7.1 网络基础和 Java 中的网络 - 揭开神秘的面纱7.1.1 基础知识7.1.2 重点案例：实现一个简单的聊天程序7.1.3 拓展案例 1：使用 UDP 进行消息广播7.1.4 拓展案例 2：建立一个简单的 Web 服务器 7.2 创建客户端和服务器 - 构建沟通的桥…...
用keras对电影评论进行情感分析
文章目录 下载IMDb数据读取IMDb数据建立分词器将评论数据转化为数字列表让转换后的数字长度相同加入嵌入层建立多层感知机模型加入平坦层加入隐藏层加入输出层查看模型摘要 训练模型评估模型准确率进行预测查看测试数据预测结果完整函数用RNN模型进行IMDb情感分析用LSTM模型进行…...
每日OJ题_算法_递归④力扣24. 两两交换链表中的节点
目录 ④力扣24. 两两交换链表中的节点 解析代码 ④力扣24. 两两交换链表中的节点 24. 两两交换链表中的节点 难度 中等 给你一个链表，两两交换其中相邻的节点，并返回交换后链表的头节点。你必须在不修改节点内部的值的情况下完成本题（即…...
110 C++ decltype含义，decltype 主要用途
一，decltype 含义和举例 decltype有啥返回啥，auto则不一样，auto可能会舍弃一些东西。 decltype 是 C11提出的说明符。主要作用是：返回操作数的数据类型。 decltype 是用来推导类型，decltype对于一个给定的 变量名或…...
PYTHON 120道题目详解（85-87）
85.Python中如何使用enumerate()函数获取序列的索引和值？ enumerate()函数是Python的内置函数，它可以将一个可遍历的数据对象(如列表、元组或字符串)组合为一个索引序列，同时列出数据和数据下标，一般用在for循环当中。 以下是一个…...
【Linux】Linux编译器-gcc/g++ Linux项目自动化构建工具-make/Makefile
目录 Linux编译器-gcc/g使用 1.背景知识 Linux中头文件的目录在 Linux 库 条件编译的典型应用 2.gcc如何完成 动态库 vs 静态库 debug && release Linux项目自动化构建工具-make/Makefile 背景 用法 特殊符号 Linux编译器-gcc/g使用 1.背景知识 预处理&am…...
sqlserver 子查询 =,in ,any,some,all的用法
在 SQL Server 中，子查询常用于嵌套在主查询中的子句中，以便根据子查询的结果集来过滤主查询的结果，或者作为主查询的一部分来计算结果。 以下是 、IN、ANY、SOME 和 ALL 运算符在子查询中的用法示例： 使用 运算符进行子查询&a…...
基于MapVGL的地理信息三维度数据增长可视化
写在前面 工作中接触，简单整理博文内容为 基于MapVGL的地理信息维度数据增长可视化 Demo理解不足小伙伴帮忙指正 对每个人而言，真正的职责只有一个：找到自我。然后在心中坚守其一生，全心全意，永不停息。所有其它的路都…...
天锐绿盾｜防泄密系统｜计算机文件数据\资料安全管理软件
“天锐绿盾”似乎是一款专注于防泄密和计算机文件数据/资料安全管理的软件。在信息安全日益受到重视的今天，这样的软件对于保护企业的核心数据资产和防止敏感信息泄露至关重要。 通用地址：www.drhchina.com 防泄密系统的主要功能通常包括： 文…...
leetcode刷题（罗马数字转数字）
1.题目描述 2.解题思路 这时候已经给出了字母对应的数字，我们只需要声明一个字典，将罗马数字和数字之间的对应关系声明即可。其中可能涉及到会出现两个连续的罗马字母代表一个数字，这时候我们需要判断遍历的字符和将要遍历的下一个字符是否存…...
什么是NAT网关？联通云NAT网关有什么优势
在当今云计算时代，网络安全和连接性是企业发展的关键因素之一。NAT网关（Network Address Translation Gateway）是一种网络设备，它可以在私有网络和公共网络之间进行地址转换，从而使得内部网络中的设备能够与外部网络进…...
网络编程（Modbus进阶）
思维导图 Modbus RTU（先学一点理论） 概念 Modbus RTU 是工业自动化领域 最广泛应用的串行通信协议，由 Modicon 公司（现施耐德电气）于 1979 年推出。它以 高效率、强健性、易实现的特点成为工业控制系统的通信标准。 包…...
手游刚开服就被攻击怎么办？如何防御DDoS？
开服初期是手游最脆弱的阶段，极易成为DDoS攻击的目标。一旦遭遇攻击，可能导致服务器瘫痪、玩家流失，甚至造成巨大经济损失。本文为开发者提供一套简洁有效的应急与防御方案，帮助快速应对并构建长期防护体系。 一、遭遇攻击的紧急应…...
7.4.分块查找
一.分块查找的算法思想： 1.实例： 以上述图片的顺序表为例， 该顺序表的数据元素从整体来看是乱序的，但如果把这些数据元素分成一块一块的小区间， 第一个区间[0,1]索引上的数据元素都是小于等于10的， 第二…...
超短脉冲激光自聚焦效应
前言与目录 强激光引起自聚焦效应机理 超短脉冲激光在脆性材料内部加工时引起的自聚焦效应，这是一种非线性光学现象，主要涉及光学克尔效应和材料的非线性光学特性。 自聚焦效应可以产生局部的强光场，对材料产生非线性响应，可能…...
阿里云ACP云计算备考笔记 (5)——弹性伸缩
目录 第一章 概述 第二章 弹性伸缩简介 1、弹性伸缩 2、垂直伸缩 3、优势 4、应用场景 ① 无规律的业务量波动 ② 有规律的业务量波动 ③ 无明显业务量波动 ④ 混合型业务 ⑤ 消息通知 ⑥ 生命周期挂钩 ⑦ 自定义方式 ⑧ 滚的升级 5、使用限制 第三章 主要定义 …...
线程同步：确保多线程程序的安全与高效！
全文目录： 开篇语前序前言第一部分：线程同步的概念与问题1.1 线程同步的概念1.2 线程同步的问题1.3 线程同步的解决方案 第二部分：synchronized关键字的使用2.1 使用 synchronized修饰方法2.2 使用 synchronized修饰代码块 第三部分ÿ…...
（二）TensorRT-LLM | 模型导出（v0.20.0rc3）
0. 概述 上一节 对安装和使用有个基本介绍。根据这个 issue 的描述，后续 TensorRT-LLM 团队可能更专注于更新和维护 pytorch backend。但 tensorrt backend 作为先前一直开发的工作，其中包含了大量可以学习的地方。本文主要看看它导出模型的部分&#x…...
全球首个30米分辨率湿地数据集(2000—2022)
数据简介 今天我们分享的数据是全球30米分辨率湿地数据集，包含8种湿地亚类，该数据以0.5X0.5的瓦片存储，我们整理了所有属于中国的瓦片名称与其对应省份，方便大家研究使用。 该数据集作为全球首个30米分辨率、覆盖2000–2022年时间…...
P3 QT项目----记事本（3.8）
3.8 记事本项目总结 项目源码 1.main.cpp #include "widget.h" #include <QApplication> int main(int argc, char *argv[]) {QApplication a(argc, argv);Widget w;w.show();return a.exec(); } 2.widget.cpp #include "widget.h" #include &q…...
企业如何增强终端安全？
在数字化转型加速的今天，企业的业务运行越来越依赖于终端设备。从员工的笔记本电脑、智能手机，到工厂里的物联网设备、智能传感器，这些终端构成了企业与外部世界连接的 “神经末梢”。然而，随着远程办公的常态化和设备接入的爆炸式…...