熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁

Eli Ben-Sasson | Starknet.io
首席執行官 @ StarkWare |共同發明者 ZK-STARK;Zcash |
將密碼學引入加密貨幣的自由技術 |
@StarkWareLtd |@Starknet
我的意見,沒有投資建議
Kyle 是第一名的風險投資者,但在這個論點上 -- "FHE 是隱私的最佳選擇" -- 你錯了:
FHE 有兩個問題:你需要 *鏈的節點* 來進行 FHE 的重計算。因為 FHE 提供隱私,但不提供 *完整性*。如果你需要完整性,你要麼需要信任 FHE 操作員(集中式設置,不是區塊鏈),要麼 *添加 ZK* 到這個組合中,因為 ZK 確實能證明完整性。
第二個問題是所需的矽和規模相當大,尤其是在大規模(1000TPS)時。你需要節點來運行它,這會損害去中心化和規模。
ZK 允許將大量計算卸載到一台不受信任的計算機上,並仍然處理這些交易並將其上鏈,沒有信任假設。
我喜歡 Zama,也喜歡 FHE。作為今天部署的許多 ZK 技術的共同發明者(Zcash 和 StarkWare 的共同創始人),我對那些將月球數學變為現實的團隊,如 Zama,抱有極大的尊重。
但 FHE 不是你所描述的靈丹妙藥。

Kyle Samani10月23日 00:36
6/
b) 是最微妙且最難以理解的。這就是 ZK 失敗的地方。
要理解為什麼,讓我們考慮最簡單的隱私應用:zcash(不涉及 DeFi)。
當你提交一筆保護的 zcash 交易時,你會產生一個證明,大致上說:"我正在發送硬幣,以便在這筆交易後我的餘額仍然 >0。"
好吧,如果你聚合 1000 筆這樣的交易,然後作為外部觀察者查看鏈的狀態,你對狀態知道什麼?什麼都不知道。
現在想像一下在此基礎上進行 DeFi。當你的交易根本無法看到或與其他人的資產互動時,你怎麼做 DeFi?
過去十年中,許多團隊一直在嘗試解決這個問題,包括 Aztec、Aleo,還有可能有很多我現在想不起來的團隊。
這些團隊必須面對的根本挑戰就是上述挑戰。基本上,你如何設計 ZKP 以允許外部世界看到選擇性的信息(例如,支持貸款的抵押品有多少)。
現在考慮一下作為 DeFi 開發者的情況。你不僅要設計你的 DeFi 協議,還必須以 1) 部分受限的方式進行設計,並且 2) 你必須理解 ZKP 的工作原理。誰想成為一個在這些額外風險下構建擁有 9 或 10 位數的 DeFi 系統的開發者?這真是可怕的事情。
許多 zk DeFi 團隊一直在努力使這些東西更易於理解,但根本的現實是非常難以應對的。
此外,這需要從頭開始重建每一個 DeFi 原語。
這裡的根本挑戰是,當前我們所知道的 DeFi *需要能夠推理全球共享狀態的能力。*
也許有辦法從頭開始用選擇性推理重建 DeFi,但我對這一說法持極度懷疑的態度。並且以一種讓其他人都相信的方式向全世界展示這一說法,將是一個十年的努力,因為有數十個定制的 zk 電路存在著技術風險。
那麼什麼是 FHE?FHE 允許你對加密數據進行計算。這被認為是幾十年來密碼學的聖杯。
考慮使用 FHE 作為主要密碼學構造的私有 DeFi 實際上是相當簡單的。你可以把它想像成透明的!只是神奇的是,所有東西都不是透明的,但你仍然可以對其進行計算。
是的,這是魔法。
17.53K
那麼,解決比特幣缺乏隱私的方案是什麼?
(還有:建立它的主要挑戰是什麼)
簡而言之,我在這裡引用的前一篇文章中提到,比特幣對每個人都是開放的,可以操作和驗證。好處是:你不依賴於某一個人/實體來根據你的意願處理你的資產。缺點是:你需要向每個人證明,對於你所做的每一個操作,你確實是你資產的擁有者,因此這些細節無法保持機密。
解決方案是什麼?
你可以加密你的數據(也許是你持有的BTC數量,或者你要發送給誰)。
但是怎麼做?誰來解密?
誰來證明你確實擁有這些BTC(而且你不是在試圖偷別人的BTC)?
這就是加密證明的救援之處 🎉
這種“月球數學”解決了這個問題。(“月球數學”這個術語是由Greg Maxwell提出的,指的是我在2013年展示的數學,並且自那時以來一直與ZK相關聯)。
使用這些證明,你可以將你的數據隱藏在*每個人*面前,並且仍然向他們證明這是正確的。只有你能看到你擁有的東西。你使用像ZK STARKs和ZK SNARKs這樣的加密證明,以加密的方式證明你正在“做正確的事情”。
你可以證明:
1. 你擁有你的資產(你擁有它們的密鑰)
2. 你正在將它們轉移給其他人(只有你和他知道的詳細信息)
3. 你正確地計算每一分錢。
這些加密證明的魔力在於,它們毫無疑問地說服每個人,你正在做正確的事情(你擁有那些硬幣,並且你正在進行有效的支付),而這一切都不會透露任何有關你的地址、收件人或發送金額的信息。如果有任何不符合要求的情況,這些證明會揭示出來,你將無法使用它們。
這就是解決方案。那麼挑戰在哪裡?
如果這麼簡單,為什麼不是每個人都在使用它來保護他們的比特幣(和其他)交易?
答案:(目前)用戶體驗很糟糕。
當你進行比特幣交易時,你可以使用多種硬體和軟體錢包。但目前沒有支持ZK的月球數學的硬體錢包,只有少數軟體錢包支持。
然後還有需要時間來同步和收集你收到的所有保護支付。這真是令人失望。
最後,從保護的硬幣轉移到你當地銀行的法幣可能非常困難。這對於普通支付來說是如此。如果你想要像DeFi這樣的隱私,那就是另一個麻煩的問題。
我為什麼告訴你這些?
因為隱私對於加密貨幣的全球採用至關重要。而且有些人正在努力解鎖隱私和用戶體驗的正確組合。別擔心,我們會做到的。
結束

