本研究論文介紹了一種名為 EVeCA 的新型區塊鏈數據查詢框架,旨在解決現有方案在可驗證性和效率之間的矛盾。EVeCA 的核心概念是將 ADS(Authenticated Data Structure,經過驗證的數據結構)的維護工作從全節點委託給少數服務提供者(SP),並透過挑戰式驗證機制確保 SP 維護的 ADS 的正確性。
EVeCA 系統包含三個主要實體:服務提供者(SP)、查詢用戶和全節點(包含挑戰節點)。SP 負責維護 ADS、提取鏈上數據並提供查詢服務。查詢用戶則向 SP 發送查詢請求,並根據 SP 返回的證明驗證查詢結果的正確性。全節點負責驗證 SP 維護的 ADS 的正確性,而挑戰節點則負責生成檢測令牌(即已知結果的查詢表達式)來挑戰 SP。
EVeCA 的運作流程分為三個階段:ADS 更新階段、ADS 驗證階段和可驗證查詢階段。
ADS 更新階段: SP 首先從區塊鏈同步數據到本地存儲,然後更新其維護的 ADS。在每輪數據更新結束時,SP 將其 ADS 的摘要(根哈希)發佈到區塊鏈上,作為可驗證查詢的先驗知識。
ADS 驗證階段: 挑戰節點構建檢測令牌並將其發送到 SP。SP 返回查詢結果及其證明。最後,所有全節點驗證查詢結果的正確性和證明的有效性。如果驗證失敗,則確定 SP 維護的 ADS 不正確。
可驗證查詢階段: 用戶可以向 SP 發送查詢請求,並根據 SP 返回的證明驗證查詢結果。由於 SP 維護的 ADS 的正確性已由全節點驗證,因此可以確保用戶查詢的安全性。
EVeCA 框架具有以下優點:
EVeCA 適用於各種需要高效且可驗證的鏈上數據查詢的場景,例如:
總之,EVeCA 是一種高效且可驗證的鏈上數據查詢框架,它可以有效解決現有方案的不足,並為各種區塊鏈應用提供安全可靠的數據查詢服務。
翻譯成其他語言
從原文內容
arxiv.org
深入探究