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

零知识证明简介

本文介绍了零知识证明（Zero-Knowledge Proofs, ZKP）的基本概念、类型、优势、局限性及其未来应用。通过Alice和Bob的例子解释了ZKP的工作原理，并详细讨论了zk-SNARKs和zk-STARKs两种主要类型。
零知识证明  zk-SNARKs  ZK-STARKs  密码学  区块链  隐私 

10 篇塑造现代零知识证明的必读论文

10 篇塑造现代零知识证明的必读论文
ZKP 

zkVM Jolt：更新

本文介绍了a16z加密团队发布的Jolt zkVM的初始实现及其性能和可用性的改进，包括验证成本的显著降低，集成折叠技术以提升多项式承诺方案和简单性。此外，文章详细描述了Jolt的各项新特性和未来的发展方向，包括对RISC-V的支持、开源贡献者所做的改进与正式验证的进展。
zkVM  Jolt  RISC-V  多项式承诺  零知识证明  正式验证 

ZNARKs：整数上的SNARKs - ZKSECURITY

本文介绍了一种新的SNARKs构造方法，用于在整数上进行计算，并提供了一种简单但新颖的方法来构建高效的证明系统。该方法通过使用多线性SNARKs，并结合“具有模余数的承诺方案”这一新工具，将现有的SNARKs“编译”成整数上的论证，实现了高效的范围检查、混合域仿真以及RSA群中的计算验证。
SNARKs  整数  多线性  范围检查  RSA  承诺方案 

zkVM 测试报告：评估 Nescience 的零知识虚拟机

zkVM 测试报告
zkMIPS  zkVM  zkWasm 
  • Vac.dev
  • 发布于 2024-11-12
  • 阅读 ( 2083 )
  • ( 18 )

ZNARKs：整数SNARKs

SNARK总是要用于有限域上的计算吗？并不是。
SNARK 
  • XPTY
  • 发布于 2024-11-11
  • 阅读 ( 1084 )

SLIP-0039：助记码的Shamir秘密共享

该 SLIP 描述了 Shamir 密钥共享（SSS）的标准和可互操作的实现，以及它在备份分层确定性钱包中的使用规范。SSS 将主密钥分成多个唯一部分，这些部分可以分发给参与者。需要提供指定的最少数量的部分才能重建原始密钥。
Shamir密钥共享  助记码  分层确定性钱包  密钥恢复  加密 

zkVoting：基于零知识证明的抗胁迫和端到端可验证的电子投票系统

这是一篇论文解读：zkVoting:Zero-knowledge proof based coercion-resistant and E2E verifiable e-votings ystem
ZKP 

【zkMIPS系列】FRI原理及其应用分析

in  zkMIPS解读
FRI原理及其应用分析
zkVM  zkMIPS 
  • ZKM
  • 发布于 2024-11-07
  • 阅读 ( 1663 )
  • ( 31 )

范围证明

in  零知识证明之书
本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。
Bulletproofs  范围证明  内积证明  Monero  零知识证明 

ICICLE V3.1：更多激情、更多能量、更多ZK性能

Ingonyama 发布了 ICICLE v3.1，这是一个位于 ZK 堆栈硬件和协议层之间的库，旨在优化 CPU 和 GPU 上的 ZK 算法性能。v3.1版本修复了多个bug，并增强了CPU后端性能，支持客户端后端和Sumcheck。未来还将添加Poseidon2哈希算法，目标是在CPU上超越Plonky3的性能。
ICICLE  零知识证明  CPU  GPU  zk-SNARK  性能优化 

通过随机线性组合减少等式检查（约束）的数量

in  零知识证明之书
本文深入探讨了如何在零知识证明算法中利用随机线性组合来有效地检查多个等式的相等性。通过实例展示了Pedersen承诺的等式验证过程，并提出了一种减少通信开销的方法。这种技术能够实现对多个内积同时进行验证，从而提高效率。
零知识证明  Pedersen承诺  随机线性组合  内积  安全性分析  Bulletproofs 

【zkMIPS系列】Poseidon hash设计流程 & 代码

in  zkMIPS解读
Poseidon哈希函数原理
  • ZKM
  • 发布于 2024-11-05
  • 阅读 ( 1698 )
  • ( 18 )

通用的ZK证明生成层 Fermah

在推特上看到了一篇对Fermah联合创始人兼CEOVanishreeRao的采访，其中有两个问题值得关注：（1）零知识证明在区块链中的发展经历了三个重要阶段；（2）ZK领域当前最紧迫的两个挑战。
ZKP  Fermah 

BLS签名、BLS12-381椭圆曲线以及基于配对签名方案的剖析

本文详细介绍了基于配对的数字签名方案BLS签名，重点讨论了BLS12-381椭圆曲线及其在签名聚合、多项式承诺和零知识证明等高级密码学协议中的应用。文章涵盖了配对的基本概念、BLS12-381椭圆曲线的数学结构、BLS签名的生成与验证过程，以及其安全性和潜在的MOV攻击。
BLS签名  BLS12-381椭圆曲线  配对  签名聚合  MOV攻击 

内积代数

in  零知识证明之书
文章介绍了在推导范围证明和编码电路时，内积运算的一些有用代数技巧，并提供了每个规则的简单证明。
内积  Hadamard积  范围证明  代数技巧  向量  标量 

Bulletproofs零知识证明：内积的零知识与简洁证明

in  零知识证明之书
本文详细介绍了Bulletproofs零知识证明算法，包括其在椭圆曲线上的内积证明实现。文章通过问题陈述、算法步骤以及非交互式证明等技术，系统地展示了如何在不泄露向量和内积的情况下进行高效证明。
Bulletproofs  零知识证明  椭圆曲线  内积证明  Fiat Shamir Transform 

对数大小的承诺证明

in  零知识证明之书
本文详细阐述了如何在零知识证明（ZKP）中通过递归折叠的方法，减少向验证者传输的数据量，从而高效地证明内积和向量的承诺。文章包括算法的详细描述、数学推导和代码实现。
零知识证明  内积  递归折叠  向量承诺  Bulletproofs 

向量承诺的简洁证明

in  零知识证明之书
文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
Pedersen Commitment  inner product  outer product  Zero Knowledge  verifier  prover 

使用 Zama 的 Concrete ML 和全同态加密赢得 TikTok 黑客马拉松

新加坡国立大学（NUS）的一组计算机科学学生在 TikTok TechJam 2024 上使用 Zama 的 Concrete ML 和全同态加密 (FHE) 技术，开发了一个广告服务系统，展示了 FHE 如何为在线广告开创一个尊重隐私的新时代。该项目名为 AnonymousAds，旨在保护用户隐私的前提下，实现个性化广告投放。
全同态加密  FHE  Concrete ML  隐私保护  广告定向  机器学习 
  • ZamaFHE
  • 发布于 2024-10-30
  • 阅读 ( 526 )