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）是一种网络设备，它可以在私有网络和公共网络之间进行地址转换，从而使得内部网络中的设备能够与外部网络进…...
【Axure高保真原型】引导弹窗
今天和大家中分享引导弹窗的原型模板，载入页面后，会显示引导弹窗，适用于引导用户使用页面，点击完成后，会显示下一个引导弹窗，直至最后一个引导弹窗完成后进入首页。具体效果可以点击下方视频观看或打开下方…...
深入理解JavaScript设计模式之单例模式
目录 什么是单例模式为什么需要单例模式常见应用场景包括 单例模式实现透明单例模式实现不透明单例模式用代理实现单例模式javaScript中的单例模式使用命名空间使用闭包封装私有变量 惰性单例通用的惰性单例 结语 什么是单例模式 单例模式（Singleton Pattern&#…...
【算法训练营Day07】字符串part1
文章目录 反转字符串反转字符串II替换数字 反转字符串 题目链接：344. 反转字符串 双指针法，两个指针的元素直接调转即可 class Solution {public void reverseString(char[] s) {int head 0;int end s.length - 1;while(head < end) {char temp …...
相机从app启动流程
一、流程框架图 二、具体流程分析 1、得到cameralist和对应的静态信息 目录如下： 重点代码分析： 启动相机前，先要通过getCameraIdList获取camera的个数以及id，然后可以通过getCameraCharacteristics获取对应id camera的capabilities（静态信息）进行一些openCamera前的…...
Reasoning over Uncertain Text by Generative Large Language Models
https://ojs.aaai.org/index.php/AAAI/article/view/34674/36829https://ojs.aaai.org/index.php/AAAI/article/view/34674/36829 1. 概述 文本中的不确定性在许多语境中传达，从日常对话到特定领域的文档（例如医学文档）（Heritage 2013；Landmark、Gulbrandsen 和 Svenevei…...
HashMap中的put方法执行流程（流程图）
1 put操作整体流程 HashMap 的 put 操作是其最核心的功能之一。在 JDK 1.8 及以后版本中，其主要逻辑封装在 putVal 这个内部方法中。整个过程大致如下： 初始判断与哈希计算： 首先，putVal 方法会检查当前的 table（也就…...
Fabric V2.5 通用溯源系统——增加图片上传与下载功能
fabric-trace项目在发布一年后，部署量已突破1000次，为支持更多场景，现新增支持图片信息上链，本文对图片上传、下载功能代码进行梳理，包含智能合约、后端、前端部分。 一、智能合约修改 为了增加图片信息上链溯源，需要对底层数据结构进行修改，在此对智能合约中的农产品数…...
Docker 本地安装 mysql 数据库
Docker: Accelerated Container Application Development 下载对应操作系统版本的 docker ；并安装。 基础操作不再赘述。 打开 macOS 终端，开始 docker 安装mysql之旅 第一步 docker search mysql 》〉docker search mysql NAME DE…...
在鸿蒙HarmonyOS 5中使用DevEco Studio实现企业微信功能
1. 开发环境准备 安装DevEco Studio 3.1： 从华为开发者官网下载最新版DevEco Studio安装HarmonyOS 5.0 SDK 项目配置： // module.json5 {"module": {"requestPermissions": [{"name": "ohos.permis…...
数据库正常，但后端收不到数据原因及解决
从代码和日志来看，后端SQL查询确实返回了数据，但最终user对象却为null。这表明查询结果没有正确映射到User对象上。 在前后端分离，并且ai辅助开发的时候，很容易出现前后端变量名不一致情况，还不报错，只是单…...