BabySpartan:对non-uniform computation的Lasso-based SNARK

1. 引言

前序博客有:

  • Lasso、Jolt 以及 Lookup Singularity——Part 1
  • Lasso、Jolt 以及 Lookup Singularity——Part 2
  • 深入了解Lasso+Jolt
  • multilinear多项式承诺方案benchmark对比

见Srinath Setty和Justin Thaler 2023年论文《BabySpartan: Lasso-based SNARK for non-uniform computation》。

Lasso为Justin Thaler等人最近提出的lookup argument:

  • 用于Prover仅对“small” values做密码学承诺的场景。

BabySpartan为:

  • 对针对具备相同属性(即,Prover仅对“small” values做密码学承诺的场景)的约束系统的SNARK。
    • 支持通用Plonkish约束系统。
    • 支持特殊的 customizable constraint systems (CCS)。
  • 为SuperSpartan + Lasso。
  • BabySpartan可看成是:将Lasso用于non-uniform computation。
    • Jolt可看成是:将Lasso用于uniform computation。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/196105.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

协同过滤算法:个性化推荐的艺术与科学

目录 引言: 一、协同过滤算法的基本原理 二、协同过滤算法的应用领域 三、协同过滤算法的优缺点 四、协同过滤算法的未来发展方向 五、结论 引言: 在当今数字化时代,信息过载成为了一个普遍的问题。为了帮助人们更好地发现符合个性化需…

HTTP 和 HTTPS的区别

一、HTTP 1.明文传输,不安全 2.默认端口号:80 3.TCP三次握手即可 二、HTTPS 1.加密传输,更安全(在HTTP层与TCP层之间加上了SSL/TTL安全协议) SSL和TTL是在不同时期的两种叫法,含义相同。 2.默认端口号:443 3.TCP三…

【广州华锐互动】风电场检修VR情景模拟提供接近真实的实操体验

风电场检修VR情景模拟系统由广州华锐互动开发,这是一种新兴的培训方式,它通过虚拟现实技术将风力发电场全范围进行1:1仿真建模还原,模拟监视风力发电场各种运行工况下的运行参数和指标,同时可进行升压站系统的巡视,倒闸…

Windows系列:Zabbix agent一键部署-windows版本(windows 安装zabbix客户端安装、bat文件修改文件内容)

Zabbix agent一键部署-windows版本(windows 安装zabbix客户端安装、bat文件修改文件内容) 一. Zabbix agent一键部署-windows版本二. windows 安装zabbix客户端安装1.下载安装zabbix agent2.配置zabbix agent2.1 修改配置文件2.2 将zabbix agent安装为wi…

windows系统配置别名

习惯了linux下的别名管理机制,而windows下却没有类似的功能。我看有些博客介绍说windows下配置别名还得修改注册表,太麻烦了(个人认为,windows的这一套,终究会被抛弃)。我自己摸索出一条比较便利的方式。 …

同旺科技 USB TO SPI / I2C --- 调试W5500_TCP Client接收数据

所需设备: 内附链接 1、USB转SPI_I2C适配器(专业版); 首先,连接W5500模块与同旺科技USB TO SPI / I2C适配器,如下图: 发送数据6个字节的数据:0x11,0x22,0x33,0x44,0x55,0x66 在专业版调试软件中编辑指令&#xff0c…

坦克大战-部分

通过键盘操控坦克移动,转弯,射击 消灭所有敌人可以过关 23个类,3个gif图片 wsad控制移动 j射击 砖墙限制移动,可以打穿;铁墙,限制移动,不能打穿;水&#x…

【PyTorch】多层感知机

文章目录 1. 模型和代码实现1.1. 模型1.1.1. 背景1.1.2. 多层感知机1.1.3. 激活函数 1.2. 代码实现1.2.1. 完整代码1.2.2. 输出结果 2. Q&A 1. 模型和代码实现 1.1. 模型 1.1.1. 背景 许多问题要使用线性模型,但无法简单地通过预处理来实现。此时我们可以通过…

智能联动第三方告警中心,完美实现故障响应全闭环

