現代密碼學：密碼協議

原創 熊猫先生工作室 2020-02-23 00:59

文章目錄

密碼協議

各種協議的特點，解決的問題

（1） 零知識證明
 特點：
 解決的問題：向別人證明擁有某個信息，但不需要透露該信息具體內容

在這裏插入圖片描述在這裏插入圖片描述在這裏插入圖片描述
在這裏插入圖片描述

(2)比特承諾
 特點：
 解決的問題：A想對B承諾一個比特，但暫時不能告訴B 承諾的信息，直到某個時間才公開車能諾；另一方面B可確信在A承諾後到公開前，A沒有改變承諾。

在這裏插入圖片描述在這裏插入圖片描述

在這裏插入圖片描述

(3)公平投幣協議
特點：
解決的問題：網絡中實現公平投幣問題

在這裏插入圖片描述在這裏插入圖片描述

(4)安全多方計算
特點：
解決問題：

在這裏插入圖片描述

（部分素材來源於公開PPT,侵刪）

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

現代密碼學：DES分組密碼

文章目錄分組密碼1.理解分組密碼算法如何實現“擴散”和“混亂”的2.S-P網絡、雪崩效應3.DES加密流程圖4.DES（分組長度、迭代輪數、密鑰長度、S盒、P盒、加密思想）5.DES、AES主要特點 分組密碼 1.理解分組密碼算法

图解编程 2020-07-08 00:31:04

現代密碼學：認證

文章目錄1.安全的哈希函數的性質和應用2.MD5和SHA1的主要特點3. 消息認證的目的和方法4.認證函數的三種實現方法5.認證協議進行分析 1.安全的哈希函數的性質和應用 給定消息x容易計算哈希值單向性抗弱碰撞抗強碰撞性輸入任意

图解编程 2020-07-08 00:31:04

ElGamal 算法思考

前驅知識： 離散對數問題 離散對數 百度百科介紹： 在整數中，離散對數（英語：Discrete logarithm）是一種基於同餘運算和原根的一種對數運算。而在實數中對數的定義 logba是指對於給定的a和b，有一個數x，使得bx=a。相

武玲奈 2020-07-07 11:48:47

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

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

Ariel Gabizou 2019年論文《On the security of the BCTV Pinocchio zk-SNARK variant》中指出，zk-SNARK 2014論文《Succinct non-inter

mutourend 2020-06-28 06:20:16

Markdown博客模板和數學符號

文章目錄符號一、數學公式二、流程圖三、表格四、參考文獻 @[toc] 符號 關係運算符 代碼 戴帽符號 代碼 ±\pm± $\pm$ y^\hat{y}y^​ $\hat{y}$ ×\times× $\tim

不染心 2020-07-04 19:28:48

Goldwasser-Micali 公鑰加密系統

曼哈頓距離的保密計算 文章目錄1、二次剩餘問題2、Goldwasser-Micali 公鑰加密系統3、仿真實驗 1、二次剩餘問題 對於整數n ，定義Zn∗={a∈Zn,gcd(a,n)=1}Z^*_n=\{ a∈Z_n,gcd(a

不染心 2020-07-04 19:28:48

曼哈頓距離的保密計算

Goldwasser-Micali 公鑰加密系統 文章目錄一、預備知識1、二次剩餘2、雅可比符號3、曼哈頓距離二、加密算法1、Paillier同態加密算法2、Goldwasser-Micali 公鑰加密系統三、基於Goldwass

不染心 2020-07-04 19:28:48