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

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

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