原创 通用協議(六)基於零知識的推廣證明和基於現實VS理想模型的等價性

協議的安全性定義 如果一個協議能夠計算函數 f , 那麼這個協議計算 f 時,當且僅當協議安全的計算函數 f 在半誠實模型下。 證明 TIPS:對於等價性的證明,通用的方法就是證明A 包含於 B 再證明B 包含於 A。 第一階段,

原创 通用協議(二)

定義一個安全協議及其參數 Functionality and Protocol 協議與函數的定義 定義 f 爲一個 m 方參與參與計算的函數,協議PI 爲一個m方參與的協議在真實環境下。 對於一個真實的敵手A,它可以控制少數的參與

原创 MFC 生成EXE文件

最近寫了個程序,MFC的,這東西寫起來不難,用1天即可入門,寫個計算器,文件管理器什麼的,但是遇到了一個問題,怎麼把寫好的程序打包成EXE文件,在沒有VS的環境也能執行這是個問題。其實海通麻煩的,尤其是用了第三方庫後挺麻煩的。(所有內容參

原创 以太坊開發測試(3)原始案例分析 Migrations.sol

以太坊開發測試(3)MetaCoin 案例分析 爲了方便測試,安裝圖形化區塊鏈客戶端Ganache 如圖所示,啓動這個測試區塊鏈客戶端。 第一行內容包括:當前賬戶,區塊信息,交易信息,合約信息,事件,日誌。 第二行內容包括:當前區塊數,

原创 智能合約 與 外部賬號之間轉賬,智能合約與智能合約之間轉賬

從外部賬戶向智能合約賬戶轉賬以太幣 外部賬戶給部署智能合約時給合約初始轉賬: 使用remix 測試環境 pragma solidity >=0.4.0 <0.7.0; contract Test{ uint2

原创 以太坊開發測試(2)Truffle框架開發

以太坊開發測試(2)Truffle 框架 1.創建一個項目目錄 truffle init                       指令不在安裝Metacoin 示例代碼 truffle unbox MetaCoin 新版本使用這個指令

原创 以太坊開發測試(4)原始案例分析 MetaCoin.sol

接着上一篇內容,我們繼續分析truffle 給與的原始案例內容。 const ConvertLib = artifacts.require("ConvertLib"); //聲明需要使用的合約1 const MetaCoin =

原创 Truffle 智能合約測試及單元測試

Truffle 智能合約測試及單元測試 測試主要指標: 1.合約交易 Gas 消耗量測試 2.合約運行時間測試 這裏一共有兩個合約,網上找的,內容如下: pragma solidity >=0.4.21 <0.7.0; contr

原创 詳解智能合約開發利器Remix-IDE(2020.6.4 Last Version)

詳解智能合約開發利器Remix-IDE(2020.6.4 Last Version) 以太坊智能合約的開發,作者目前使用兩種方法: 方法一:使用Truffle 框架 開發 方法二:Remix-IDE集成開發環境 Truffle 框

原创 密碼學中的數學基礎(一)

        學習了一門課《信息安全數學基礎》,這門課主要講述的是關於密碼學的數學基礎,這門課本質就是“初等數論 + 抽象代數”。我更願意概括爲“質數 + 代數系統”。本文的目的在於將這一門課用“質數 + 代數系統”兩個部分以及“素數在

原创 密碼學52個知識點---1

知識點一: What is the difference between the following? - A general-purpose processor. - A general-purpose processor with i

原创 密碼學52個知識點---2

知識點2 What is the difference between a multi-core processor and a vector processor? 一個多核處理器和一個向量處理器的區別? 這個問題需要以下課程的知識《計算

原创 以太坊開發測試(6) 運行《區塊鏈技術進階與實戰》Score 電子積分系統

原項目地址:https://github.com/Blockchain-book/Ethereum-Score-Hella 配置運行過程: 首先下載一個最新的truffle webpack 框架小樣 truffle unbox webpa

原创 以太坊開發測試(5)truffle + web3 + webpack Metcoin 運行

以太坊開發測試(5)truffle + web3 Metcoin 運行 配置運行 Truffle 上的web 項目 前置條件 初始化一個項目: truffle unbox webpack 部署開發平臺 truffle develop

原创 智能合約開發(1)環境搭建

智能合約開發(1)環境搭建 1 以太坊環境安裝 1.1 Go 語言環境安裝 第一步:下載Go語言源碼安裝包 地址:https://golang.org/dl 根據不同平臺,我們下載不同的安裝版本源碼包即可,此處下載linux g