原创 密碼學雜談(一)

現代密碼學簡介 現代密碼學主要包括以下的兩個部分: 1.對稱密碼(傳統密碼學) 2.非對稱密碼(公鑰密碼學) 其中對稱密碼學就是我們通常理解的密碼,加密解密用同一種祕鑰,例如AES,RC4等。 其中非對稱密碼就是現在使用的公

原创 Schnorr簽名及其變種簽名

Schnorr 簽名 這個基於離散對數的簽名歷史比較悠久了,結構也很簡單,現在很多的簽名都是這個簽名的變體: 這裏需要注意的一個點是公共參數c的生成,這幾技術被叫做“key-prefixed”這個協議將公鑰R和m 共同進行哈希,

原创 通用協議(七)兩方安全計算-惡意模型

在兩方安全計算中的惡意敵手模型 一些基礎的問題 1.第一點,(惡意終止-公平性問題)沒有任何方法能強制一方參與到協議中,也就是說一種惡意的行爲包括阻止這個協議正常開始執行,或者更一般的行爲是在任何時刻終止參與,導致協議中斷。特別是

原创 智能合約(4)智能合約、DAPP、Ethereum Studio

智能合約是什麼? 與區塊鏈是什麼關係? 智能合約本質上就是一段可以運行在區塊鏈節點上的代碼,這個代碼描述一個邏輯計算過程,這個邏輯計算過程是封閉執行的,一旦開始執行這合約就不可終止。 智能合約和區塊鏈的關係如下: 將智合約部署到

原创 Linux驅動部分的內容

之前看LDD3 對內核和驅動做過一些實驗和描述,因爲種種原因,CSDN的圖片沒了,需要參考的話,請移步 github:https://github.com/zmr961006/Linux_Scull 內容目錄如下: Linux 設備驅動程

原创 通用協議(九)How to Play Any Mental Game(上)

How to Play Any Mental Game [GMW86](上) A completeness Theorem for Protocols with Honest Majority 本文主要是對[GMW86]的翻譯和

原创 通用協議(三)--- 兩方安全計算

兩方安全計算的情形 在本節中我們主要定義兩種模型敵手下的安全,在所有的這兩個模型中,敵手都是非適應的並且是計算有界的,並且存在輔助書輸入。下面的主要內容如下: 1.考慮一個半誠實的模型。 2.繼續考慮惡意的敵手。 兩方安全計算框架

原创 通用協議(三)Computational Indistinguishability 計算不可區分性

Computational Indistinguishability 計算不可區分性 我們用多項式電路族來描述計算不可區分性,通過以下的方法: 定義兩個實體,X, Y,S爲一個字符串,有如下的關係: 對於任何人多項式電路族,

原创 通用協議(五)兩方安全計算

從(real VS ideal)的角度來看兩方安全計算 上文說到,基於模擬範式思想的兩種證明方法在一般情況下都是可以應用在兩方安全計算中的,之前主要說了基於擴展的零知識證明的證明方法,本節主要討論從現實和理想不可區分的角度來討論安

原创 通用協議(四)半誠實模型

The Semi-Honest Model 半誠實模型 半誠實的參與方,遵循了協議的執行,但是卻保存了協議的中間計算狀態,實際上,半誠實的參與方,只要保存內部的擲硬幣過程(產生隨機數的過程)和所有從其他參與方接收到的消息就行了。特

原创 通用協議(一)

協議 協議: 協議的本質就是執行一個任務,在密碼這個領域有時也稱一個協議就是爲了計算一個函數,即爲求一個函數值,但是這任務或者說求函數值,往往不是有一方來單獨計算的,而是由多個參與方合作完成的任務,或者合作計算的值。 舉個例子,T

原创 通用協議(八)惡意模型分析

兩方安全計算惡意模型分析 在存在惡意敵手的兩方安全模型中,核心是要定義理想與現實不可區分,這個在之前的描述中已經比較清晰了,進一步,我們討論一些相關的屬性。 一個重要的屬性在這個模型被實現就是保密性,也就是說,所有的敵手能夠有學習

原创 以太坊開發測試(7)Truffle MetaCoin 案例JS及部署源碼分析

分析思路即爲從前端到後臺代碼的路線 第一個文件 index.html <!DOCTYPE html> <html> <head> <title>MetaCoin | Truffle Webpack Demo w/ Front

原创 Blockchain: The Emperor's New PKI?

區塊鏈是否爲一種新的安全技術基礎設施? 本文參考總結文章: Blockchain: The Emperor’s New PKI? 2018 IEEE computing 數字身份與區塊鏈 在區塊鏈上,每個人都需要一個基礎的身份,這

原创 以太坊的開發與測試(1)

以太坊(Demo)開發測試----全網最全細節 以太坊?區塊鏈?智能合約? 學習一個新的技術棧總是讓人感到頭疼,最近需要做一個關於以太坊的試驗。博主長期不寫代碼了(本來也不怎麼寫,嘿嘿),那更是頭疼的不行,以前主要寫寫C++、C語