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）是一种网络设备，它可以在私有网络和公共网络之间进行地址转换，从而使得内部网络中的设备能够与外部网络进…...
图片压缩与懒加载的完美结合：提升网站性能的终极指南
图片压缩与懒加载的完美结合：提升网站性能的终极指南 【免费下载链接】compressorjs compressorjs: 是一个JavaScript图像压缩库，使用浏览器原生的canvas.toBlob API进行图像压缩。 项目地址: https://gitcode.com/gh_mirrors/co/compressorjs 在…...
pythondjango心理咨询vue
目录Python Django 心理咨询系统功能分析后端（Django）功能模块前端（Vue.js）功能模块技术实现关键点扩展功能建议项目技术支持源码获取详细视频演示 ：文章底部获取博主联系方式！同行可合作Python Django 心理…...
从一条SQL到HDFS文件：手把手拆解Hive在YARN上的完整‘跑路’流程
从一条SQL到HDFS文件：手把手拆解Hive在YARN上的完整执行链路 当你在Beeline客户端输入一条看似简单的HiveQL查询时，背后究竟发生了什么？这条SQL如何穿越层层组件，最终变成分布式文件系统上的数据块操作？本文将带你以系…...
Windows Cleaner：智能存储管理解决方案让C盘空间释放效率提升60%
Windows Cleaner：智能存储管理解决方案让C盘空间释放效率提升60% 【免费下载链接】WindowsCleaner Windows Cleaner——专治C盘爆红及各种不服！ 项目地址: https://gitcode.com/gh_mirrors/wi/WindowsCleaner 当系统频繁弹出"磁盘空间不足&q…...
FPGA小白也能懂：用Verilog在Xilinx Vivado里驱动HC-SR04超声波模块（附完整仿真）
FPGA实战：从零构建超声波测距系统（VerilogVivado全流程解析） 第一次接触FPGA时，最让人头疼的莫过于如何将抽象的硬件描述语言转化为实际可运行的电路。去年我在指导电子设计竞赛时，发现学生们对超声波模块的应用需求很…...
Exo分布式AI集群架构深度解析：多节点选举与容错机制实现原理
Exo分布式AI集群架构深度解析：多节点选举与容错机制实现原理 【免费下载链接】exo Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚ 项目地址: https://gitcode.com/GitHub_Trending/exo8/exo Exo是一…...
wpa_supplicant与eloop机制：如何用C语言实现高效事件驱动框架
wpa_supplicant与eloop机制：如何用C语言实现高效事件驱动框架 在当今高并发的网络编程领域，事件驱动模型因其高效的资源利用率和出色的响应能力，已成为构建高性能系统的首选架构。wpa_supplicant作为Linux平台下广泛使用的无线认证客户端&am…...
i.MX6ULL镜像制作避坑指南：为什么你的SD卡启动失败？从分区表到文件系统的深度解析
i.MX6ULL镜像制作避坑指南：为什么你的SD卡启动失败？从分区表到文件系统的深度解析 当你在深夜调试i.MX6ULL开发板，反复确认每个步骤都按教程操作，却依然遭遇SD卡启动失败时，那种挫败感每个嵌入式开发者都深有体会。本文…...
Kronos时间序列预测模型全攻略：从技术原理到工业实践
Kronos时间序列预测模型全攻略：从技术原理到工业实践 【免费下载链接】Kronos Kronos: A Foundation Model for the Language of Financial Markets 项目地址: https://gitcode.com/GitHub_Trending/kronos14/Kronos 问题：时间序列预测的行业痛点…...
从演唱会踩踏到交通拥堵：我们如何用无人机双光人群计数，为城市装上‘智慧之眼’？
无人机双光人群计数：城市安全管理的智能升级之路 当夜幕降临，体育场外数万观众正陆续离场，安保指挥中心的大屏上闪烁着红黄相间的热力图——这不是科幻电影的场景，而是某省会城市在明星演唱会后的真实一幕。通过部署在关键节点的1…...