TritonVM——基于Recursive STARK的虚拟机

最新推荐文章于 2024-09-27 20:57:42 发布
最新推荐文章于 2024-09-27 20:57:42 发布
阅读量235 收藏
点赞数
分类专栏： zkVM 文章标签： 零知识证明
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mutourend/article/details/126155121
版权

1. 引言

TritonVM为：

  • Algebraic Execution Tables（AET）
  • Arithmetic Intermediate Representations（AIR）
  • STARK proof system

三者结合的虚拟机。
TritonVMs定义了：

  • 图灵完备的指令集架构——为具有RAM的stack machine，为具有read-only memory for program的哈佛架构。
  • VM的arithmetization
  • 可实现recursive verification of STARK proofs

开源代码见：

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

mutourend
关注
专栏目录
Linux基础——基于deepin系统
weixin_43213658的博客
12-19 2369
Linux创建分区： swap分区=内存（4096KB=4G) 创建一个根分区/ ext4 size200 maxmim 主分区 encripy加密解密 ___保证了物理安全性（不建议） desktop Linux_检查依赖性 内核版本，.el6从红帽抄的代码，.i686 32位 GPL开源软件的协议 kdump死机时，拷贝内存，形成一个镜像 enable kdump edit-pref...
target情感分类（0，+，-）——Adaptive recursive neurall network for target-dependent sentiment classification
CodeTutor
07-18 2149
hahhahha
VMProtectTest:VMProtect测试
03-12
用Triton分析vmprotect 出局： : 待办事项：使cfg为IR，IR优化，IR-> x86，mul处理程序
postgresql——WITH RECURSIVE
weixin_43993065的博客
07-21 4347
文章目录前言准备工作实验WITH RECURSIVE 使用限制总结 前言 RECURSIVE，递归查询。他将WITH从单纯的句法便利变成了一种在标准SQL中不能完成的特性。通过使用RECURSIVE，一个WITH查询可以引用它自己的输出。 准备工作 CREATE TABLE "resource" ( "id" int4 NOT NULL constraint resource_pk primary key, "name" text, "parent_id" int4 ); INSERT INT
正则引擎入门——基于虚拟机的正则匹配(一)
Lw的博客
01-04 1058
前言　　整篇文章是对作者Russ Cox的文章Regular Expression Matching: the Virtual Machine Approach的翻译，在我看来，该文章是入门正则引擎的较好的文章之一，读者在阅读之前，最好有一定的正则表达式的基础。翻译内容仅代表作者观点。侵删 　　该作者所有的文章的网址在此：https://swtch.com/~rsc/regexp/正文介绍　　说出
Lurk——Recursive zk-SNARKs编程语言
mutourend的博客
09-15 482
Lurk——Recursive zk-SNARKs编程语言。
C++抽象编程——递归简介（3）——The recursive leap of faith
redAnt的博客
03-09 1296
从上一篇的递归简介中的阶乘函数，我们可以看出来，计算机对待每一个fact函数都是一样的。
【Boost】boost库中thread多线程详解4——谈谈recursive_mutex
liujiayu2的专栏
01-26 1566
如果一个线程中可能在执行中需要再次获得锁的情况（例子：test_thread_deadlock），按常规的做法会出现死锁。 此时就需要使用递归式互斥量boost::recursive_mutex，例子（test_thread_recursivelock）来避免这个问题。boost::recursive_mutex不会产生上述的死锁问题，只是是增加锁的计数，但必须确保你unlock和lock的次数
ROS学习笔记——基于Prometheus无人机开源项目仿真环境配置
qq_52199356的博客
09-23 2904
本笔记基于ubuntu18.04版本，且已经在电脑上安装了ROS，Mavros功能包，其余可参考Amov教程， https://github.com/amov-lab/Prometheus/wiki/%E5%AE%89%E8%A3%85%E5%8F%8A%E7%BC%96%E8%AF%91https://github.com/amov-lab/Prometheus/wiki/%E5%AE%89%E8%A3%85%E5%8F%8A%E7%BC%96%E8%AF%91...
Prim:Prim 编程语言，基于 Primitive Recursive 函数集
06-17
Prim编程语言基于。 由于我一直将术语缩写为“Prim R”，因此向似乎是合理的，他的工作几乎完全无关。 警告 不要用这个。 该建议将来可能会发生变化，但此时要使用 Prim 存在一些严重的障碍。 这段代码很旧（我不...
recursive-password-generator:0依赖性，基于单词游戏单词列表的递归密码生成器
04-27
使用在网站[ ]的世界列表中找到的单词 没有外部依赖 使用与节点版本> = 7.6兼容的异步（包含默认ASYNC） let randomPass = require ( 'wordlist-password-generator' ) ; /** * (4) Number of letters you want ...
学习笔记之——基于深度学习的图像超分辨率重建
热门推荐
gwpscut的博客
10-13 8万+
最近开展图像超分辨率（Image Super Resolution）方面的研究，做了一些列的调研，并结合本人的理解总结成本博文~（本博文仅用于本人的学习笔记，不做商业用途） 本博文涉及的paper已经打包，供各位看客下载哈~https://download.csdn.net/download/gwplovekimi/10728916 目录 超分辨率（Super Reso...
机器学习——基于R的svm练习
Dzfly
03-22 5290
步骤1. 数据预处理2. 建模1. linear2. polynomial3. radial basis4. sigmoid3. 模型选择4. 特征选择5. 完整代码 本文参考：《精通机器学习：基于R》5.3节 数据集来自R包（MASS），包含了532位女性的信息，存储在两个数据框中，具体变量表述如下： npreg：怀孕次数 glu：血糖浓度， 由口服葡萄糖耐量测试给出 bp：舒张压 skin：三头肌皮褶厚度 bmi：身体质量指数 ped：糖尿病家族影响因素 age：年龄 type：是否患有糖尿病（y
零知识证明协议---GKR的性质
weixin_43883448的博客
09-23 215
GKR 系统也是一种交互式证明系统，和零知识证明（ZKP）有一些相似之处，特别是在它满足的几个性质上。完备性（Completeness），可靠性（Soundness）和零知识性（Zero knowledge，现有的方案如Virgo++提供零知识的性质）。，证明者几乎不可能欺骗验证者。换句话说，验证者可以检测出不正确的计算结果，即便证明者试图提供错误的证明，验证者也有很高的概率拒绝它。，证明者总能够提供一个有效的证明，验证者总能通过验证。能够通过分层的电路来证明复杂计算的结果，而不需要验证者重新执行计算。
零知识证明当中Witness、Commitment 和 Proof 之间的关系
最新发布
weixin_43883448的博客
09-27 95
是在 commitment 基础上构建的，验证者通过 proof 确认证明者确实持有 witness，并且 witness 满足所需条件，但验证者不能从 proof 中推测出 witness 的具体内容。：是证明者对 witness 做出的隐藏表示，用以保密 witness，但也保证其不可更改。Witness、Commitment 和 Proof 之间的关系。：是证明者用来证明声明为真的关键秘密信息。
基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计
09-27
基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计，含有代码注释，满分课程设计资源，新手也可看懂，期末大作业、课程设计、高分必看，下载下来，简单部署，就可以使用。该项目可以作为课程设计期末大作业使用，该系统功能完善、界面美观、操作简单、功能齐全、管理便捷，具有很高的实际应用价值。 基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计，含有代码注释，满分课程设计资源，新手也可看懂，期末大作业、课程设计、高分必看，下载下来，简单部署，就可以使用。该项目可以作为课程设计期末大作业使用，该系统功能完善、界面美观、操作简单、功能齐全、管理便捷，具有很高的实际应用价值。 基于opencv实现象棋识别及棋谱定位python源码+数据集-人工智能课程设计，含有代码注释，满分课程设计资源，新手也可看懂，期末大作业、课程设计、高分必看，下载下来，简单部署，就可以使用。该项目可以作为课程设计期末大作业使用，该系统功能完善、界面美观、操作简单、功能齐全、管理便捷，具有很高的实际应用价值。基于opencv实现象棋识别及棋谱定位python源码+数据集
基于Python实现的Cowrie蜜罐设计源码
09-27
该项目为基于Python实现的Cowrie蜜罐设计源码，共计380个文件，涵盖166个Python源代码文件，以及包括RST、SQL、YAML、Markdown等多种类型的配置和文档文件。Cowrie蜜罐是一款用于记录暴力攻击和攻击者执行的SSH及Telnet交互的中等交互式蜜罐。
QT 摄像头获取每一帧图像数据以及opencv获取清晰度
09-27
QT 摄像头获取每一帧图像数据以及opencv获取清晰度
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值