PLONK

Plonky方案

通过利用Plonk的置换，Halo的多项式承诺，和多参数的电路模型，Plonky能够实现量级的递归证明，代码库为plonky,目前开发尚不完善。
雪落无留痕·2023-12-25 15:32

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

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

Halo2

PLONKishHalo2基于PLONK实现，支持customgate和loo
雪落无留痕·2023-11-26 01:37

Polygon zkEVM中的子约束系统

——PIL和CIRCOMPLONK:permutationsoverlagrange-basesforoecumenicalnoninteractiveargumentsofknowledge学习笔记PLONK
mutourend·2023-11-20 10:16

RISC Zero zkVM架构

1.引言RISCZerozkVM为：基于FRI+PLONK构建的采用VonNeumann架构的ZKMachine将RISC-V微控制器具化为某基于STARK的证明系统，的微架构和编码机制。
mutourend·2023-11-12 09:24

ZKP5.2 PLONK IOP

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

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

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

zkTree: a zk recursion tree with ZKP membership proofs

zkTree的实现为：Plonky2：PLONK+FRIGroth16：链上验证的递归rootproof
mutourend·2023-10-04 19:08

Dusk Network DayBreak测试网初体验

archive)——Dusknetwork赞助的ZKP研究项目DuskNetworkDaybreak上线前关键漏洞分析DuskNetwork定位为Layer-1支持隐私智能合约的区块链，主要技术点有：1）采用PLONK
mutourend·2023-09-26 07:52

Hyperplonk

Plonk在过于几年在区块链领域得到了广泛应用，它具有简法的证明，高效的验证，高度的定制化和最小的可信假设。
雪落无留痕·2023-09-17 11:43

ZKP 之 Plonk 协议实现

文章目录Plonk个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料Plonk个人总结PlonK相比起之前的zkSNARK协议来说，主要区别在于如下三点：
smilejiasmile·2023-08-26 08:13

4. ZKP 程序实例及其相关资料汇总

PlonkdemoPlonkTutorial(对于vitalik博客的python实现)https://github.com/barryWhiteHat/plonk_tutorialdusklibrary
smilejiasmile·2023-08-26 08:13

Boojum：zkSync的高性能去中心化STARK证明系统

Boojum为STARK证明系统（Plonk+FRI），开源代码见：https://github.com/matter-labs/era-boojum/tree/main（Rust）其特点为：采用PLONK
mutourend·2023-07-17 19:03

Nova 和 SuperNova：无需通用电路的通用机器执行证明系统

RecursiveZero-KnowledgeArgumentsfromFoldingSchemes学习笔记SuperNova：为多指令虚拟机执行提供递归证明基于Nova/SuperNova的zkVMSangria：PLONK
mutourend·2023-06-24 08:34

Sangria：类似Nova folding scheme的relaxed PLONK for PLONK

RecursiveZero-KnowledgeArgumentsfromFoldingSchemes学习笔记SuperNova：为多指令虚拟机执行提供递归证明基于Nova/SuperNova的zkVMSangria：PLONK
mutourend·2023-06-24 08:33

2023年 ZK Hack以及ZK Summit 亮点记

RecursiveZero-KnowledgeArgumentsfromFoldingSchemes学习笔记SuperNova：为多指令虚拟机执行提供递归证明基于Nova/SuperNova的zkVMSangria：PLONK
mutourend·2023-06-24 08:33

Anemoi hash:一种SNARK-friendly的哈希函数

MiMC-Hash,Rescue–Prime,Poseidon等等，本文要介绍的Anemoi是今年新出的一种zk友好且面向算术化的哈希函数，与其他哈希函数相比，Anemoi具有以下特点：可以被用于Groth16,Plonk
孙绿如叶～·2023-04-09 14:47

Goblin Plonk：lazy recursive proof composition

1.引言Aztec团队提出了一种在Plonk/Honk/PlonkISH证明系统中实现高效递归证明的方案：【所谓HONK，是指类似Hyperplonk的multilinearPlonk，即将发布相应论文
mutourend·2023-04-09 14:15

Polygon zkEVM R1CS与Plonk电路转换

1.引言前序博客有：PolygonzkEVM的pil-starkFibonacci状态机初体验PolygonzkEVM的pil-starkFibonacci状态机代码解析rank-1constraintsystemR1CS由上图可知，zkEVM会借助SNARK来“验证（（验证STARK证明）的SNARK证明）”：1）将STARKproof的约束系统evm.pil经pil2circom转换为evm.
mutourend·2023-01-20 14:18

PLOOKUP

代码实现参见：https://github.com/kevaundray/plookuphttps://github.com/neidis/plonk-plookup视频介绍参见：Youtube视频zkSummit
mutourend·2023-01-06 07:15

PlonKup: Reconciling PlonK with plookup

1.引言Dusk系列博客有：Dusknetwork生态图rkyv(archive)——Dusknetwork赞助的ZKP研究项目DuskNetworkDaybreak上线前关键漏洞分析来自PolychainCapital、Anoma、DuskNetwork等团队成员，2022年联合发布的论文《PlonKup:ReconcilingPlonKwithplookup》。参考资料[1]PlonKup:R
mutourend·2023-01-06 07:15

PLONK + PLOOKUP

1.引言在区块链网络中，交易经年不断积累，因此区块链的存储量不断无限增长。在DuskNetwork中，自举时间线性增长，且受零知识证明验证计算量的限制。在适当的时候，这意味着自举可能需要几天甚至几周的时间。这就是为什么我们正在研究一个全新的自举过程，使加入网络的新节点能够快速与最新状态同步。使用此过程，新节点不需要验证单个交易，这将导致自举时间为分钟/小时，而不是天/周。为此，DuskNetwor
mutourend·2023-01-06 07:45

PLOOKUP代码解析

代码实现参见：https://github.com/kevaundray/plookup【Rust语言实现】https://github.com/neidis/plonk-plookup【C/C++实现
mutourend·2023-01-06 07:44

PLONK: permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge 学习笔记

1.引言Gabizon等人2019年论文《PLONK:permutationsoverlagrange-basesforoecumenicalnoninteractiveargumentsofknowledge
mutourend·2023-01-06 07:43

RapidUp: Multi-Domain Permutation Protocol for Lookup Tables学习笔记

1.引言前序博客有：PLOOKUPPLOOKUP代码解析Efficientpolynomialcommitmentschemesformultiplepointsandpolynomials学习笔记PLONK
mutourend·2023-01-06 07:42

PrivacyIN 隐私学院首期ZK训练营毕设启动 学术、投资导师全程护航

在第一周与第二周的课程中，德克萨斯农工大学计算机科学与工程系助理教授张宇鹏生动地讲解了ZKP密码学基础知识，并提供了当前ZKP的研究概述，并与同学一并探索zkSNARKs经典协议（Groth16、Plonk
·2022-08-11 16:48

PLONK个人笔记

文章目录个人总结如何理解电路GateConstraintsCopyconstraints多项式承诺参考资料个人总结PlonK相比起之前的zkSNARK协议来说，主要区别在于三点，1-首先是在将电路解释为多项式的时候
AdijeShen·2022-04-17 10:38

Plonk代码解析

1.引言Gabizon等人2019年论文《PLONK:permutationsoverlagrange-basesforoecumenicalnoninteractiveargumentsofknowledge
mutourend·2021-02-13 21:45
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他