如果今天設計 Bitcoin 和 Ethereum，它們會看起來非常不同。 利用零知識證明，整個區塊鏈運作的模型可以從基本原則重新構建。 這就是 @0xMiden 正在做的：對區塊鏈進行全面的重新架構。🧵

多年來，區塊鏈的運作方式一直相同：用戶發送交易，驗證者執行它們，然後每個節點重新執行所有活動。 這保障了數兆的價值，但也使鏈條在速度、狀態增長、隱私、複雜性和用戶體驗上受到嚴格限制。

Miden 透過將執行轉移到邊緣來打破這一切。 用戶證明他們自己的交易，網絡僅驗證小型 ZK 證明。 - 執行移至鏈外 - 狀態移至鏈外 - 隱私成為默認 - 可擴展性終於變得真實

當用戶證明他們自己的交易時，網絡完全避免了執行膨脹。 你消除了區塊鏈歷史上最大的瓶頸。 與其讓每個節點運行每一筆交易，不如讓節點驗證代表數千或數百萬次操作的小證明。

這具有強大的效果： - 智能手機可以驗證大量工作負載 - 複雜的合約在沒有燃料限制的情況下運行 - 隨著應用程序的增長，網絡負載保持穩定 - 用戶保持他們的數據私密 - 狀態膨脹降至短期承諾 結果：更多的使用不會破壞網絡。

Miden 使用 Actor 模型。 每個帳戶都是一個小型狀態機，擁有自己的邏輯和資產。 帳戶通過備註更新自己並相互交流，這些備註就像鏈上意圖。 這使得安全的並行執行成為可能。 這就是 Miden 真正不同的地方。

這個設計使得在傳統鏈上幾乎不可能實現的事情成為可能： - 可回溯的交易 - 原生原子交換 - 私密到公共的互動 - 大規模的並行處理 - 轉移雙方的本地執行

Miden 支援兩種類型的帳戶： - 完全在鏈上的公共帳戶 - 本地或任何鏈外存儲的私人帳戶 私人帳戶的承諾僅為 32 字節，無論大小。 這使得 Miden 能夠支援數十億個私人帳戶，而不會使狀態膨脹。

智能合約在 Miden VM 上運行，這是為 ZK 證明而建的。 但你不需要學習一種新語言。 它可以運行任何編譯為 WebAssembly 的內容。 Rust 將是主要的合約語言。

建設者獲得自由。 重型邏輯移至鏈外，因此應用程序保持便宜和快速。 一個應用程序的複雜性不會提高其他所有人的成本。 金融應用、AI模型和先進的交易系統在規模上變得可行。

用戶預設獲得安全功能： - 所有帳戶都是智能合約 - 預設社交恢復 - 限速提款 - 無法發送到錯誤地址的風險（可撤回轉帳） - 可用多種代幣支付手續費 - 私人餘額可防止被針對

對於機構來說，Miden 提供私密且合規的執行，無需揭露敏感活動。 這對於支付通道、RWA 系統以及任何無法在完全公開視野中運作的業務至關重要。

Edge 區塊鏈 Miden 正在塑造出一些特別的東西。 @azeemk @schmiddominik1 @midenmonk @crypto_linn @Rightsideonly @chutoro_au @_SmokinTed @web3_alina @JiraiyaReal @yieldinator @hzl123331 @twindoges @poopmandefi @CryptoShiro_ @arndxt_xo @enijoshua_ @splinter0n @Eli5defi @cryptorinweb3 @Hercules_Defi @thelearningpill @belizardd @YashasEdu @Neoo_Nav @0xCheeezzyyyy @cryppinfluence @cchungccc @TheDeFiKenshin