全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

零知识证明类型解析

本文介绍了零知识证明（ZKP）的两种主要类型：zkSNARKs 和 zkSTARKs。zkSNARKs 依赖于可信设置，验证速度快，但安全性依赖于设置的安全性。zkSTARKs 不需要可信设置，具有更高的透明性和可扩展性，但计算开销可能更大。它们都是在不泄露信息的前提下，验证信息有效性的强大工具。
零知识证明  zkSNARKs  zkSTARKs  密码学  可信设置  隐私 
  • gelato
  • 发布于 2023-03-31
  • 阅读 ( 572 )

零知识证明初学者终极指南

本文为零知识证明（ZKP）的入门指南，解释了ZKP的基本概念、要求和证明系统，并通过交互式和非交互式证明的例子进行了说明。文章还探讨了ZKP在身份保护、隐私交易、可扩展性和去中心化预言机网络等实际应用，以及Gelato在Web3领域的应用。
零知识证明  ZKP  交互式证明  非交互式证明  隐私  区块链 
  • gelato
  • 发布于 2023-03-29
  • 阅读 ( 556 )

Groth16可以支持查找吗？

本文介绍了SR1CS（sequential rank 1 constraint system），它是一种R1CS的扩展，支持查找和其他有趣的功能。作者提出了一个类似于Groth16的证明系统来证明SR1CS的知识，并讨论了它与KZG-PlonK相比的优缺点，例如在处理lookup参数和自定义门方面的差异。
SR1CS  R1CS  Groth16  KZG-PlonK  密码学  零知识证明 

SuperNova

IVC 是一种强大的密码原语，它使我们能够以增量方式证明计算的完整性。 该策略非常适合虚拟机执行和具有动态控制流的通用程序.
密码学 
  • XPTY
  • 发布于 2023-03-27
  • 阅读 ( 3497 )

How Zcash Transactions Between Shielded Addresses Work

本文介绍了Zcash中隐蔽地址之间交易的基本原理，包括使用note表示coin，引入随机数r以增加隐私，以及使用Nullifier集合来区分已花费和未花费的note。同时，为了解决交易验证问题，Zcash引入了零知识证明（Zero-Knowledge proof），以确保交易的有效性和隐私性。
Zcash  隐私交易  隐蔽地址  零知识证明  Nullifier  加密货币 
  • cig01
  • 发布于 2023-03-19
  • 阅读 ( 160 )

理解 zk-SNARKs 和 zk-STARKS 的区别

SNARKs和STARKs是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。零知识证明(ZKP)引起了广泛关注，因其在增强安全性、保护用户隐私和支持第2层网络扩展方面都有很大的潜力。
  • Chainlink
  • 发布于 2023-03-16
  • 阅读 ( 3008 )
  • ( 9 )

Nova

该密码学原语，通过提供每一步的结果都是正确的并且所有先前步的结果都已在每步中正确执行过的证明，允许给定方来展示给定计算机程序执行的完整性。
密码学 
  • XPTY
  • 发布于 2023-03-15
  • 阅读 ( 3260 )

Sangria

在本文中，我们提出了对PLONK算术化 2 变体的折叠方案。扩展松弛PLONK 算术化，以接受2次自定义门和具有更高门扇入扇出数的电路。 最后，概述了未来工作的路径，包括折叠更高次的门、支持查找门和为松弛PLONK算术化设计 IOP。
PLONK  Nova 
  • XPTY
  • 发布于 2023-03-13
  • 阅读 ( 3109 )

深入探索STARK世界中的DEEP FRI：通过一个具体的例子学习你的日常月亮数学

本文通过一个笔和纸的例子，介绍了使用STARKs进行计算完整性的方法。
STARKs  零知识证明  拉格朗日插值  计算完整性  FRI  多项式 

哈希到secp256k1椭圆曲线

哈希到曲线函数的技术现状，在secp256k1椭圆曲线上的应用，以及一般的哈希到曲线算法背后的一些安全考虑和性能优化。
哈希  椭圆曲线  密码学 
  • XPTY
  • 发布于 2023-02-28
  • 阅读 ( 5142 )

零知识证明编码入门

零知识证明正变得越来越流行，但可能很难找到入门资料。在花了一些时间研究这个主题之后，我整理了我学到的东西，希望它能帮助大家入门零知识证明编程。
circom  Halo2  零知识证明 
  • aisiji
  • 发布于 2023-02-24
  • 阅读 ( 6760 )
  • ( 39 )

配对或双线性映射

介绍一点配对的性质，其在密码学的应用和历史。
密码学  零知识证明 
  • XPTY
  • 发布于 2023-02-22
  • 阅读 ( 5179 )
  • ( 3 )

一文读懂零知识证明区块链项目

零知识技术是密码学的一个分支，零知识证明可以让用户在不透露信息的前提下证明自己知道或拥有信息。
零知识证明 
  • Chainlink
  • 发布于 2023-02-13
  • 阅读 ( 4229 )
  • ( 37 )

如何在证明中使用 KZG 承诺

in  以太坊中文 · ETH
本文介绍了如何在 zk 证明中有效地使用 KZG 承诺，提高证明验证的效率。
KZG 

zkLLVM电路编译器

zkLLVM电路编译器介绍编写电路很难。如果从零开始，那就是难上加难。在尝试了不同的方法之后，我们认为zkLLVM是简化过程，并使之高效的关键。编写电路时的主要问题之一
电路编译器 

MPC-TSS的计算视角：ECDSA中Paillier的再思考

本文探讨了使用MPC-TSS技术分散管理私钥的方法，并分析了在ECDSA签名中，使用Paillier加密方案的局限性，以及OT-MUL作为替代方案的优势。通过基准测试表明，相比于Paillier加密，OT-MUL在计算效率上更具优势，尤其是在低功耗设备上。
MPC  TSS  ECDSA  Paillier加密  OT-MUL  门限签名 

2023年值得期待的加密叙事之 ZK-rollups

随着 zkSync、Starknet 和 Polygon zkEVM 即将推出的代币，ZK-rollup加密叙事继续深入布局。
  • Tokenview
  • 发布于 2023-02-03
  • 阅读 ( 3303 )
  • ( 9 )

第五章：智能的代价

本文介绍了通过零知识证明（ZKP）在区块链上进行机器学习推理的成本和性能研究，重点分析了不同ZKP系统在处理AI模型时的生成时间和内存使用情况，并探讨了相关应用场景。
零知识证明  机器学习  AI推理  Ethereum  ZKML  区块链 

多项式承诺，正在重塑整个区块链

多项式承诺正在重塑整个区块链的架构，不论是在链的数据结构优化上，模块化区块链的数据可用性上，还是零知识证明系统上都将大有作为。
多项式承诺  KZG 

zkEVM 背后的技术发展：从多项式承诺到硬件加速

在本文中，我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展
零知识证明  zkEVM 
  • XPTY
  • 发布于 2023-01-30
  • 阅读 ( 3150 )