VIT:Vitalik：混淆電路（Garbled circuits）快速入門_VITO

注：原文作者是以太坊聯合創始人VitalikButerin。

特別感謝DankradFeist對本文進行的審閱工作。

混淆電路是一種非常古老，且非常簡單的密碼學原語。它們很可能是通用“多方計算”的最簡單形式。

以下是該方案的常規設置：

假設存在兩方，愛麗絲和鮑勃，他們想要計算一些函數f(alice_inputs,bob_inputs)，這需要從雙方那獲取輸入。愛麗絲和鮑勃都想知道計算函數f的結果，但是愛麗絲不想鮑勃知道她的輸入，而鮑勃則不想愛麗絲知道他的輸入。理想情況下，除了f的輸出外，他們都不會得知任何其它東西。

愛麗絲執行特殊的過程來加密評估函數f的電路。她將輸入傳遞給鮑勃。

鮑勃使用一種稱為“1-of-2茫然傳輸”的技術來學習自己輸入的加密形式，而不讓愛麗絲知道他獲得了哪些輸入。

鮑勃在加密數據上運行加密電路，得到答案，并將其傳遞給愛麗絲。

額外的密碼學封裝可用于保護該方案，以防止愛麗絲和鮑勃發送錯誤的信息并互相給出錯誤的答案。為了簡單起見，我們不會討論這些問題，盡管可以說“把ZK-SNARK封裝在所有東西上”是其中之一有效的解決方案。

元宇宙基礎設施提供商MetaGravity完成950萬美元融資:金色財經報道，元宇宙基礎設施提供商MetaGravity完成950萬美元種子輪融資，本輪融資由Sino Global、Spartan Group LLC、Market One Capital等參投，本輪融資資金將用于擴大其工程和產品團隊，以開發支持未來大規模虛擬宇宙體驗所需的基礎設施層。[2023/4/21 14:17:58]

那基本方案如何運作呢？讓我們從電路開始：

這是一個最簡單的電路例子，它實際上做了一些事情：它是一個兩位加法器。它以二進制形式輸入兩個數字，每個數字具有兩位，并輸出一個三位二進制數字。

現在，讓我們對電路進行加密。首先，對于每個輸入，我們隨機生成兩個“標簽”：一個表示輸入為0，另一個表示輸入為1。然后我們也對每個中間線做同樣的操作，不包括輸出線。注意，這些數據不是愛麗絲發送給鮑勃的“混淆”的一部分；到目前為止，這只是設置。

Vitalik Buterin 回應推特改名，“真實姓名”并不代表護照姓名:6月10日消息，以太坊創始人 Vitalik Buterin 發推解釋推特名更改為“豚林 vitalik.eth”的原因。Vitalik 稱，請不要使用“真實姓名”來指代護照姓名，你的政府無權定義你“真正”是誰。如果你在大多數日常互動中使用不同的名字，那就是你的真實姓名。[2022/6/11 4:17:39]

現在，對于電路中的每個門，我們執行以下操作。對于每一個輸入組合，我們在愛麗絲提供給鮑勃的“混淆”中包含輸出標簽，該標簽是通過將導致該輸出的輸入標簽散列在一起而生成的密鑰加密的。為了簡單起見，我們的加密算法可以是

enc(out,in1,in2)=out+hash(k,in1,in2)，其中

k是門的索引。如果你知道這兩個輸入的標簽，并且你有混淆，那么你可以學習相應輸出的標簽，因為你只需計算相應的哈希，并將其減去即可。

Vitalik：有研究證明 EIP 1559 大大減少了平均交易等待時間:1月18日消息，Vitalik今日在推特上轉發了北京大學和杜克大學共同研究關于 EIP 1559的論文《EIP-1559的實證分析：交易費用、等待時間和共識安全》，并表示，此篇論文特別提到 EIP 1559 大大減少了交易的平均等待時間的確認。

