Derinlik analizi: dolandırıcılık kanıtının evrimi ve ZK Fraud Proof uygulama prensibi

robot
Abstract generation in progress

Dolandırıcılık kanıtı ve ZK Dolandırıcılık Kanıtı'nın uygulama prensibi

Dolandırıcılık kanıtı, blockchain alanında yaygın olarak kullanılan bir teknik çözümdür. İlk olarak Ethereum topluluğunda ortaya çıkmış ve Arbitrum ile Optimism gibi Layer2 çözümlerinde benimsenmiştir. 2023'te Bitcoin ekosisteminin yükselmesiyle, Robin Linus BitVM çözümünü önerdi ve dolandırıcılık kanıtını temel düşünce haline getirerek Bitcoin ikinci katmanı veya köprüleri için yeni bir güvenlik modeli sağladı.

BitVM, başlangıçta mantık kapıları devreleri çözümünden sonra ZK Dolandırıcılık Kanıtı ve Groth16 doğrulama devresi çözümlerine kadar birçok versiyon evrimi geçirdi ve ilgili teknik yollar sürekli olgunlaşmaktadır. Şu anda piyasada birçok proje, BitVM'i teknik temel olarak alarak farklı uygulamalar gerçekleştirmiştir.

Bu makalede, Optimism'in dolandırıcılık kanıtı planı örnek olarak alınarak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtı üzerine gerçekleştirilmesi ve ZK tabanlı dolandırıcılık kanıtının ana fikri analiz edilecektir.

OutputRoot ve StateRoot

Optimism'in altyapısı sıralayıcı ve Ethereum üzerindeki akıllı sözleşmelerden oluşmaktadır. Sıralayıcı, işlemleri işledikten sonra verileri Ethereum'a gönderir. Herkes Optimism düğümünü çalıştırabilir, sıralayıcı tarafından yüklenen verileri indirip yerel olarak işlemleri gerçekleştirebilir ve mevcut durum kümesi hash'ini hesaplayabilir.

Eğer sıralayıcı yanlış bir durum seti hash'i yüklediyse, yerel hesaplama sonuçları farklılık gösterecektir. Bu durumda dolandırıcılık kanıtı itirazında bulunulabilir. Sistem, karar sonucuna göre sıralayıcıya uygun işlemleri yapacaktır.

Optimism, durum kümesi değişikliklerini belirtmek için Ethereum'a benzer bir StateRoot alanı kullanır. Sıralayıcı, belirli aralıklarla OutputRoot'u Ethereum'a yükler; OutputRoot, StateRoot ve diğer alanların hesaplanmasıyla elde edilir.

BitVM arka plan bilgisi: dolandırıcılık kanıtı ve ZK Dolandırıcılık Kanıtı uygulama yaklaşımı

MIPS sanal makinesi ve bellek Merkle Ağaç

OutputRoot'un doğruluğunu zincir üzerinde doğrulamak için, Optimism ekibi Solidity ile bir MIPS sanal makinesi gerçekleştirdi, bu da bazı OP düğüm işlevlerini yerine getirebilir. Ancak Ethereum'un Gas kısıtlamaları nedeniyle, tüm işlemleri zincir üzerinde tamamen gerçekleştirmek mümkün değildir.

Bu sorunu çözmek için Optimism, etkileşimli dolandırıcılık kanıtı sistemini tasarladı ve işlem işleme sürecini bir dizi MIPS opcode'unun yürütülmesi olarak ayrıntılandırdı. Hangi opcode'un yürütülmesi sırasında bir hata olduğunu gözlemleyerek, OutputRoot'un geçersiz olup olmadığını belirlemek mümkündür.

BitVM arka plan bilgisi: dolandırıcılık kanıtı ve ZK Fraud Proof'un uygulanma düşüncesi

Somut uygulamada, MIPS sanal makinesinin durum bilgileri Merkle ağacı şeklinde organize edilmiştir. Dolandırıcılık kanıtı ile ilgili sözleşmeler, Step fonksiyonu aracılığıyla tek bir MIPS komutunu yürütür ve sıralayıcı tarafından sunulan sonuçlarla karşılaştırır.

MIPS sanal makinesinin bellek verileri ayrıca 28 katmanlı Merkle ağacı olarak düzenlenmiştir, memRoot bu ağacın kök hash'idir. Komutları yürütürken belirli bellek verileri ve Merkle kanıtı sağlanması gerekmektedir.

BitVM arka plan bilgisi: dolandırıcılık kanıtı ve ZK Fraud Proof'un uygulanma düşüncesi

Etkileşimli dolandırıcılık kanıtı

Optimism ekibi, tartışmalı MIPS opcode'larını belirlemek için Fault Dispute Game(FDG) protokolünü geliştirdi. Katılımcıların, iki düzey içeren GameTree'yi yerel olarak inşa etmeleri gerekiyor:

  1. Birinci seviye yaprak düğümü, farklı blokların OutputRoot'udur.
  2. İkinci seviye yaprak düğümü MIPS sanal makinesinin durum hash'idir.

Taraflar, zincir üzerinde birden fazla etkileşimde bulundu ve nihayetinde tartışmalı MIPS işletim kodunu ve bunun yürütüldüğü VM durumunu belirledi.

BitVM arka plan bilgisi: dolandırıcılık kanıtı ve ZK Fraud Proof'un uygulanma düşüncesi

ZKlaşma dolandırıcılık kanıtı

Geleneksel dolandırıcılık kanıtı, karmaşık etkileşimler, yüksek gas maliyetleri ve Rollup duraklaması gibi sorunlar içermektedir. Bu nedenle Optimism, ZK Dolandırıcılık Kanıtı kavramını ortaya koymuştur:

  1. Mücadeleci, yeniden oynatılması gereken işlemi belirtir.
  2. Rollup sıralayıcısı bu işlemin ZK kanıtını üretir.
  3. Ethereum akıllı sözleşme ZK kanıtı doğrulama

Etkileşimli çözümlere kıyasla, ZK Dolandırıcılık Kanıtı çoklu etkileşimleri tek bir ZK kanıtı oluşturma ve doğrulama turuna indirger, bu da zaman ve maliyet tasarrufu sağlar. ZK Rollup'a göre, yalnızca meydan okunduğunda kanıt oluşturulması, hesaplama yükünü azaltır.

Bu ZK'laşma yaklaşımı BitVM2 tarafından da benimsenmiştir. BitVM2'yi kullanan projeler, Bitcoin script'i aracılığıyla ZK Proof doğrulaması gerçekleştirmekte ve zincir üzerine yerleştirilen programı büyük ölçüde sadeleştirmektedir.

BitVM arka plan bilgisi: dolandırıcılık kanıtı ve ZK Dolandırıcılık Kanıtı uygulama düşüncesi

View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • 2
  • Share
Comment
0/400
FudVaccinatorvip
· 07-15 02:45
Teknik açıdan çok ilginç ama L2'de sadece op'ye bakmak yeter.
View OriginalReply0
Layer2Observervip
· 07-14 03:10
MIPS Sanal Makine fena değil, ama maliyeti çok yüksek.
View OriginalReply0
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate app
Community
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)