前言 我们曾讨论完善的告警策略是整个数据监控系统的重要组成部分(参见《机智的告警策略,完善监控系统的重要一环》),介绍了如何配置告警通知以及场景示例,帮助用户及时更多潜在的故障和问题,有效地保障系…

Windows server系列:将windows server2019打造成个人操作系统

一、组策略 WIN键R键,输入gpedit.msc,进入组策略设置。      1、计算机配置,Windows设置,安全设置,帐户策略,密码策略:“密码必须符合复杂性要求”,设置为"已禁用"。…

力扣labuladong一刷day26天常数时间访问删除操作数组

力扣labuladong一刷day26天常数时间访问删除操作数组 文章目录 力扣labuladong一刷day26天常数时间访问删除操作数组一、380. O(1) 时间插入、删除和获取随机元素二、710. 黑名单中的随机数 一、380. O(1) 时间插入、删除和获取随机元素 题目链接:https://leetcode…

Linux 统计命令Netstat详解

一、查看本机IP连接 netstat -anp netstat常见参数 -a (all)显示所有选项,默认不显示LISTEN相关 -t (tcp)仅显示tcp相关选项 -u (udp)仅显示udp相关选项 -n 拒绝显示别名,能显示数字的全部转化成数字。 -l 仅列出有在 Listen (监听) 的服務状态 -p 显示…

Redis 之 ZSET 实战应用场景,持续更新!

前言 大白话介绍 Redis 五大基本数据类型之一的 ZSET 开发中常见的应用场景 ZSET 介绍 ZSET 与 SET 相同点:都是是 String类型元素的集合,且不允许重复的成员ZSET 与 SET 不同点:ZSET 每个元素都会关联一个 Double 类型的分数,Re…

Latex去掉参考文献后面的参考文献所在页(去掉参考文献的反向超链接)

如下: 在使用latex插入参考文献的时候,最后面总是会出现这种代号。这是表明的是这条参考文献所在的页码,并且点击之后可以跳转到该页。正式来讲,这个叫超链接的BACKREF。若要去掉,只需要在引用hyperref的时候去掉page…

技术or管理?浅谈软件测试人员的未来职业发展,值得借鉴

我们在工作了一段时间之后,势必会感觉到自己已经积累了一些工作经验了,会开始考虑下一阶段的职业生涯会如何发展。测试人员在职业生涯中的不确定因素还是不少的,由于其入门门槛不高,不用学习太多技术性知识即可入行,所…

Net8 EFCore Mysql 连接

一、安装插件 Pomelo.EntityFrameworkCore.MySq (这里要选8.0.0以上版本低版本不支持.net8) 二、配置数据库连接串 appsettings.json 中配置数据库连接串 "ConnectionStrings": {"Connection": "server172.18.2.183;port3306;databasestudents;uid…

webpack打包体积优化,减少白屏时间

webpack打包体积优化 加载慢原因分析及解决 一个是打包体积的优化,另一个是代码层面的优化 1》首先通过Network面板发现vendor.js体积过大,网路良好情况下加载时间太长),vendor体积太大,加载花了3s?后来…

使用opencv将8位图像raw数据转成bmp文件的方法

作者&#xff1a;朱金灿 来源&#xff1a;clever101的专栏 为什么大多数人学不会人工智能编程&#xff1f;>>> 这里说的图像raw数据是只包含图像数据的缓存。主要使用了cv::imencode接口将 cv::Mat转化为图像缓存。 #include <opencv2/opencv.hpp>/* 生成一幅…

【若依框架实现上传文件组件】

若依框架中只有个人中心有上传图片组件&#xff0c;但是这个组件不适用于el-dialog中的el-form表单页面 于是通过elementui重新写了一个上传组件&#xff0c;如图是实现效果 vue代码 <el-dialog :title"title" v-model"find" width"600px"…

Pytorch进阶教学——训练一个图像分类模型(GPU)

目录 1、前言 2、数据集介绍 3、获取数据 4、创建网络 5、训练模型 6、测试模型 6.1、测试整个模型准确率 6.2、测试单张图片 1、前言 编写一个可以分类蚂蚁和蜜蜂图片的模型&#xff0c;使用数据集对卷积神经网络进行训练。训练后的模型可以对蚂蚁或蜜蜂的图片进行…