密码学文章 - 第24页

Schwartz-Zippel 引理的证明

Schwartz-Zippel 引理是关于有限域中的多变量多项式零点个数的紧致上界，具体表述如下：

零知识证明

XPTY
发布于 2022-04-14
阅读 ( 3793 )

零知识证明的硬件加速

零知识证明（ZKP）是一项重要的密码技术，具有显著的隐私和可扩展性优点。尽管ZKP在计算速度上存在挑战，但通过使用FPGAs等专用硬件，可以显著提高生成速度。随着区块链的普及，ZKP的需求将不断增长，可能会催生新的矿业行业。

零知识证明 ZKP 区块链 FPGA 隐私计算可扩展性

Paradigm
发布于 2022-04-14
阅读 ( 141 )

关于零知识证明的研究

本文对零知识证明的过程进行分析，希望读者可以对零知识证明的整体流程有所了解，后续讨论零知识证明原理的时候我们都是在放大讨论这篇文章中的某一部分，再去接触一些令人眼花缭乱的技术时，我们能够很清晰的知道，这项技术是解决了零知识证明的哪部分问题，针对哪部分进行了优化，就像文末介绍的较新的 STARK中的AIR其实是用来替换r1cs作为另外一种描述NP问题的方式。

零知识证明

web3探索者
发布于 2022-04-13
阅读 ( 4416 )
( 5 )

零知识证明 - 从puzzle解题深入ZK-STARK

这篇文章记录一下团队解题的思路以及学习STARK的过程。方便更多的小伙伴学习零知识证明相关技术。

zkSTARK 零知识证明 Cario

Star Li
发布于 2022-04-08
阅读 ( 3521 )

理解Groth16，一些细节上的说明

为什么要从R1CS转化到QAP？

Groth16 零知识证明 zkSNARK

hsyodyssey
发布于 2022-04-02
阅读 ( 5628 )
( 12 )

零知识证明 - zkHack mini挑战赛第一名

这次的挑战赛由两道题目组成。一道题目一个星期的挑战时间。和第一期的挑战不同，这一期的题目都是基于 STARK算法。STARK算法，AIR，FRI低阶测试等等技术会在后续的文章仔细介绍。本文先总结一下这次挑战赛的两个题目的解题思路。

零知识证明 zkSTARK

Star Li
发布于 2022-03-21
阅读 ( 3179 )

可信设置如何运作？

文章详细介绍了可信设置的工作原理，特别是KZG多项式承诺的信任设置过程，并讨论了其在不同加密协议中的应用和未来发展。

可信设置 KZG多项式承诺椭圆曲线 zk-SNARKs 数据可用性采样

Vitalik Buterin
发布于 2022-03-16
阅读 ( 304 )

Plonky2 简介

两个零知识库Plonky2和Starky，代表了构建更高性能 SNARKs/STARKs 的新方法。Plonky2 是一个结合了Plonk和FRI的库，Starky 专注于运行基于AIR的STARKs，且支持对其的递归验证。该方法可以总结为，使用小域，然后使用递归FRI。

Plonky2

XPTY
发布于 2022-03-16
阅读 ( 4917 )

椭圆曲线数字签名算法（ECDSA）是区块链密码学技术中常见的数字签名之一,其在加密货币、密钥身份认证等方面已被广泛应用。然而当前的区块链ECDSA算法灵活性较低、匿名性较弱且分散性不高,性能相对高效的应用实例也十分有限。基于哈希证明系统,文章提出一种适用于区块链的两方椭圆曲线数字签名算法。通过给定签名算法的数理逻辑及其安全模型,融入区块链进行测评,证明了方案的可行性。最后,对签名方案的安全性进行了分析,证实该方案无需交互性安全假设便可在零知识性的基础上减少通信开销。

哈希证明系统隐私保护椭圆曲线