首页 > 其他分享 >Practical Product Proofs for Lattice Commitments?

Practical Product Proofs for Lattice Commitments?

时间:2023-11-14 22:31:31浏览次数:32  
标签:Product knowledge over proving Practical Lattice 2018 committed into

Abstract. We construct a practical lattice-based zero-knowledge argument for proving multiplicative

relations between committed values. The underlying commitment scheme that we use is the currently

most efficient one of Baum et al. (SCN 2018), and the size of our multiplicative proof (9KB) is only

slightly larger than the 7KB required for just proving knowledge of the committed values. We additionally expand on the work of Lyubashevsky and Seiler (Eurocrypt 2018) by showing that the

above-mentioned result can also apply when working over rings Zq[X]=(X

d + 1) where X

d + 1 splits

into low-degree factors, which is a desirable property for many applications (e.g. range proofs, multiplications over Zq) that take advantage of packing multiple integers into the NTT coefficients of the

committed polynomial

标签:Product,knowledge,over,proving,Practical,Lattice,2018,committed,into
From: https://blog.51cto.com/u_14897897/8379828

相关文章

  • vue-cli-service vue.config.js配置 productionSourceMap与webpack中的devtool 关联详
    https://webpack.js.org/configuration/devtool/https://cli.vuejs.org/zh/config/#productionsourcemap https://github.com/vuejs/vue-cli/blob/f0f254e4bc81ed322eeb9f7de346e987e845068e/packages/%40vue/cli-service/lib/config/prod.js#L7 可以在源码中看到if(pro......
  • 10 Tips to Boost Your Productivity with C# and Visual Studio 2008
    http://blogs.msdn.com/johnwpowell/archive/2008/03/23/10-tips-to-boost-your-productivity-with-c-and-visual-studio-2008.aspxhttp://www.microsoft.com/downloads/details.aspx?familyid=E5F902A8-5BB5-4CC6-907E-472809749973&displaylang=enhttp://dotnet.chinait......
  • szfpga Lattice高速下载器HW-USBN-2B 常见问题解答
      .产品特点     1).支持windows7,Windows10操作系统,两个操作系统非常稳定不断线。  2).支持JTAG模式,速度快,最高30Mb/s,调试serdescore,不会像hw-usbn-2a出现错误。如这种错误Error:failedtosetcablepor(cable:USBport:EzUSB-0error:-1)  3). ......
  • Lattice高速下载器HW-USBN-2B 如何申请 license
     如果用的芯片不是停产老旧芯片,Diamondprogrammer是不需要license绑定支持的。但是有些需要编程老旧的芯片。需要安装Diamondprogrammerstand-alone版本。另外需要单独的免费license,这样才能启用老旧芯片烧录功能。如果没有网站账户,请在https://www.latticesemi.c......
  • Lattice .bek档案AES加密解密
    //BEK.h#ifndef__BEK_H__#define__BEK_H__#include<stdio.h>#include<stdlib.h>#include<stdbool.h>/////////////////////////////////////////////////////////////////////////////CRCTables////////////////////////////////////////////......
  • PAT 甲级【1009 Product of Polynomials】
    /*系数为0不输出貌似runtime异常也显示答案不正确*/importjava.io.BufferedReader;importjava.io.IOException;importjava.io.InputStreamReader;importjava.io.StreamTokenizer;publicclassMain{@SuppressWarnings("unchecked")publicstaticvoidmai......
  • 一键解决WARNING: This is a development server. Do not use it in a production dep
    WARNING:Thisisadevelopmentserver.Donotuseitinaproductiondeployment.UseaproductionWSGIserverinstead.文章目录问题描述解决思路解决方法问题描述WARNING:Thisisadevelopmentserver.Donotuseitinaproductiondeployment.UseaproductionWS......
  • [LeetCode] 1726. Tuple with Same Product
    Givenanarray nums of distinct positiveintegers,return thenumberoftuples (a,b,c,d) suchthat a*b=c*d where a, b, c,and d areelementsof nums,and a!=b!=c!=d.Example1:Input:nums=[2,3,4,6]Output:8Explanation:Ther......
  • Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting
    Abstract—Theultimategoalinmodernsecuree-votingistoenableeveryonetoverifywhetherthefinalelectionresultcorrectlyreflectsthevoteschosenbythe(human)voters,withoutexposinghoweachindividualvoted.Thesefundamentalsecurityproper......
  • 一个更复杂的 PHP 代码示例,我将展示一个购物车系统的基本实现,它包括商品类、购物车类
    一个更复杂的PHP代码示例,我将展示一个购物车系统的基本实现,它包括商品类、购物车类和一些基本的操作方法。<?php//定义商品类classProduct{private$name;private$price;publicfunction__construct($name,$price){$this->name=$name;$this->pri......