據了解，這篇論文研究證明，EIP-1559通過簡化費用估算、緩解區塊內已付gas價格差異以及減少用戶等待時間，大大改善了用戶體驗。然而，EIP-1559對gas費波動和普遍安全性的影響很小。此外，研究還發現，當以太坊的價格波動較大時，等待時間明顯較長，研究還驗證了較大規模的區塊會增加兄弟區塊的存在。[2022/1/18 8:56:09]

這是第一個異或門的混淆：

請注意，我們直接包括0和1，因為此異或門的輸出直接是程序的最終輸出。現在，讓我們看一下最左邊的與門：

Swingby與Waves計劃將LTC、BEP-2代幣和隱私幣連接到Gravity:Swingby和Waves聯合力量來增強其鏈間基礎設施，并將LTC、BEP-2代幣和隱私幣連接到Gravity及其各種目標鏈。Swingby和Gravity宣布達成合作，重點是將兩個為跨鏈交互設計的基礎設施結合起來，共同構建鏈間DeFi。（Globe Newswire）[2020/9/1]

在這里，門的輸出僅用作其他門的輸入，因此我們使用標簽而不是位來隱藏評估器中的這些中間位。

愛麗絲將提供給鮑勃的混淆只是每個門第三列中的所有內容，每個門的行被重新排序。為了幫助鮑勃了解為每個門解密哪個值，我們將使用一個特定的順序：對于每個門，第一行變為兩個輸入標簽均為偶數的行，第二行第二個標簽為奇數，第三行第一個標簽為奇數，第四行兩個標簽均為奇數。我們以相同的方式混淆電路中的每個其他門。

金色財經獨家分析 以太坊創始人Vitalik反對通過分叉方式抵制ASICs:在周五舉行的開發者大會上，針對用分叉解決ASIC礦機的討論，以太坊創始人Vitalik表示，“在這一點上，我個人傾向于不采取任何行動。”金色財經獨家分析，據比特大陸官方消息，Antminer E3礦機將于7月開放銷售。該款礦機將改變以太坊的挖礦算法。以太坊的開采歷史上一直被GPUs所主導，這一改變將導致以太坊的挖掘中心化。另一方面，ASICs提高了進入的門檻，可能會排擠較小型的礦主。之前以太坊主要開發人員討論是否要對區塊鏈進行硬分叉，以抵制比特大陸ASIC礦機對算法的改變。在3月29日，以太坊開發者Piper Merriam提出了以太坊改進提案(EIP) #958，該方案尋求社區對區塊鏈是否應該分叉以及它如何“抵抗ASIC”的建議。此次在開發者大會上，Vitalik反對通過分叉方式抵制ASICs，這似乎預示著以太坊不會針對ASIC礦機進行硬分叉。[2018/4/9]

總之，愛麗絲為電路中的每個門向鮑勃發送了四個約256位的數字。事實證明，4遠非最佳值；有關如何將與門的數量減少為3甚至是2，以及將異或門數量減少為零，請參見此處的一些優化。請注意，這些優化確實依賴于某些更改，使用XOR代替加法和減法，盡管為了安全起見還是應該這樣做。

當鮑勃收到電路時，他向愛麗絲索要與她的輸入相對應的標簽，并且他使用稱為“1-of-2茫然傳輸”的協議來向愛麗絲索要與自己的輸入相對應的標簽，而沒有向愛麗絲透露他的輸入是什么。然后他一個接一個地通過電路中的各個門，揭露每個中間門的輸出線。

假設愛麗絲的輸入是兩條左線，她給出，而鮑勃的輸入是兩條右線，他給出。這又是帶有標簽的電路：

在一開始，鮑勃知道標簽6816,3621,4872,5851；

鮑勃評估第一個門，他知道6816和4872，因此他可以提取與對應的輸出值并提取第一個輸出位1；

鮑勃評估第二個門，他知道6816和4872，因此他可以提取與對應的輸出值并提取標簽5990；

鮑勃評估第三個門，他知道他知道3621和5851，并學習7504；

