零知识证明(ZKP)

零知识证明友好的波塞冬哈希（ZK-friendly Hashing： Poseidon）

文章目录背景什么是Poseidon哈希技术原理各STARKfriendlyhash函数性能对比SHA256VSPedersen参考背景2018年7月2日，以太坊基金会给StarkWare团队2年的赞助，用于寻找新的STARKfriendlyhash(SFH)函数，可用于在区块链中构建transparent且抗量子安全的proof系统。其要求很高，具体为：Prover应能为同一hash函数的多次调用
西京刀客·2023-12-05 10:47

基于 PSI 的纵向联邦学习数据隐私安全技术

首先根据联邦学习系统的不同运行阶段归纳总结了其中的隐私安全威胁，并给出了一些解决办法；其次重点讨论了纵向联邦学习系统中的样本对齐问题，讨论和分析了现有的私密求交的基本方法，提出了一种基于零知识证明的私密求交方法并给出了一些改进方向
罗思付之技术屋·2023-12-01 10:59

ZKP15.1 Secure ZK Circuits via Formal Methods

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise
Simba17·2023-11-28 21:01

ZKP15.2 Formal Methods in ZK (Part I)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise
Simba17·2023-11-28 21:27

【密码学】小计

目录一、引论二、密码学信息理论基础三、分组密码四、流密码五、Hash函数（杂凑函数、哈希函数）=》MD（杂凑值）六、消息认证码（MAC）七、密码学复杂性理论基础八、公钥密码九、数字签名十、密钥分发十一、零知识证明理论十二
QiFengLingYe·2023-11-28 13:47

密码学—零知识证明（网络空间安全概论）

一、题目描述1.1题目：用零知识证明实现地图的三染色问题（用三种颜色染色一个地图，保证任意两个相邻的地区都是不同的颜色）。编程验证下述的设计思路，采用Python和C语言编写均可。
想不到名字222·2023-11-27 11:18

浅谈 Binius：用 Rust 实现的硬件优化 SNARK 协议

Ulvetanna团队编译：TinTinLand原文链接：https://www.ulvetanna.io/news/binius-hardware-optimized-snark在一篇新的研究论文中，零知识证明技术开发团队
TinTin Land·2023-11-27 02:09

Halo2

Halo2是Zcash协议在Orchard升级中将要采用的零知识证明系统，无需可信设置，可以实现递归证明。
雪落无留痕·2023-11-26 01:37

ZKP11.2 Fiat-Shamir and SNARGs

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture11:FromPracticetoTheory(GuestLecturer:AlexLombardi)11.2Fiat-ShamirandSNARGsSuccinctNon-InteractiveArguments
Simba17·2023-11-25 19:34

ZKP11.3 Correlation Intractability

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture11:FromPracticetoTheory(GuestLecturer:AlexLombardi)11.3WhatcanwedowithoutrandomoraclemodelFalsifiableAssumptionsProvesecurityassumingthatsomeconcretealgorithmictaskisi
Simba17·2023-11-25 19:03

ZKP11.4 Use CI to instantiate Fiat-Shamir

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture11:FromPracticetoTheory(GuestLecturer:AlexLombardi)11.4UseCItoinstantiateFiat-ShamirAvoidBadChallengesDef
Simba17·2023-11-25 19:52

ZKP11.1 From Practice To Theory

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture11:FromPracticetoTheory(GuestLecturer:AlexLombardi)11.1TheFeasibilityofInteractiveZKSMPC
Simba17·2023-11-23 06:12

初识「零知识」与「证明」

副标题：探索零知识证明系列（一）作者：郭宇本文已更新至Github:https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/1/zkp-back.md
安比实验室SECBIT·2023-11-20 19:31

proverif学习——安装使用

支持但不限于密码原语，包括：对称和非对称加密；数字签名；哈希函数；位承诺；以及非交互式的零知识证明（因为本人知识水平有限，其支持分析的属性根据其参考文档机器翻译得到，后续如有错误会更改）。
黯淡and暗淡·2023-11-17 16:06

RISC Zero的Bonsai证明服务

1.引言Bonsai为通用ZKP网络，其支持任意链、任意协议、以及任意应用，利用ZKP来扩容、隐私和互操作。Bonsai的目标是为每条链都提供无限计算的能力。
mutourend·2023-11-12 09:24

RISC Zero ZKP协议中的商多项式

1.引言前序博客见：Reed-SolomonCodes及其与RISCZerozkVM的关系RISCZerozkVM主要针对可验证计算，其具有隐私和可扩展属性：Reed-SolomonCodes及其与RISCZerozkVM的关系博客中指出：RISCZero中的Reed-SolomonCodes处理流程为：1）Step1生成tracecolumns：在RISCZerozkVM中执行某二进制文件，并记
mutourend·2023-11-12 09:24

Risc0：使用Continunations来证明任意EVM交易

