针对zkVM中Memory Consistency Checks的Polynomial IOPs

2023-11-01 14:44

本文主要是介绍针对zkVM中Memory Consistency Checks的Polynomial IOPs,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 引言

主要参考Yuncong Zhang等人2023年论文《Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines》。

在设计zkvm时,需检查其所有组件的功能一致性,包括:

  • instruction fetcher
  • 寄存器文件
  • 算术化逻辑单元
  • 内存

其中最具挑战的技术协议为Memory consistency check(MCC),其复杂性根源在于内存的history-dependent属性:

  • 内存访问的输出,取决于其输入的整个历史。

该属性,导致MCC比其它协议更资源密集。

本文重点关注内存随机访问——zkVM中不可或缺且昂贵的部分:

  • Memory consistency checks(MCC),用于验证内存功能正确性的协议。
  • Permem:现有设计的瓶颈在于对整个memory trace排序,Permem通过引入address cycle方法来解决该瓶颈,其需要更少的building blocks,以及更少的online polynomial oraces和evaluation queries。
  • gcq:为一种新的lookup argument,是MCC的关键building block,相比于cq,其需要更少的online polynomial oracles。

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

这篇关于针对zkVM中Memory Consistency Checks的Polynomial IOPs的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/323724

相关文章

一些数学经验总结——关于将原一元二次函数增加一些限制条件后最优结果的对比(主要针对公平关切相关的建模)

1.没有分段的情况 原函数为一元二次凹函数(开口向下),如下: 因为要使得其存在正解,必须满足,那么。 上述函数的最优结果为:,。 对应的mathematica代码如下: Clear["Global`*"]f0[x_, a_, b_, c_, d_] := (a*x - b)*(d - c*x);(*(b c+a d)/(2 a c)*)Maximize[{f0[x, a, b,

VB和51单片机串口通信讲解(只针对VB部分)

标记:该篇文章全部搬自如下网址:http://www.crystalradio.cn/thread-321839-1-1.html,谢谢啦            里面关于中文接收的部分,大家可以好好学习下,题主也在研究中................... Commport;设置或返回串口号。 SettingS:以字符串的形式设置或返回串口通信参数。 Portopen:设置或返回串口

【工具分享】针对加解密综合利用后渗透工具 - DecryptTools

下载地址: 链接: https://pan.quark.cn/s/2e451bd65d79 工具介绍 支持22种OA、CMS 加解密+密码查询功能 万户OA用友NC金蝶EAS蓝凌OA致远OA宏景ERP湖南强智金和jc6 瑞友天翼金和C6 Navicat华天动力 FinalShell亿赛通帆软报表H3C CASWeblogic金蝶云星空新华三IMC金盘 OP

如何针对微信下载页面进行优化提高转化率

不知大家是否有过这样的体验,告诉用户App下载地址,用户跑过来说: “不能下载啊!” 你再三检查,重复试验,100%能下载啊,什么鬼? 再一问,原来是用户直接在微信里点了下载,而微信浏览器是屏蔽下载的。虽然微信已经很普及了,但是并不是每个用户都知道“从浏览器中打开”的,尤其是爸妈级别的。 因此,当我们应用下载页面有可能会在微信里出现时,我们最好要针对微信进行优化,从而引导

Wycheproof:一款针对加密代码库的安全强度测试工具

关于Wycheproof Wycheproof是一款功能强大的加密代码库安全强度检测工具,广大研究人员可以使用Wycheproof来测试加密库的安全健壮度。 工具背景 在密码学中,微小的错误往往会带来灾难性的后果。我们发现,许多加密库频繁陷入这些实施陷阱,且问题常常持续很长时间。然而,获得可靠的实施指南非常困难,因为安全地实现密码学需要深入理解几十年的学术研究。我们意识到,软件

笔记整理—uboot番外(6)针对x210的网卡说明

对于x210而言,在三星中与九鼎官方的uboot都默认使用了二号串口。详见CONFIG_SERIALn(n=1~4)。         更改串口后,应先插回原串口,进行iROM打印,内部iNnad校验核失败的信息,之后再插入其串口进行启动。         修改CCONFIG_NETMASK等多个宏可以修改默认的网络环境。在进行完成修改后,如果依旧没进行改变,则应对iNand

Learning Memory-guided Normality for Anomaly Detection——学习记忆引导的常态异常检测

又是一篇在自编码器框架中研究使用记忆模块的论文,可以看做19年的iccv的论文的衍生,在我的博客中对19年iccv这篇论文也做了简单介绍。韩国人写的,应该是吧,这名字听起来就像。 摘要abstract 我们解决异常检测的问题,即检测视频序列中的异常事件。基于卷积神经网络的异常检测方法通常利用代理任务(如重建输入视频帧)来学习描述正常情况的模型,而在训练时看不到异常样本,并在测试时使用重建误

【论文分享】GPU Memory Exploitation for Fun and Profit 24‘USENIX

目录 AbstractIntroductionResponsible disclosure BackgroundGPU BasicsGPU architectureGPU virtual memory management GPU Programming and ExecutionGPU programming modelGPU kernelDevice function NVIDIA

Android学习博客列表(针对全面源码,framwork,应用)(1)

1.android build系统理解 http://www.ibm.com/developerworks/cn/opensource/os-cn-android-build/ 2.Android binder理解 编译系统 http://www.cloudchou.com/category/android 3.Android编译系统参考手册  http://andr

FUSEE: A Fully Memory-Disaggregated Key-Value Store——论文阅读

FAST 2023 Paper 论文阅读笔记整理 问题 分布式内存键值(KV)存储正在采用分离式内存(DM)体系结构以提高资源利用率。然而,现有的DM上的KV存储采用半分离式设计,在DM上存储KV对,但在单个元数据服务器上管理元数据,因此仍然在元数据服务器上遭受低资源效率的问题。 如图1a,Clover[60]采用半分离式设计,在计算节点(CN)上部署客户端,在内存节点(MN)上存储KV对,