鮑勃評估第四個門，他知道3621和5851，并學習6638；

鮑勃評估第五個門，他知道3621和5851，并學習7684；

鮑勃評估第六個門，他知道5990和7504，并學習第二個輸出位0；

鮑勃評估第七個門，他知道5990和6638，并且學習了8674；

鮑勃評估第八個門，他知道8674和7684，并學習了第三個輸出位1；

這樣鮑勃就了解了輸出：101。在二進制中，10+11實際上等于101的原因），所以它起作用了！

請注意，加法的使用在混淆電路中是毫無意義的，因為知道101的鮑勃可以減去他自己的輸入并得到101-11=10，從而破壞了隱私。但是，一般情況下，混淆電路可用于不可逆的計算，因此請勿以此方式破壞隱私（例如，人們可能會想到一種計算，其中愛麗絲的輸入和鮑勃的輸入，是他們對個性測驗的答案，而輸出是一個位，決定算法是否認為它們是兼容的；而這一位的信息不會讓愛麗絲和鮑勃知道彼此的個人測驗答案。

1-of-2茫然傳輸

現在讓我們更多地討論1-of-2茫然傳輸，這是鮑勃用來從愛麗絲那獲取與他自己輸入對應標簽的技術。問題是這樣的：聚焦于鮑勃的第一個輸入位，愛麗絲有一個對應于0的標簽，和一個對應于1的標簽。鮑勃有他想要的輸入位：1。鮑勃想學習正確的標簽，而又不讓愛麗絲知道他的輸入位是1。平凡的解決方案不起作用，因為愛麗絲只想放棄兩個輸入標簽中的一個，如果鮑勃同時接收兩個輸入標簽，則可能泄漏愛麗絲不想放棄的數據。

下面是一個使用橢圓曲線的簡單協議：

愛麗絲生成一個隨機橢圓曲線點H；

鮑勃生成兩個點P1和P2，要求P1+P2等于H。鮑勃選擇P1或P2為G*k。請注意，P1+P2=H的要求可確保鮑勃不能生成P1和P2。這是因為如果在鮑勃知道k1和k2的情況下，如果P1=G*k1和P2=G*k2，則H=G*，因此這意味著鮑勃可提取H的離散對數，這意味著橢圓曲線密碼系統的所有部分都被破壞了；

愛麗絲確認P1+P2=H，并使用一些標準公鑰加密方案加密P1下的v1和P2下的v2。鮑勃只能解密這兩個值中的一個，因為他知道最多對應一個值的私鑰，而愛麗絲又不知道是哪一個。

這解決了問題，鮑勃根據輸入位的不同，學習兩個線標簽中的一個，而愛麗絲卻不知道鮑勃學習了哪個標簽。

應用領域

混淆電路對于很多應用都有潛在的用途，而不僅僅是2-of-2的計算。例如，你可以使用它們進行任意復雜度的多方計算，其中任意數量的參與者提供輸入，這些輸入可以在恒定數量的交互中運行。產生一個混淆電路是完全并行的，你可以同時進行多個混淆門。

因此，你可以簡單地進行大規模多方計算，其中許多參與者計算電路中所有門的混淆，并發布與其輸入對應的標簽。標簽本身是隨機的，因此不會透露任何關于輸入的信息，但是任何人都可以執行公布的混淆電路，并在“清除”中學習輸出。有關使用混淆作為成分的MPC協議的最新示例，請參見此處。

多方計算不是唯一的應用環境，在這種情況下，這種將計算拆分為可并行處理部分的技術可對秘密數據進行操作，然后再進行可明確運行的順序部分，這是有用的，而混淆電路并不是實現這一點的唯一技術。一般來說，關于隨機編碼的文獻，包括很多更復雜的技術，這一數學分支在函數加密和模糊處理等技術中也是很有用的。

Tags：VIT以太坊ALITALVITO以太坊幣怎么挖礦網站下載ALIA幣Bitcrystals

比特幣