基于Towers of Binary Fields的succinct arguments

2023-11-23 08:45
文章标签 arguments binary fields towers succinct

本文主要是介绍基于Towers of Binary Fields的succinct arguments，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

1. 引言

Ulvetanna团队Benjamin E. Diamond和Jim Posen 2023年论文《Succinct Arguments over Towers of Binary Fields》，开源代码见：

  • https://github.com/recmo/binius（Rust + Sage）【基于plonky3等库】

在该论文中：

  • 构建了基于towers of binary fields 的高效SNARK。
  • 基于Brakedown进行了调整，构建了适于tiny域（包括只有2个元素的域）的multilinear多项式承诺方案。
    • 该承诺方案可treat small-field多项式 with zero embedding overhead。
  • 对HyperPlonk的product和permutation check、以及Lasso的lookup，均引入了binary-field调整版本。
  • binary PLONKish变种，可高效用于标准哈希函数——如Keccak-256和Grøstl。

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
实际bench对比的库为：

  • https://github.com/a16z/Lasso.git
  • https://github.com/0xPolygonZero/plonky2
  • https://bearssl.org/

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

这篇关于基于Towers of Binary Fields的succinct arguments的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/416725。

相关文章

uva 575 Skew Binary（位运算）

uva 575 Skew Binary（位运算）

求第一个以（2^(k+1)-1)为进制的数。 数据不大，可以直接搞。 代码： #include <stdio.h>#include <string.h>const int maxn = 100 + 5;int main(){char num[maxn];while (scanf("%s", num) == 1){if (num[0] == '0')break;int len =
阅读更多...
226 Invert Binary Tree

226 Invert Binary Tree

//226 Invert Binary Tree//算法思路：主要使用递归算法public class Solution {public TreeNode invertTree(TreeNode root) {//1 出口 空节点if (root==null)return null;//2 递归 调用自己TreeNode left = root.left;TreeNode right = ro
阅读更多...
【UVA】10066-The Twin Towers（最长公共子串问题）

【UVA】10066-The Twin Towers（最长公共子串问题）

赤裸裸的最长公共子串问题，没什么好说的，注意的是，每组数据后面都有一个空行。 13996019 10066 The Twin Towers Accepted C++ 0.015 2014-08-06 00:34:53 #include<cstdio>#include<cstring>#include<iostream>#include<algorithm>using
阅读更多...
【JavaScript】函数中的arguments对象与Rest参数

【JavaScript】函数中的arguments对象与Rest参数

arguments 　　JavaScript函数可以使用任意数量的参数（允许未知数量的函数参数）。在ES6之前，JavaScript有一个变量来访问这些未知或可变数目的参数，这是一个类似数组的对象，并非一个数组，称为arguments，与传递给函数的参数相对应。传递给JavaScript函数的所有参数都可以使用arguments对象来引用。 　　 　　在上面的函数中，num1和num2
阅读更多...
启动读取program arguments参数

启动读取program arguments参数

1，有时我们在启动项目的时候配置了program arguments但是却读取不到，这时用下面的方式启动则可以，我把所有的相关代码都放在了下面，如果觉得没有用的大家可在自己的项目中删除，只是项目启动的时候有点变化 启动主方法 @MapperScan({ "com.kidy.mapper" }) @SpringBootApplication public class RunApplication
阅读更多...
[LeetCode] 863. All Nodes Distance K in Binary Tree

[LeetCode] 863. All Nodes Distance K in Binary Tree

题：https://leetcode.com/problems/all-nodes-distance-k-in-binary-tree/ 题目大意 求给树中，距给定 结点 指定长度的 所有结点的val 思路 tree -> graph 、 bfs 先遍历树，并用map记录每个结点的父结点 ，将树变为图，然后 bfs。 /*** Definition for a binary tree
阅读更多...
LeetCode 67 Add Binary

LeetCode 67 Add Binary

题意： 两个二进制数相加，输出结果 思路： 各种模拟均可，比如先把A和B倒过来，再按位相加，最后把结果再倒回来。 不过为了快，我是这样做的——假设A比B长，那么我对位相加B的长度。这时如果没有进位，那么A长出B的部分就不会变了；如果有进位，那么继续往A的高位加，直到某一次进位为0，那么更高位的A就不变了；如果直到最后还有进位，那就最前面添加一个最高位1。 代码： cla
阅读更多...
Classical Binary Search

Classical Binary Search

Find any position of a target number in a sorted array. Return -1 if target does not exist. Example Example 1: Input: nums = [1,2,2,4,5,5], target = 2Output: 1 or 2 Example 2: Input: nums = [1,
阅读更多...
Cousins in binary tree

Cousins in binary tree

Input: root = [1,2,3,null,4,null,5], x = 5, y = 4Output: true Input: root = [1,2,3,4], x = 4, y = 3Output: false 思路：就是level order traverse，BFS，记录一下parent, curNode, Depth; /*** Definition for
阅读更多...
Average of Levels in Binary Tree

Average of Levels in Binary Tree

Input:3/ \9 20/ \15 7Output: [3, 14.5, 11]Explanation:The average value of nodes on level 0 is 3, on level 1 is 14.5, and on level 2 is 11. Hence return [3, 14.5, 11]. 思路：就是一个level order trav
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2