Eli Ben-Sasson | Starknet.io10月23日 23:31
比特幣缺乏隱私 - 簡短解釋給需要的人。
作為我在與隱私最相關的技術方面的工作的一部分(ZK-STARKs的共同發明者,Zerocash論文的共同作者,以及Zcash的共同創始人),我花了很多時間思考隱私和區塊鏈。
這是一個基本問題:
為什麼比特幣會有隱私問題?
我的意思是,當你使用Venmo、Robinhood或你的銀行應用時,你不會抱怨隱私問題。你所有的數據和交易都對其他用戶保密。為什麼我們不能在比特幣上也有同樣的情況?
這是因為當你使用Venmo和Robinhood時,你告訴他們:“請保管我所有的資金。偶爾我會請你們做某些事情,請你們去做。”沒有其他用戶參與這個互動。
在大多數情況下,這是有效的。他們會按照你的要求去做,這不涉及其他人知道這件事。但這裡有一個缺點:你知道如果他們選擇審查你、關閉你的帳戶、扣押資金或停止服務,他們可以並且會這樣做。
比特幣是不同的,它沒有這個缺點:
它將操作和驗證網絡的權力分配給任何選擇這樣做的人。這是一種力量的來源,因為與Venmo或Robinhood不同,沒有人可以審查你,沒有人可以停止你的交易,沒有人可以拿走你的資金。權力分配給許多人,這樣你就不必只依賴一個人。你不需要信任任何人。你只信任自己。你擁有你的資產。
這對你作為個人來說是賦權的,但這也意味著你需要*證明*給比特幣上的每個人,通過每一筆交易,你確實是你資產的擁有者。你必須公開這樣做,讓所有人都能看到,因為如果任何人都可以操作網絡,那麼任何人都應該能夠驗證你擁有你的資產。這就殺死了你的隱私。
所以這就是問題所在。
解決方案?STARKs。為什麼?我會在另一條推文中解釋 :-)
6.45K
熱門
排行
收藏
