作者：Cook Sun 加密廚師，來源：作者推特@Cook0x
一、索引器的誕生
在引入Inscriptions和Ordinal協議之前，由於其腳本語言的圖靈不完備性，比特幣在應用範圍上受到了限制。幸運的是，隨著技術的最新進展，透過比特幣索引器建立了圖靈完備的鏈下執行層。然而，現有索引器的資料完整性和可用性非常依賴索引器的誠實性。
具體來說，對於一個鏈下執行層，索引器可能會篡改數據，導致使用者獲得錯誤的狀態。這就是在比特幣生態討論了很長一段時間的索引器中心化問題，目前在中心化與去中心化之間始終沒有一個完美的解決方案。
二、直接去中心化會有什麼問題?
如果利用一個去中心化的索引器網路來執行計算，那麼，由於該網路完全無許可，現有去中心化索引器網路的共識機制容易受到Sybil攻擊的影響，這使得惡意的索引器運營商能夠向使用者提供錯誤的狀態，例如資產所有權和可支配餘額。這就屬於一個新的共識層的建立，需要一個強大的共識網絡，非短時間內可以達成。
三、模組化索引器
若想解決這個問題，關鍵點是設計一種機制，使用戶能夠有效率且經濟地驗證索引器提供狀態的有效性。 Nubit提出的方案是不進行整個狀態轉換的完整性檢查，而是簡化為檢查少量檢查點的有效性。目標是實現即使在大多數委員會索引器被攻擊或作惡的情況下，只要有1個委員會索引器在做正確的驗證，也能保證資料的完整性和可用性。
四、Nubit 架構
該架構依賴比特幣作為最基本的可信任資料層
-
委員會索引器根據比特幣區塊計算協議狀態，並產生檢查點(polynomialcommitment),發佈到NubitDA(資料可用性層)。
-
Nubit DA 負責發布數據和確保檢查點數據可用
-
索引器負責向使用者提供查詢結果和相應的證明。
-
輕量級索引器由使用者執行，可以從索引器查詢協定狀態的必要部分，利用檢查點驗證結果的正確性。如果多個委員會索引器提供的檢查點不一致，可以利用無狀態計算來產生正確的檢查點。
無狀態計算
無狀態計算(stateless computation)是一種技術，允許使用者在不需要下載和儲存整個協定狀態的情況下，驗證索引器提供的執行結果是否正確。
-
傳統的驗證方式需要使用者下載全部狀態資料然後重新執行整個計算過程,與索引器的結果進行對比,從而驗證結果正確性。這種做法需要大量儲存和運算資源。
-
無狀態計算技術的出發點是:即使使用者沒有全部狀態資料,只要有少量的關鍵狀態資料(如之前的檢查點狀態),就可以有效地驗證後續狀態的正確性,無需重複整個計算過程。
-
它透過密碼學技術(如polynomialcommitment等)將全部狀態資料壓縮為一個很小的加密檢查點,使用者只需下載並驗證這個檢查點,就等同於驗證了整個狀態資料的準確性。
-
當多個委員會索引器提供的檢查點不一致時，使用者可以利用先前的檢查點狀態作為關鍵輸入,使用無狀態計算重新生成當前正確的檢查點,從而識別出誠實的索引器。
-
透過這種無狀態計算技術,用戶無需下載和存儲整個龐大的狀態數據,只需很小的檢查點數據,就能高效地驗證索引器執行結果的正確性，從而實現輕量級可驗證計算。
五、總結
Nubit 在中心化索引器和去中心化索引器之間提供了一個中間選項，即透過建立第三方的Nubit DA層來管理數據並驗證數據，而最終仍然是依靠比特幣作為最基礎的可信資料層，這提供了一個相對去中心化且不犧牲過多安全性的方案。
同時，Nubit在近日宣布了與BounceBit 合作，透過BounceBit的BTC-restaking 技術與Nubit 的比特幣原生數據可用性解決方案相結合。立即為此方案實現了第一個落地場景。