公共可驗證計算外包模型的研究及其原型實現(xiàn).pdf

1、計算外包技術(shù)是當(dāng)今密碼學(xué)研究的熱點技術(shù)之一，它的優(yōu)勢在于計算能力較弱的設(shè)備（比如手機、上網(wǎng)本等）可以將復(fù)雜的計算（比如圖像處理、復(fù)雜的函數(shù)求值等）外包至計算能力較強的設(shè)備來進行計算，然后獲取計算結(jié)果。計算外包需要滿足秘密性和可驗證性，秘密性指的是輸入和輸出只能由發(fā)起查詢一方知道，可驗證性指的是發(fā)起查詢一方有著可以驗證返回結(jié)果的正確性的能力。在計算外包技術(shù)中，查詢方與計算方的通信代價和查詢方的驗證復(fù)雜度是衡量計算外包方案好壞的重要指標(biāo)。<

2、br>　　本文提出了一個公共可驗證計算外包模型，該模型可實現(xiàn)外包計算和公開驗證功能。依據(jù)文中所提出的該模型，設(shè)計了一個具有三個通信實體的公共可驗證計算外包協(xié)議。在該協(xié)議中，查詢方與計算方交互通信過程中的數(shù)據(jù)只包含:請求計算的數(shù)值、計算結(jié)果以及用來驗證結(jié)果的證據(jù)，這樣大大降低了通信代價的開銷。論文以多項式函數(shù)求值為例，利用雙線性配對技術(shù)實現(xiàn)了一個公共可驗證計算外包方案。計算方在構(gòu)造證據(jù)時依據(jù)多項式分解定理思想來構(gòu)造證據(jù)，查詢方在驗證過程中