1.引言RISCZero，设想了一个基于零知识证明的无限计算的未来。2023年5月发布了RISCZerozkVMv0.15版本，其中包含了一种重要feature：continuations。
mutourend·2023-11-12 09:54

RISC Zero zkVM 白皮书

1.引言RISCZero提供了开源的虚拟机+零知识证明系统，即zero-knowledgevirtualmachine（简称zkVM）。
mutourend·2023-11-12 09:53

ZKP8.2 FRI (Univariate) Polynomial Commitment

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture8:FRI-basedPolynomialCommitmentsandFiat-Shamir(JustinThaler)8.2FRI(Univariate
Simba14·2023-11-11 02:16

ZKP8.1 Polynomial-IOP and Polynomial Commitment Schemes

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture8:FRI-basedPolynomialCommitmentsandFiat-Shamir(JustinThaler)8.1Polynomial-IOPandPolynomialCommitmentSchemesRecall
Simba14·2023-11-11 02:15

有限域的Fast Multiplication和Modular Reduction算法实现

ZKP证明系统中的所有运算都是基于有限域的：使用布尔运算的数字电路：如AND、OR、NOT。使用有限域运算的算术电路：如addition、multiplication、negation。
mutourend·2023-11-06 17:33

MP-SPDZ详细介绍

基础知识概述隐私计算底层协议包括两种：其一是基础的加密传输协议，用于信息分发，包括不经意传输、秘密分享、同态加密、零知识证明等。其二是加密计算协议，包括乱码电路、同态加密、零知识证明等。
shuizhongmose·2023-11-05 08:24

ZKP10.2 Efficient Recursion via Statement Folding (Nova)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture10:RecursiveSNARKs,AggregationandAccumulation(DanBoneh)10.3EfficientRecursionviaStatementFolding
Simba14·2023-11-04 00:56

ZKP10.1 Recursive SNARKs, Aggregation and Accumulation

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture10:RecursiveSNARKs,AggregationandAccumulation(DanBoneh)10.1IntroductionandApplicationsofRecursiveSNARKsRecall
Simba14·2023-11-04 00:26

ZKP9 SNARKs based on Linear PCP (Pinocchio & Groth16)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture9:SNARKsbasedonLinearPCP(YupengZhang)SNARKslearnedsofarEarliestImplementedSNARKsProsShortestproofsize
Simba14·2023-11-04 00:25

StarkNet的Cairo知识简介

它使用零知识证明技术（Zero-KnowledgeProofs）来实现私密性和可伸缩性。在StarkNet上，Cairo是一种类似于Solidity（以太坊智能合约语言）的编程语言。
specterofblog·2023-11-02 15:20

ZKP7.2 Polynomial Commitments Based on Error-correcting Code

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture7:PolynomialCommitmentsBasedonError-correctingCodes(YupengZhang)7.2Polyneomialcommitmentbasedonerror-correctingcodesRecall
Simba14·2023-10-31 07:48

ZKP6.3 Discrete-log-based Polynomial Commitments (Bulletproofs)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture6:Discrete-log-basedPolynomialCommitments(YupengZhang)6.3Bulletproofsandotherschemesbasedondiscrete-logKZG
Simba14·2023-10-30 03:11

ZKP5.2 PLONK IOP

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture5:ThePlonkSNARK(DanBoneh)5.2ProvingpropertiesofcommittedpolynomialsoverviewPolynomialequalitytestingwithKZGKZG
Simba14·2023-10-30 03:41

ZKP6.1 Discrete-log-based Polynomial Commitments (Preliminary)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture6:Discrete-log-basedPolynomialCommitments(YupengZhang)RecallHowtobuildanefficientSNARK
Simba14·2023-10-30 03:41

ZKP6.2 Discrete-log-based Polynomial Commitments (KZG10)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture6:Discrete-log-basedPolynomialCommitments(YupengZhang)6.2KZGpolynomialcommitmentanditsvariantsKZG
Simba14·2023-10-30 03:41

ZKP3.1 Programming ZKPs (Implement Sudoku on Circom)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture3:ProgrammingZKPs(GuestLecturers:PratyushMishraandAlexOzdemir)UsingZKP3.1BigPicture
Simba14·2023-10-30 03:11

ZKP 之 zksnark 协议实现

SNARKs的基本思路是Computation→ArithmeticCircuit→
smilejiasmile·2023-10-30 03:40

ZKP7.1 Polynomial Commitments Based on Error-correcting Codes (Background)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture7:PolynomialCommitmentsBasedonError-correctingCodes(YupengZhang)Recall
Simba14·2023-10-30 03:08

什么是 NULINK ？一个在即将到来 的 2022 年为分布式应用程序提供创新且令 人印象深刻的隐私保护技术解决方案

作为其技术基础，Nulink技术平台包括区块链、访问控制（代理重加密、基于属性的加密）和安全计算（零知识证明、安全多方计算、全同态加密）技术。它在企业范围内提供数据交换和处理能力。
NuLinkholic·2023-10-27 01:26

zk-Bench：SNARKs性能对比评估工具

zk-Bench，定位为：定位为首个公钥密码学性能评估基准测试框架和工具，重点关注通用ZKP系统的实测评估。现有其它性能评估工具：1）https://github.com/anoma/zk
mutourend·2023-10-26 12:23

新型零知识证明，背后的“隐身”大法是什么？

希望现在很多人都听说过ZK-SNARKs协议，这是零知识证明技术的通用性说法，使用它的案例从可验证的计算到私人保护的数字货币。也许你不知道，ZK-SNARKs协议有更新的版本，ZK-STARKs。
棉花棒和黄芥末·2023-10-25 16:21

ZKP4.2 SNARKs via Interactive Proofs (Sum-check Protocol [LFKN90])

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture4:SNARKsviaInteractiveProofs(JustinThaler)4.3Interactiveproofdesign:
Simba14·2023-10-22 10:11

ZKP4.1 SNARKs via Interactive Proofs (Justin Thaler)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture4:SNARKsviaInteractiveProofs(JustinThaler)4.1InteractiveProofs:MotivationandModelInteractiveProofsPsolvesproblem
Simba14·2023-10-22 10:41

ZKP 研究框架及相关内容概述

ZK简介最初在1980年提出，由ShafiGoldwasser,SilvioMicali和CharlesRackoff。刚开始叫做交互式证明系统(Interactiveproofsystem)。Prover和Verifier之间交换信息，让Verifier相信某种statement是真的。而不透露给Verifier过多与证明无关的信息。ZK是解决了这样一个问题：我知道一个Y，满足F(X,Y)=ZF
smilejiasmile·2023-10-22 10:09

ZKP方案衍变及对比

1.引言2019年是ZKP方案创新井喷的一年。
mutourend·2023-10-22 10:36

ZKP5.1 Plonk Interactive Oracle Proofs (KZG‘10)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture5:ThePlonkSNARK(DanBoneh)5.1KZG’10generalSNARKApolynomialcommitmentscheme
Simba14·2023-10-22 10:34

STARKs with small finite field：小域带来的迷人性能

1.引言前序博客有：2023年ZKHack以及ZKSummit亮点记为何需关注各ZKP方案的benchmarks？很久以前，有大量研究和开发致力于改进ZKP性能。
mutourend·2023-10-20 23:55

ZKP3.2 Programming ZKPs (Arkworks & Zokrates)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture3:ProgrammingZKPs(GuestLecturers:PratyushMishraandAlexOzdemir)3.3Usingalibrary
Simba14·2023-10-18 22:48

亚瑟王的「随机」挑战：从交互到非交互式零知识证明——探索零知识证明系列（四）

本文作者：郭宇本文已更新至Githubhttps://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/4/zkp-rom.md“ChallengesareattimesanindicationofLord'strustinyou
安比实验室SECBIT·2023-10-15 23:55

云中「秘密」：构建非交互式零知识证明---探索零知识证明系列（五）

本文作者：郭宇Onceexposed,asecretlosesallitspower.一旦泄露，秘密就失去了全部威力―AnnAguirre这已经是本系列的第五篇文章了，这一篇继续深入非交互式零知识证明。
安比实验室SECBIT·2023-10-05 23:02

Malicious Secure MPC: C&C、Lego、ZKP

参考文献：Chaum,D.1983.“BlindSignatureSystem”.In:AdvancesinCryptology–CRYPTO’83.Ed.byD.Chaum.PlenumPress,NewYork,USA.153.EvansD,KolesnikovV,RosulekM.Apragmaticintroductiontosecuremulti-partycomputation[J].
山登绝顶我为峰 3(^v^)3·2023-10-04 19:42

为何需关注各ZKP方案的benchmarks？

1.引言近期，研究人员和工程人员有大量关于谁是最好的证明系统的争论：2023年8月29日，StarkWare团队对比了FRI和KZG2023年8月30日，JustinThaler和SrinathSetty讨论FRI和KZG谁的性能更佳？不过，在深入benchmark细节之前，需有一些更明确的标准来说明是什么使某些东西在工程方面更具性能或更有用。此外，性能和适用性有时取决于应用场景，ZacWilli
mutourend·2023-10-04 19:09

zkTree: a zk recursion tree with ZKP membership proofs

1.引言PolymerLabs团队SaiDeng和BoDu2023年2月论文《zkTree:azkrecursiontreewithZKPmembershipproofs》。zkTree：在父节点的ZK证明中可递归验证子节点的ZK证明，同时可为用户所的ZK证明提供membershipproof。zkTree的实现为：Plonky2：PLONK+FRIGroth16：链上验证的递归rootproof
mutourend·2023-10-04 19:08

Zordle：基于ZKP的Wordle应用

1.引言Zordle，为基于Halo2库和Plonkishprovingsystem实现了零知识证明的Wordle应用。
mutourend·2023-10-04 19:38
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他