KZG算法引导 在KZG-PCS中,承诺者(这里可以当作证明者Prover) 需要生成一个多项式 f(x)\in \mathbb{F}_p^{\leq d}[x] 的承诺,记作 com_f。 验证者通过验证 com_f 证明多项式 f(\cdot)\in \mathbb{F}_p^{\leq d}[x] 在某个点的估值为 v,即: f(u)=v, \text{ deg}(f)\leq d\\
比起对读操作使用互斥锁, volatile 是一种很高效的方式。因为 volatile 不会涉及到线程的上下文切换,...
#include <stdio.h> int main(){ double sum; int z, n, i; scanf("%d", &z)...
在网络上看到一篇非常棒的介绍KZG多项式承诺的文章: dankradfeist.de/ethereu 翻译了一下,方便感兴趣的小伙伴查看。Dankrad多次帮忙校对翻译内容,甚至在他的blog创建了中文翻译链接。感谢Dankrad :) dankradfeist.de/ethereu 欢迎关注 “星想法”,交流零知识证明技术。
金融界2025年6月2日消息,国家知识产权局信息显示,聚梦创新(北京)软件技术有限公司申请一项名为“基于区块链和KZG承诺的隐私保护方法”的专利,公开号CN120068127A,申请日期为2025年04月。 …
干货| 为以太坊引入 KZG 承诺:工程师视角(上) (续前)什么是 KZG10 承诺? 注3.6:如果启动设置所计算的[s],[s^2]…[s^d] 只计算到了指数 d,这一组值是不能用来生成任何阶数大于 d 的多项式的承诺的。反之亦然。 因为在安全的曲线上,没有办法用两个点相乘来得出第三个点,所以[s^(d+k)]是一个(...
金融界2025年6月2日消息,国家知识产权局信息显示,聚梦创新(北京)软件技术有限公司申请一项名为“基于区块链和KZG承诺的隐私保护方法”的专利,公开号CN120068127A,申请日期为2025年04月。 …