zkp专题
加密学中的零知识证明（Zero-Knowledge Proof, ZKP）到底是什么？
加密学中的零知识证明（Zero-Knowledge Proof, ZKP）到底是什么？ 引言 在加密学的应用中，零知识证明（Zero-Knowledge Proof, ZKP）无疑是一颗璀璨的明星。它不仅挑战了我们对信息验证的传统认知，更在保护隐私的同时确保了数据的真实性，为数字货币、身份验证、安全通信等多个领域带来了革命性的变革。本文将深入探讨零知识证明的原理、关键技术、应用场景以及未来
密码学 | 承诺：Pedersen 承诺 + ZKP
🥑原文：Toward Achieving Anonymous NFT Trading 🥑写在前面：看了篇 22 年 SCI 3 区论文，里面提到在 Pedersen 承诺的揭示阶段可以使用零知识证明，而不必揭示消息明文和随机数。姑且记录一下这个方法。 1 Pedersen 承诺 以下是原文对 Pedersen 承诺的介绍😽 一个承诺方案在承诺者 C 和接收者 R 之间进行
组合ZKP代价：探索ZKP中non-native域运算 最新进展
1. 引言 前序博客： 递归证明——cycles of curves是必选项？ ‘Foreign field’ 或 ‘non-native field’ 算术在ZKP（zero knowledge proof零知识证明）系统中随处可见。若想使用 ZKP 进行： 布尔运算公钥密码学或 证明组合 则无疑会遇到由于foreign field运算而导致的约束爆炸。 然而，若查看Arkworks等
对话 zkPokerdot | 妙用 ZKP 技术，为链上游戏创造公平竞技场
在数字游戏的领域中，无论是沉浸于传统游戏的虚拟世界，还是探索 Web3 游戏的前沿领域，玩家们都追求拥有一场公平的对决。zkPokerdot 项目应运而生。通过 ZKP 技术，zkPokerdot 为链上游戏提供了一个既去中心化又保障隐私的公平竞技场。zkPokerdot 在 2023 冬季波卡黑客松大赛中崭露头角，在「基于 Polkadot SDK 构建区块链」赛道上赢得了二等奖的荣誉。
Reef：基于正则表达式匹配的ZKP
1. 引言 Sebastian Angel等人2023年论文《Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs》，开源代码实现见： https://github.com/eniac/Reef（Rust） Reef用于committed文档与正则表达式匹配或不匹配。可用于证明： 密码的强度尽管进行了编辑但电子邮件的
ZKP Algorithms for Efficient Cryptographic Operations 1 (MSM Pippenger)
MIT IAP 2023 Modern Zero Knowledge Cryptography课程笔记 Lecture 6: Algorithms for Efficient Cryptographic Operations (Jason Morton) Multi-scalar Multiplication(MSM) Naive: nP = (((P + P) + P) + P)… = (
ZKP Schnorr Protocol
Schnorr Protocol The Schnorr Protocol is a cryptographic protocol used for secure communication and digital signatures. It was originally proposed by Claus-Peter Schnorr in 1989 and has gained attent
ZKP Commitment (1)
MIT IAP 2023 Modern Zero Knowledge Cryptography课程笔记 Lecture 5: Commitment 1 (Ying Tong Lai) Overview: Modern SNARK IOP: Interactive Oracle ProofCommitment SchemeIOP “compiled by” the commitment sch
ZKP Circom (1)
MIT IAP 2023 Modern Zero Knowledge Cryptography Lecture 2: Circom 1 (Brain Gu) Review zkSNARKs Properies zk: hides inputsSuccinct: generates short proofs that can be verified quicklyNoninteractive
ZKP Understanding Nova (2) Relaxed R1CS
Understanding Nova Kothapalli, Abhiram, Srinath Setty, and Ioanna Tzialla. “Nova: Recursive zero-knowledge arguments from folding schemes.” Annual International Cryptology Conference. Cham: Springer
ZKP16 Hardware Acceleration of ZKP
ZKP学习笔记 ZK-Learning MOOC课程笔记 Lecture 16: Hardware Acceleration of ZKP (Guest Lecturer: Kelly Olson) The What and Why of Hardware Acceleration Hardware acceleration is the use of dedicated hardware
ZKP16 Hardware Acceleration of ZKP
ZKP学习笔记 ZK-Learning MOOC课程笔记 Lecture 16: Hardware Acceleration of ZKP (Guest Lecturer: Kelly Olson) The What and Why of Hardware Acceleration Hardware acceleration is the use of dedicated hardware
DID以及社交网络中的ZKP
1. 引言 本文关键术语为： Decentralized Identity (DID，去中心化身份) or self-sovereign identity (SSI，自治身份) ：是一个基于开放标准的框架，使用自主、独立的标识符和可验证证书，实现可信的数据交换。Credential / Attestation / Verifiable Credential (VC) / POAP / SBT：
为何需关注各ZKP方案的benchmarks？
1. 引言 近期，研究人员和工程人员有大量关于谁是最好的证明系统的争论： 2023年8月29日，StarkWare团队对比了FRI和KZG2023年8月30日，JustinThaler和Srinath Setty讨论FRI和KZG谁的性能更佳？ 不过，在深入benchmark细节之前，需有一些更明确的标准来说明是什么使某些东西在工程方面更具性能或更有用。此外，性能和适用性有时取决于应用场