ZKP

解读ALEO-继FIL后又一个由A16Z和软银领投过亿美元的隐私公链项目

市场逐渐开始关注ALEO，目前从官方的公开资料看没有太多华丽的介绍，基本都是较专业的内容，今天我从几个方面综合概述一下ALEO的特性，从中也能发现ALEO的真正价值：1、模块化区块链：可组合性，可扩展性2、隐私：zkp
米斯特鞏·2024-01-26 15:09

Aleo项目详细介绍-一个兼顾隐私和可编程性的隐私公链

Aleo是第一个采用零知识证明（ZKP）技术，提供私有、开源的Layer1区块链。Aleo开发了一个默认交易隐私的应用程序构建平台，
慎思知行·2024-01-26 15:37

［ZKP］Schnorr Protocol Implementation

SchnorrProtocolImplementationbyPythonTheSchnorrProtocolisacryptographicprotocolusedforsecurecommunicationanddigitalsignatures.ItwasoriginallyproposedbyClaus-PeterSchnorrin1989andhasgainedattentionfori
Simba17·2024-01-09 06:35

［ZKP］Sigma Protocol

SigmaProtocolIntroductionSigmaprotocolsareaspecifictypeofinteractivezero-knowledgeproof(ZKP)thatareknownfortheirefficiencyandsimplicity.Theyinvolvethreedistinctphasesbetweenaproverandaverifier
Simba17·2024-01-09 06:35

［ZKP］The Chaum-Pedersen Protocol

TheChaum-PedersenProtocolIntroductionTheChaum-PedersenprotocolallowsaprovertoconvinceaskepticalverifierthatagiventripleisaDH-triple,withoutrevealinganythingelsetotheverifier.LetG\mathbb{G}Gbeacyclicgr
Simba17·2024-01-09 06:35

Web3.0会带来哪些机遇？

多年来，这个领域一直有一个有趣的话题，那就是ZKP（ZeroKnowledgeProof，零知识证明）。最近它在社区中引起了很多关注，因为有很多有趣的场景可以讨论
Aix17·2024-01-02 21:49

Reef：基于正则表达式匹配的ZKP

1.引言SebastianAngel等人2023年论文《Reef:FastSuccinctNon-InteractiveZero-KnowledgeRegexProofs》，开源代码实现见：https://github.com/eniac/Reef（Rust）Reef用于committed文档与正则表达式匹配或不匹配。可用于证明：密码的强度尽管进行了编辑但电子邮件的来源obliviousDNS查询
mutourend·2024-01-01 12:21

RISC Zero zk-STARK证明系统代码解析

.引言前序博客：RISCZero的手撕STARKRISCZeroSTARK证明系统时序图及规范开源代码见：https://github.com/risc0/risc0/blob/main/risc0/zkp
mutourend·2024-01-01 12:51

ShuffleZKP：匿名、不可连接消息的合规证明

年论文《ProofofComplianceforAnonymous,UnlinkableMessages》，开源代码实现见：https://github.com/shufflezkp/shuffle-zkp-open
mutourend·2024-01-01 12:19

ZKP Algorithms for Efficient Cryptographic Operations 1 (MSM & Pippenger)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture6:AlgorithmsforEfficientCryptographicOperations(JasonMorton)Multi-scalarMultiplication(MSM)Naive:nP=(((P+P)+P)+P)…=(2(2P))…Binaryexpand$n=e_0+e_1\al
Simba17·2023-12-24 23:16

ZKP Nova Scotia: Middleware to compile Circom circuits to Nova prover

