
最近,由于 Lightspark 最近的“Spark”系統(tǒng)的整合,Satoshi 錢包宣布即將重返美國(guó),此后引發(fā)了大量批評(píng),主要集中在信任模型問題以及新版 Satoshi 錢包是否構(gòu)成非托管錢包。
Spark 是一個(gè)基于(詳見文章)的系統(tǒng)。狀態(tài)鏈缺乏最清晰的信任模型。Spark 本質(zhì)上是狀態(tài)鏈的通道工廠版本,眾多狀態(tài)鏈嵌套在基于單個(gè)鏈上 UTXO 構(gòu)建的交易樹中。
狀態(tài)鏈?zhǔn)且粋€(gè)第二層系統(tǒng),允許整個(gè) UTXO 自由地在鏈下轉(zhuǎn)移,不受流動(dòng)性限制,但需要接受一些信任權(quán)衡。你必須相信,運(yùn)營(yíng)商(本質(zhì)上是服務(wù)提供商)會(huì)在每次狀態(tài)鏈轉(zhuǎn)移時(shí)刪除私鑰信息。
那么讓我們看看什么構(gòu)成了非監(jiān)護(hù)權(quán)。
- 用戶對(duì)其資金擁有單方面控制權(quán),或有能力重新獲得資金。
- 任何其他方(或多方)均無權(quán)阻止用戶花費(fèi)其資金,或恢復(fù)其資金使用能力,或在未經(jīng)用戶參與的情況下阻止其花費(fèi)資金。
第一個(gè)特性絕對(duì)適用于狀態(tài)鏈。就像閃電通道一樣,用戶能夠在一定時(shí)間鎖定期后使用預(yù)簽名交易取回資金,以確保誠(chéng)實(shí)結(jié)算。第二個(gè)特性在適用與否方面則不那么明確。
狀態(tài)鏈協(xié)議要求運(yùn)營(yíng)者和原始用戶協(xié)作生成一個(gè)雙方都無法完全知曉的密鑰。他們可以利用各自的份額協(xié)作對(duì)用戶的提現(xiàn)交易進(jìn)行預(yù)簽名。當(dāng)原始用戶將交易轉(zhuǎn)移給其他人時(shí),原始用戶、新用戶和運(yùn)營(yíng)者都會(huì)協(xié)作“重新生成”相同的密鑰,但新用戶和運(yùn)營(yíng)者持有的份額不同。
在簽署新用戶的提現(xiàn)交易后,運(yùn)營(yíng)者應(yīng)該刪除其與原用戶產(chǎn)生的份額。這將阻止運(yùn)營(yíng)者與原用戶簽署新的交易,而新用戶交易的較短時(shí)間鎖定也確保了新用戶能夠在原用戶之前使用其份額。
如果運(yùn)營(yíng)商不刪除舊的密鑰份額,那么他們就有可能與任何保留其密鑰份額的過去用戶合作竊取狀態(tài)鏈中的資金。
操作員
如果運(yùn)營(yíng)者按規(guī)定行事,每次轉(zhuǎn)移狀態(tài)鏈時(shí)都刪除舊的密鑰份額,那么他們就不是一個(gè)托管系統(tǒng)。他們實(shí)際上無法與狀態(tài)鏈當(dāng)前合法所有者以外的任何人合作簽署任何交易。預(yù)簽名交易的遞減時(shí)間鎖機(jī)制保證了當(dāng)前所有者可以總是在任何前任所有者之前確認(rèn)其提款交易。
操作員甚至可以在 SGX 安全區(qū)域或其他安全計(jì)算環(huán)境中運(yùn)行他們的軟件,并讓該安全區(qū)域強(qiáng)制執(zhí)行軟件的正確行為。它甚至可以提供證明(前提是你相信該環(huán)境不會(huì)被破壞),供其他人驗(yàn)證。
他們也有強(qiáng)烈的動(dòng)機(jī)誠(chéng)實(shí)地操作該協(xié)議,因?yàn)檫@樣做他們不需要遵守作為持有他人資金的托管服務(wù)所帶來的規(guī)定。
用戶
最終用戶擁有單邊提現(xiàn)交易。該交易可在其所有權(quán)的時(shí)間鎖到期后,以及前任所有者的時(shí)間鎖到期前的任何時(shí)間使用。如果運(yùn)營(yíng)商停止響應(yīng)或消失,他們也可以選擇使用此選項(xiàng)。
但他們必須相信運(yùn)營(yíng)商正在誠(chéng)實(shí)地操作協(xié)議,并刪除過去的密鑰共享。他們沒有辦法真的驗(yàn)證這一點(diǎn)。如上所述,類似 SGX 飛地之類的系統(tǒng)可以處理運(yùn)營(yíng)商軟件的安全性,并簽署證明其正在運(yùn)行誠(chéng)實(shí)軟件的證明。但這樣做只會(huì)將信任點(diǎn)從運(yùn)營(yíng)商轉(zhuǎn)移到 SGX 飛地的制造商英特爾身上。
即使與真正誠(chéng)實(shí)的操作員打交道,該操作員只運(yùn)行誠(chéng)實(shí)的軟件并且從未欺騙過任何用戶,用戶也永遠(yuǎn)無法真正知道他們是誠(chéng)實(shí)的操作員。他們只看到操作員已經(jīng)誠(chéng)實(shí),并希望他們能繼續(xù)保持這種誠(chéng)實(shí)。
所以…。?
沒有真正明確的答案。在操作員實(shí)際上說實(shí)話,它符合我上面列出的所有非托管標(biāo)準(zhǔn)。用戶可以不受阻礙地完全訪問自己的資金,其他人無法阻止他們這樣做或竊取他們的資金。
問題是無法驗(yàn)證.
沒有任何方法可以以無需信任的方式驗(yàn)證用戶是否對(duì)自己的資金擁有無需信任的控制權(quán)。即使你確實(shí)擁有。
因此,將其標(biāo)記為非托管存在問題,因?yàn)榧词顾牵脩粢膊豢赡苷嬲?yàn)證它。但將其稱為托管也存在問題,因?yàn)檫\(yùn)營(yíng)商無法在不與其他用戶合作的情況下轉(zhuǎn)移資金,并且當(dāng)前用戶擁有單邊提現(xiàn)交易。這在工具分類方面造成了困境。
我不知道解決方案是什么,但我認(rèn)為第一步是承認(rèn)正在發(fā)生的技術(shù)現(xiàn)實(shí),而不是因?yàn)樽约旱膭?dòng)機(jī)而貿(mào)然給事物貼上標(biāo)簽(為什么不創(chuàng)建一個(gè)新的類別呢?)。這類問題,尤其是在比特幣協(xié)議更新極其緩慢的環(huán)境下,隨著開發(fā)者們?cè)诒忍貛努F(xiàn)有局限性的權(quán)衡中掙扎,將會(huì)變得更加頻繁。
比特幣是一種可編程貨幣,人們對(duì)其進(jìn)行編程的方式并不總是符合我們預(yù)先定義的框架。






.png)





















