加密貨幣交易所 FTX 暴雷事件震撼幣圈，上百萬用戶淪為受災戶，有「V 神」之稱的以太坊共同創辦人 Vitalik Buterin 16 日提醒強調，使用 DeFi 和自我託管也存在風險。
（前情提要：FTX 助攻！冷錢包 Ledger、Trezor 銷售創歷史新高；台灣 Coolwallet 業績暴增十倍）
（背景補充：CZ AMA重點整理》將合作V神推”新儲備金證明機制”、成立”全球行業協會”…）
加密貨幣交易所 FTX 因爆發流動性危機，在 11 日根據美國破產法第 11 章，向紐約南區法院聲請破產重組，全球估計有上百萬人蒙受損失。針對 FTX 暴雷事件，以太坊共同創辦人 Vitalik Buterin 在16 日發推表示：
「在默認情況下，中心化的任何東西都是邪惡的，使用 DeFi 和自我託管」的精神，本週表現非常好，但請記住它們也有風險：智能合約代碼中的 bug。
重要的是要防範它：
-保持代碼簡單
-審計、形式驗證等
-深度防禦我最擔心的是，如果我們在 2 年後的 ZK-rollup 中擁有 100 億美元，並因為電路約束程式碼或其周圍的 EVM 封裝器中的 bug 而被駭。對於後者，保持簡單並進行形式驗證，對於前者，我最好的想法是：通過多重證明強化Rollup。
The one I worry about most is if we have $10B in a ZK-rollup 2y from now and it gets hacked because of a bug in the circuit constraint code or the EVM wrapper around it.
For the latter, keep it simple and formal-verify. For the former, my best ideas are:https://t.co/1vr8cAF2Cg
— vitalik.eth (@VitalikButerin) November 16, 2022
而當一名推特用戶問及 PSE ZK-EVM 線路長達 34469 行的程式碼是否可以簡化時，Vitalik Buterin 隨即回應「也許可以！最現實的選擇是創建一種良好的中介語言，並用它編寫 ZK-EVM，有一個項目通過 StarkWare Cairo語言做到了，這很酷！」。
Maybe! The most realistic option is creating a good intermediate language, and writing the ZK-EVM in that. There's a project doing that through @StarkWareLtd Cairo, it's cool!https://t.co/KePXwixBBw
— vitalik.eth (@VitalikButerin) November 16, 2022
曾批 FTX 欺詐比 Mt.Gox 、 Luna 更嚴重
此前，在 FTX 暴雷後，Vitalik Buterin 曾在 12 日發推痛批，FTX 的欺詐行為比 Mt.Gox 、 Luna 更嚴重，他指出「Mt.Gox 看起來就很可疑，且從未過分粉飾自己，Luna 也是，但 FTX 恰恰相反，FTX 努力讓自身看上去完全合規，第二種類別的欺詐行為，比第一種更嚴重」。
不過 Vitalik Buterin 在 15 日表示，自動貶低 SBF 所相信的每一件事是錯的，重要的是，要真正思考和弄清楚哪些事情導致欺詐，哪些事情沒有，他喊話「不要成為在 1945 年試圖取消素食主義的人」。
為了防範類似 FTX 崩潰的事件重演，幣安執行長趙長鵬剛在 13 日宣布，幣安將與 Vitalik Buterlin 合作，推出新型態的交易平台儲備金驗證方式，以便於交易所用更短時間提出儲備證明，並讓用戶能第一時間了解資金狀態，而幣安將作為第一個試點。
📍相關報導📍
V神提3大監管建議 : DeFi 前端 KYC 沒什麼意義！SBF：即將到來