NovaScotia:MiddlewaretocompileCircomcircuitstoNovaprover[Reference:https://github.com/nalinbhardwaj/Nova-Scotia]Mydevice:MacbookPro2020withIntelchipgitclonehttps://github.com/nalinbhardwaj/Nova-Scotia
Simba17·2023-12-24 23:16

ZKP Mathematical Building Blocks (2)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture3:MathematicalBuildingBlocks(YufeiZhao)FiatShamirheuristicTurnaninteractiveprooftoanon-interactiveproofPcansimulateVwheneverVpicksarandomvaluePcansi
Simba17·2023-12-24 12:30

ZKP Mathematical Building Blocks 1

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture3:MathematicalBuildingBlocks(YufeiZhao)Example:I(Prover)wanttoconvinceyou(Verifier)thatIcandistinguishtwocolorsthatyouseeasidenticalASimilarExample:
Simba17·2023-12-21 22:32

ZKP Pasta Curves

Minabook[https://o1-labs.github.io/proof-systems/specs/pasta.html?highlight=pasta#pasta-curves]学习笔记PastaCurvesPastaCurvesisafascinatinginnovationincryptographydesignedbyZcash.WhatarethePastaCurvesTheP
Simba17·2023-12-21 22:32

ZKP Commitment (1)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture5:Commitment1(YingTongLai)Overview:ModernSNARKIOP:InteractiveOracleProofCommitmentSchemeIOP“compiledby”thecommitmentschemetogetanon-interactiveproof
Simba17·2023-12-21 22:02

ZKP Commitment (2)

MITIAP2023ModernZeroKnowledgeCryptography课程笔记Lecture5:Commitment2(YingTongLai)PolynomialCommitmentf(x)=a0a_0a0+a1xa_1xa1x+a2x2a_2x^2a2x2+…\dots…+anxna_nx^nanxnaia_iaiissecretcommit(f,z,y)=CThecommitme
Simba17·2023-12-21 22:02

Bulletproofs和Plonk等ZKP系统中Fiat-Shamir实现漏洞Frozen Heart

团队近期发布CoordinateddisclosureofvulnerabilitiesaffectingGirault,Bulletproofs,andPlonK，指出Bulletproofs和Plonk等ZKP
mutourend·2023-12-21 22:30

dalek-cryptography/zkp——基于merlin的Schnorr零知识证明

zkp为使用merlin的Schnorr零知识证明工具包，基于ristrettogroup做的实例化。
mutourend·2023-12-21 22:00

ZKAttest: Ring and Group Signatures for existing ECDSA keys 学习笔记

代码实现有：https://github.com/cloudflare/zkp-ecdsa（TypeScript）在该代码实际实现时，采用的Groth–Kohlweiss
mutourend·2023-12-21 22:00

ZKP Schnorr Protocol

SchnorrProtocolTheSchnorrProtocolisacryptographicprotocolusedforsecurecommunicationanddigitalsignatures.ItwasoriginallyproposedbyClaus-PeterSchnorrin1989andhasgainedattentionforitssimplicityandefficie
Simba17·2023-12-21 22:29

zkP2M：ZK赋能的trustless and instant fiat-to-crypto

1.引言zkP2M定位为：Trustlessandinstantfiat-to-cryptoon-ramppoweredbyZK其基本架构见：https://github.com/zkP2M/.github
mutourend·2023-12-18 03:34

技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1）

github.com/weikengchen/vfhe-profiled（Rust）https://github.com/l2iterative/vfhe0（Rust）L2IVResearch团队近期尝试用ZKP
mutourend·2023-12-18 03:02

ZKP电路审计：冗余约束是否多余？

1.引言区块链领域的ZKP应用通常包含2部分：链下电路链上合约其中，链下电路包含了商业逻辑约束和复杂的密码学基本原理，难于实现和审计。
mutourend·2023-12-06 23:39

ZKP Understanding Nova (1): MinRoot Example

UnderstandingNovaKothapalli,Abhiram,SrinathSetty,andIoannaTzialla.“Nova:Recursivezero-knowledgeargumentsfromfoldingschemes.”AnnualInternationalCryptologyConference.Cham:SpringerNatureSwitzerland,2022.
Simba17·2023-12-06 23:07

ZKP zkDT (PaperReading)

zkDT(CCS’20)PaperReadingZhang,Jiaheng,etal.“Zeroknowledgeproofsfordecisiontreepredictionsandaccuracy.”Proceedingsofthe2020ACMSIGSACConferenceonComputerandCommunicationsSecurity.2020.AbstractInthispape
Simba17·2023-12-06 01:04

ZKP15.3 Formal Methods in ZK (Part II)

ZKP学习笔记ZK-LearningMOOC课程笔记Lecture15:SecureZKCircuitsviaFormalMethods(GuestLecturer:YuFeng(UCSB&Veridise
Simba17·2023-12-06 01:34

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

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

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

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

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

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

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

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