Dolandırıcılık kanıtı ve ZK Fraud Proof'un gerçekleştirme yöntemi
Dolandırıcılık kanıtı, blok zinciri alanında yaygın olarak uygulanan bir teknik çözümdür, ilk olarak Ethereum topluluğundan kaynaklanmış ve Arbitrum ve Optimism gibi Layer2'ler tarafından benimsenmiştir. 2023'te Bitcoin ekosisteminin ortaya çıkmasıyla Robin Linus, dolandırıcılık kanıtını temel alan BitVM çözümünü önerdi ve bu, Bitcoin ikinci katmanı veya köprü için yeni bir güvenlik modeli sağladı.
BitVM, erken dönem mantık kapısı devreleri çözümünden sonraki ZK Dolandırıcılık Kanıtı çözümüne kadar bir dizi versiyon evrimi geçirdi. Bitlayer, Citrea, BOB gibi birçok proje, BitVM'yi teknik temel olarak alarak farklı uygulamalar gerçekleştirdi.
Bu makale, Optimism'in dolandırıcılık kanıtı sistemini örnek alarak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtı uygulaması ile ZK tabanlı dolandırıcılık kanıtı yaklaşımını analiz edecektir.
OutputRoot ve StateRoot
Optimism'in altyapısı, sıralayıcı ve Ethereum zincirindeki akıllı sözleşimleri içerir. Sıralayıcı, işlemleri işledikten sonra, DA verilerini Ethereum'a gönderir. Herkes Optimism düğümünü çalıştırabilir, verileri indirebilir ve yerel olarak işlemleri gerçekleştirebilir, mevcut durum kümesi hash'ini hesaplayabilir.
Eğer sıralayıcı yanlış bir durum kümesi hash'i yüklerse, yerel hesaplama sonuçları farklı olacaktır, bu durumda dolandırıcılık kanıtı sorgulaması başlatılabilir.
Optimism, durum kümesi değişikliklerini belirtmek için Ethereum ile benzer bir StateRoot alanı kullanır. Sıralayıcı, düzenli olarak OutputRoot'u Ethereum'a yükler, OutputRoot ise StateRoot ve diğer alanların hesaplanmasıyla elde edilir.
MIPS sanal makinesi ve bellek Merkle Ağacı
Çıktı Kökü'nün doğruluğunu zincir üzerinde doğrulamak için, Optimism ekibi Solidity ile MIPS sanal makinesini gerçekleştirdi ve etkileşimli dolandırıcılık kanıtı sistemi tasarladı.
Bu sistem, işlem işleme sürecini MIPS opcode dizisine ayrıştırır. Hangi opcode'un çalıştırılmasının ardından sanal makine durumunun hatalı olduğunu gözlemleyerek, OutputRoot'un geçerli olup olmadığını belirler.
MIPS sanal makinesinin durum bilgisi Merkle ağacına düzenlenmiştir. Zincir üzerinde yalnızca bir MIPS opcode'u çalıştırmak yeterlidir, yürütme sonrası durum hash'inin tutarlı olup olmadığını kontrol edin.
Sanal makinenin bellek verileri de 28 katmanlı ikili Merkle ağacına örgütlenmiştir, kök hash memRoot olarak adlandırılır. İşlem kodunu yürütürken, bazı bellek verilerini ve Merkle kanıtını yüklemek gerekmektedir.
Etkileşimli dolandırıcılık kanıtı
Optimism, Fault Dispute Game(FDG) protokolünü geliştirdi, bu protokolde iki rol var: meydan okuyan ve savunucu. Taraflar, iki seviyeli Merkle ağacını içeren GameTree'yi yerel olarak inşa etmelidir.
İlk seviye ağaç yaprağı düğümleri farklı blokların OutputRoot'udur.
İkinci seviye yaprak düğümü MIPS sanal makinesinin durum hash'idir.
Etkileşimli dolandırıcılık kanıtının temel mekanizması:
FDG konumlandırma için zincir üzerinde yürütülmesi gereken opcode ve VM durumu
Zincir üzerindeki MIPS sanal makinesinde bu opcode'u çalıştırarak sonucu elde et
ZKlaştırılmış dolandırıcılık kanıtı
Geleneksel etkileşimli dolandırıcılık kanıtı, karmaşık etkileşim, yüksek gas maliyetleri ve Rollup yürütmesini durdurma gibi sorunlar içermektedir. Bu nedenle, Optimism ZK Dolandırıcılık Kanıtı kavramını önermiştir:
Mücadeleci, yeniden oynanması gereken işlemi belirler.
Rollup sıralayıcı, bu işlemin ZK kanıtını oluşturur.
Ethereum sözleşmesi ZK kanıtını doğrulama
Etkileşimli çözümlerle karşılaştırıldığında, ZK Dolandırıcılık Kanıtı çoklu etkileşimi tek bir ZK kanıtı üretimi ve doğrulamasına indirger, zaman ve gaz maliyetinden tasarruf sağlar. ZK Rollup ile karşılaştırıldığında, yalnızca zorluklarla karşılaşıldığında kanıt üretir, hesaplama maliyetlerini düşürür.
BitVM2 de benzer bir yaklaşım benimseyerek, Bitcoin script'i aracılığıyla ZK Proof doğrulamasını gerçekleştirmiş ve zincir üzerinde çalışan programı büyük ölçüde sadeleştirmiştir.
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.
11 Likes
Reward
11
9
Repost
Share
Comment
0/400
LiquidityOracle
· 08-07 07:05
op ve arb artık sıkıldım, biraz değişiklik yapalım.
View OriginalReply0
DegenWhisperer
· 08-06 17:11
Bitcoin de zk olacak
View OriginalReply0
GateUser-4745f9ce
· 08-04 09:25
On yıl önce başlamıştım.
View OriginalReply0
GasFeeNightmare
· 08-04 08:33
7gas mülteci suç ortağı
View OriginalReply0
RugResistant
· 08-04 08:31
bu bitvm şeyleri düşük anahtarlı şüpheli... daha fazla güvenlik denetimine ihtiyaç var açıkçası
View OriginalReply0
HallucinationGrower
· 08-04 08:15
Kod yazmayı bilmediğim için p teknolojisini anlıyorum.
View OriginalReply0
ValidatorVibes
· 08-04 08:11
dolandırıcılık kanıtları gerçekten oyunu değiştiriyor... btc ekosistemi nihayet eth ile ayak uyduruyor açıkçası
ZK dolandırıcılık kanıtı: Optimism'den BitVM'ye evrim ve uygulama
Dolandırıcılık kanıtı ve ZK Fraud Proof'un gerçekleştirme yöntemi
Dolandırıcılık kanıtı, blok zinciri alanında yaygın olarak uygulanan bir teknik çözümdür, ilk olarak Ethereum topluluğundan kaynaklanmış ve Arbitrum ve Optimism gibi Layer2'ler tarafından benimsenmiştir. 2023'te Bitcoin ekosisteminin ortaya çıkmasıyla Robin Linus, dolandırıcılık kanıtını temel alan BitVM çözümünü önerdi ve bu, Bitcoin ikinci katmanı veya köprü için yeni bir güvenlik modeli sağladı.
BitVM, erken dönem mantık kapısı devreleri çözümünden sonraki ZK Dolandırıcılık Kanıtı çözümüne kadar bir dizi versiyon evrimi geçirdi. Bitlayer, Citrea, BOB gibi birçok proje, BitVM'yi teknik temel olarak alarak farklı uygulamalar gerçekleştirdi.
Bu makale, Optimism'in dolandırıcılık kanıtı sistemini örnek alarak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtı uygulaması ile ZK tabanlı dolandırıcılık kanıtı yaklaşımını analiz edecektir.
OutputRoot ve StateRoot
Optimism'in altyapısı, sıralayıcı ve Ethereum zincirindeki akıllı sözleşimleri içerir. Sıralayıcı, işlemleri işledikten sonra, DA verilerini Ethereum'a gönderir. Herkes Optimism düğümünü çalıştırabilir, verileri indirebilir ve yerel olarak işlemleri gerçekleştirebilir, mevcut durum kümesi hash'ini hesaplayabilir.
Eğer sıralayıcı yanlış bir durum kümesi hash'i yüklerse, yerel hesaplama sonuçları farklı olacaktır, bu durumda dolandırıcılık kanıtı sorgulaması başlatılabilir.
Optimism, durum kümesi değişikliklerini belirtmek için Ethereum ile benzer bir StateRoot alanı kullanır. Sıralayıcı, düzenli olarak OutputRoot'u Ethereum'a yükler, OutputRoot ise StateRoot ve diğer alanların hesaplanmasıyla elde edilir.
MIPS sanal makinesi ve bellek Merkle Ağacı
Çıktı Kökü'nün doğruluğunu zincir üzerinde doğrulamak için, Optimism ekibi Solidity ile MIPS sanal makinesini gerçekleştirdi ve etkileşimli dolandırıcılık kanıtı sistemi tasarladı.
Bu sistem, işlem işleme sürecini MIPS opcode dizisine ayrıştırır. Hangi opcode'un çalıştırılmasının ardından sanal makine durumunun hatalı olduğunu gözlemleyerek, OutputRoot'un geçerli olup olmadığını belirler.
MIPS sanal makinesinin durum bilgisi Merkle ağacına düzenlenmiştir. Zincir üzerinde yalnızca bir MIPS opcode'u çalıştırmak yeterlidir, yürütme sonrası durum hash'inin tutarlı olup olmadığını kontrol edin.
Sanal makinenin bellek verileri de 28 katmanlı ikili Merkle ağacına örgütlenmiştir, kök hash memRoot olarak adlandırılır. İşlem kodunu yürütürken, bazı bellek verilerini ve Merkle kanıtını yüklemek gerekmektedir.
Etkileşimli dolandırıcılık kanıtı
Optimism, Fault Dispute Game(FDG) protokolünü geliştirdi, bu protokolde iki rol var: meydan okuyan ve savunucu. Taraflar, iki seviyeli Merkle ağacını içeren GameTree'yi yerel olarak inşa etmelidir.
Taraflar, zincir üzerinde defalarca etkileşimde bulunarak nihayet tartışmalı MIPS opcode'unu belirlediler.
Etkileşimli dolandırıcılık kanıtının temel mekanizması:
ZKlaştırılmış dolandırıcılık kanıtı
Geleneksel etkileşimli dolandırıcılık kanıtı, karmaşık etkileşim, yüksek gas maliyetleri ve Rollup yürütmesini durdurma gibi sorunlar içermektedir. Bu nedenle, Optimism ZK Dolandırıcılık Kanıtı kavramını önermiştir:
Etkileşimli çözümlerle karşılaştırıldığında, ZK Dolandırıcılık Kanıtı çoklu etkileşimi tek bir ZK kanıtı üretimi ve doğrulamasına indirger, zaman ve gaz maliyetinden tasarruf sağlar. ZK Rollup ile karşılaştırıldığında, yalnızca zorluklarla karşılaşıldığında kanıt üretir, hesaplama maliyetlerini düşürür.
BitVM2 de benzer bir yaklaşım benimseyerek, Bitcoin script'i aracılığıyla ZK Proof doğrulamasını gerçekleştirmiş ve zincir üzerinde çalışan programı büyük ölçüde sadeleştirmiştir.