#dusk $DUSK @Dusk
公鏈防止濫用最基本的手段是Gas費,執行越複雜的邏輯,收費越高,這套機制的前提是網路能看懂一筆交易到底做了多少運算。但如果合約邏輯本身是機密的,這個前提還站得住腳嗎?這是我這次想質疑的技術細節。

Dusk Network身為Layer-1鏈,支援機密安全合約(XSC)標準,機密智能合約執行時,狀態轉換的細節被零知識證明包起來,外部驗證者只確認證明是否有效,而不是逐行檢查合約到底做了哪些運算。問題是,計費本身通常需要精確知道運算量,像是讀寫了多少次狀態、跑了幾輪迴圈,這些資訊在機密場景下,驗證者未必能像明文合約那樣直接統計。

矛盾點在這:如果收費機制退而求其次,改用固定費率或粗略估算,惡意使用者就有機會設計出運算量遠超費用的合約,拿相對低的成本塞爆驗證者的計算資源,形成一種隱蔽式的阻斷服務風險;但如果收費機制硬要精確對應運算量,又等於間接洩漏了合約複雜度的資訊,跟隱私的初衷產生衝突。

這個問題不是說XSC標準做不到,而是計費精確度跟隱私強度之間,勢必要找一個折衷點,而這個折衷點怎麼設計,會直接影響機密智能合約在真實網路壓力下的穩定性。

$DUSK 能不能在不洩漏運算細節的前提下,還讓Gas機制有效嚇阻濫用,我認為是XSC標準能否撐住高並發場景的關鍵細節。