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.
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.
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.
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:
Birinci seviye yaprak düğümü, farklı blokların OutputRoot'udur.
İ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.
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:
Mücadeleci, yeniden oynatılması gereken işlemi belirtir.
Rollup sıralayıcısı bu işlemin ZK kanıtını üretir.
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.
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.
12 Likes
Reward
12
2
Share
Comment
0/400
FudVaccinator
· 07-15 02:45
Teknik açıdan çok ilginç ama L2'de sadece op'ye bakmak yeter.
View OriginalReply0
Layer2Observer
· 07-14 03:10
MIPS Sanal Makine fena değil, ama maliyeti çok yüksek.
Derinlik analizi: dolandırıcılık kanıtının evrimi ve ZK Fraud Proof uygulama prensibi
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.
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.
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.
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:
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.
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:
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.