On the security of the BCTV Pinocchio zk-SNARK variant學習筆記

原創 mutourend 2020-06-28 06:20

Ariel Gabizou 2019年論文《On the security of the BCTV Pinocchio zk-SNARK variant》中指出，zk-SNARK 2014論文《Succinct non-interactive zero knowledge for a von neumann architecture》中的一個嚴重缺陷。

發表評論
所有評論
還沒有人評論，想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章

A (Zero-Knowledge) Vector Commitment with Sum Binding and its Applications學習筆記

1. 引言 Qiang Wang等人2019年發表於Oxford University Press on behalf of the Institute of Mathematics and its Applications 的論

mutourend 2020-07-04 01:32:31

Simple Schnorr Signature with Pedersen Commitment as Key學習筆記

1. 引言 Gary Yu 2020年論文《Simple Schnorr Signature with Pedersen Commitment as Key》，目前暫無收錄信息。 A signature is a zero-kno

mutourend 2020-07-04 01:32:31

Vector Commitment Techniques and Applications to Verifiable Decentralized Storage學習筆記

1. 引言 Campanelli等人 2020年論文《Vector Commitment Techniques and Applications to Verifiable Decentralized Storage》，介紹視頻參

mutourend 2020-07-04 01:32:31

Efficient Zero-Knowledge Argument for Correctness of a Shuffle學習筆記（1）

Stephanie Bayer和Jens Groth 2012年論文《Efficient Zero-Knowledge Argument for Correctness of a Shuffle》。 該論文中主要針對e-votin

mutourend 2020-06-28 06:20:31

A Non-Interactive Range Proof with Constant Communication

1. 背景知識 Rafik Chaabouni，Helger Lipmaa和Bingsheng Zhang 2012年論文《A Non-Interactive Range Proof with Constant Communica

mutourend 2020-06-28 06:20:31

Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments

1. 背景知識 在Groth 2010年論文《Short Pairing-based Non-interactive Zero-Knowledge Arguments》論文的基礎上，Lipmaa 2012年論文《Progressi

mutourend 2020-06-28 06:20:31

A More Efficient Computationally Sound Non-Interactive Zero-Knowledge Shuffle Argument

1. 背景知識 Lipmaa和Bingsheng Zhang 2012年同時期論文《A More Efficient Computationally Sound Non-Interactive Zero-Knowledge Shu

mutourend 2020-06-28 06:20:31

Pointproofs: Aggregating Proofs for Multiple Vector Commitments 學習筆記1

1. 背景知識 Alogrand團隊Gorbunov等人2020年論文《Pointproofs: Aggregating Proofs for Multiple Vector Commitments》，配套的代碼實現參見：http

mutourend 2020-06-28 06:20:21

一、零知識證明

零知識證明(Zero—Knowledge Proof)，是由S.Goldwasser、S.Micali及C.Rackoff在20世紀80年代初提出的。它指的是證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的。

love亦菲 2020-06-25 04:01:29

密碼學系列 - 零知識證明與匿名交易的結合

ZKP 與 匿名交易的結合 同態加密: 實現密文的四則運算 橢圓曲線: 用計算機實現同態加密中的 加法 與 乘法 運算,且不可逆 MPC(多方計算): Zcash的預處理階段 要證明的公式: 證明等式兩邊的關係 , 推測Zcash

搬砖魁首 2020-06-22 01:46:52

零知識證明實踐教程，第二部分

本文是零知識證明簡單實踐教程的第二部分， 第一部分見：零知識證明第一部分 第三部分見：零知識證明第三部分 現在一個問題是，prover（證明者）可能撒謊，比如原本它應該向verifier（驗證者）揭露p[1]的值，但prover出

蜗牛爱上星星 2020-06-18 21:46:57

零知識證明 - 橢圓曲線基礎

對橢圓曲線的學習，個人推薦如下的鏈接，沒有太多的術語，解釋的比較清楚。 https://andrea.corbellini.name/2015/05/17/elliptic-curve-cryptography-a-gentle-

StarLi_2020 2020-06-13 10:44:36

零知識證明 - zkSNARK入門

網絡上講解零知識證明的文章就不多，這些文章要不太淺顯，要不太深入，很少有能給入門者整體框架上的認識。 比如，阿里巴巴零知識證明就是一個非常好的通俗理解零知識證明的例子： 阿里巴巴被強盜抓住，爲了保命，他需要向強盜證明自己擁有打開石

StarLi_2020 2020-06-13 10:44:36

零知識證明 - 從QSP到QAP

前一段時間，介紹了零知識證明的入門知識，通過QSP問題證明來驗證另外一個NP問題的解。最近在看QAP問題相關的文章和資料，這篇文章分享一下QAP問題的理解。 0 背景介紹 QSP/QAP問題的思想都是出自2012年一篇論文：Qua

StarLi_2020 2020-06-13 10:44:26

零知識證明 - libsnark源代碼分析

libsnark源代碼，建議想深入零知識證明的小夥伴都讀一讀。Bellman庫主要圍繞Groth16算法，libsnark給出了SNARK相關算法的全貌，各種Relation，Language，Proof System。爲了更好的

StarLi_2020 2020-06-13 10:44:26