Dolandırıcılık kanıtı ve ZK Dolandırıcılık Kanıtı'nın gerçekleştirme düşüncesi
Dolandırıcılık kanıtı, blok zinciri 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 ortaya çıkmasının ardından, Robin Linus BitVM çözümünü önerdi ve dolandırıcılık kanıtını temel düşünce olarak kullanarak Bitcoin ikinci katmanı veya köprüsü için yeni bir güvenlik modeli sundu.
BitVM, erken dönemlerde mantık kapısı devrelerini temel alan BitVM0'dan, daha sonra ZK Dolandırıcılık Kanıtı ve Groth16 doğrulama devrelerini merkez alan BitVM2'ye kadar birçok versiyon evrimi geçirdi; teknik yolu sürekli olarak olgunlaştı. Bitlayer, Citrea, BOB gibi birçok proje, BitVM'i teknik temel olarak kullanarak uygulama gerçekleştirdi.
Bu makalede, Optimism'in dolandırıcılık kanıtı planı örnek alınarak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtına dayanan planı ile ZK tabanlı dolandırıcılık kanıtının ana düşünceleri analiz edilecektir.
OutputRoot ve StateRoot
Optimism, tanınmış bir Optimistic Rollup projesidir. Mimarisi, sıralayıcı ve Ethereum zincirindeki 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 istemcisini ç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üklediyse, yerel hesaplama sonuçları farklı olacaktır, bu durumda itiraz başlatılabilir. Optimism, durum değişikliklerini göstermek için OutputRoot alanını kullanır, bu StateRoot ve diğer iki alandan hesaplanır.
MIPS sanal makinesi ve bellek Merkle Ağaç
Çıktı Kökü'nün doğruluğunu zincirde doğrulamak için, Optimism ekibi Solidity kullanarak MIPS sanal makinesini geliştirdi ve etkileşimli dolandırıcılık kanıtı sistemi tasarladı. Bu sistem, işlem işleme sürecini detaylandırarak hangi MIPS işlem kodunun hataya neden olduğunu gözlemler.
MIPS sanal makinesinin durum bilgileri Merkle ağaç yapısında düzenlenmiştir. Etkileşimli dolandırıcılık kanıtında, hangi işlem kodunun durum hash'inin hatalı olduğunu belirlemek gerekir, ardından sanal makine durumunu zincir üzerinde yeniden oluşturup bu işlem kodunu yürütmek gerekir.
Etkileşimli dolandırıcılık kanıtı
Optimism, Fault Dispute Game ( FDG ) protokolünü geliştirdi, bu protokolde iki rol bulunmaktadır: meydan okuyan ve savunucu. Her iki taraf, tartışmalı MIPS opcode'larını belirlemek için yerel olarak GameTree'yi inşa etmelidir.
ZKlaşma dolandırıcılık kanıtı
Geleneksel dolandırıcılık kanıtı, karmaşık etkileşim, yüksek gas maliyeti ve geliştirme zorluğu gibi sorunlar barındırmaktadır. Bu nedenle, Optimism ZK Dolandırıcılık Kanıtı kavramını önermiştir. Temel olarak, meydan okuyucu yeniden oynatılması gereken işlemleri belirler, sıralayıcı ZK kanıtı sunar ve bunu Ethereum sözleşmesi doğrular.
Etkileşimli dolandırıcılık kanıtına kıyasla, ZK Fraud Proof çoklu etkileşimi tek bir ZK kanıtı oluşturma ve doğrulama aşamasına indirger, bu da zaman ve maliyet tasarrufu sağlar. ZK Rollup'a göre, yalnızca bir meydan okuma durumunda kanıt oluşturulur, bu da hesaplama maliyetlerini düşürür.
Bu yaklaşım BitVM2 tarafından da benimsenmiştir. BitVM2, Bitcoin script'i aracılığıyla ZK Proof doğrulamasını gerçekleştirir ve zincir üzerindeki programı sadeleştirir. Bitlayer, Goat Network gibi birçok proje bu çözümü benimsemiş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
7
Repost
Share
Comment
0/400
BugBountyHunter
· 07-22 23:54
Yine op'nin araba teknolojisi, tüh tüh.
View OriginalReply0
GateUser-a180694b
· 07-22 23:36
Groth16 bu yeni çözüm gerçekten ilginç.
View OriginalReply0
TestnetFreeloader
· 07-22 22:00
Hemen yünden kollarım yumuşak olana kadar alacağım.
View OriginalReply0
GasWastingMaximalist
· 07-20 00:31
kripto dünyası da çok yoğun, bir sürü insan kanıt yapıyor.
View OriginalReply0
LiquidatedTwice
· 07-20 00:29
dolandırıcılık kanıtı oynadıktan sonra direkt olarak paranın üstüne git.
View OriginalReply0
BridgeTrustFund
· 07-20 00:28
Katılımcı bu OP dolandırıcılık kanıtı nasıl yarıda gitti?
Optimism dolandırıcılık kanıtı ile ZK Fraud Proof uygulamasının analizi
Dolandırıcılık kanıtı ve ZK Dolandırıcılık Kanıtı'nın gerçekleştirme düşüncesi
Dolandırıcılık kanıtı, blok zinciri 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 ortaya çıkmasının ardından, Robin Linus BitVM çözümünü önerdi ve dolandırıcılık kanıtını temel düşünce olarak kullanarak Bitcoin ikinci katmanı veya köprüsü için yeni bir güvenlik modeli sundu.
BitVM, erken dönemlerde mantık kapısı devrelerini temel alan BitVM0'dan, daha sonra ZK Dolandırıcılık Kanıtı ve Groth16 doğrulama devrelerini merkez alan BitVM2'ye kadar birçok versiyon evrimi geçirdi; teknik yolu sürekli olarak olgunlaştı. Bitlayer, Citrea, BOB gibi birçok proje, BitVM'i teknik temel olarak kullanarak uygulama gerçekleştirdi.
Bu makalede, Optimism'in dolandırıcılık kanıtı planı örnek alınarak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtına dayanan planı ile ZK tabanlı dolandırıcılık kanıtının ana düşünceleri analiz edilecektir.
OutputRoot ve StateRoot
Optimism, tanınmış bir Optimistic Rollup projesidir. Mimarisi, sıralayıcı ve Ethereum zincirindeki 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 istemcisini ç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üklediyse, yerel hesaplama sonuçları farklı olacaktır, bu durumda itiraz başlatılabilir. Optimism, durum değişikliklerini göstermek için OutputRoot alanını kullanır, bu StateRoot ve diğer iki alandan hesaplanır.
MIPS sanal makinesi ve bellek Merkle Ağaç
Çıktı Kökü'nün doğruluğunu zincirde doğrulamak için, Optimism ekibi Solidity kullanarak MIPS sanal makinesini geliştirdi ve etkileşimli dolandırıcılık kanıtı sistemi tasarladı. Bu sistem, işlem işleme sürecini detaylandırarak hangi MIPS işlem kodunun hataya neden olduğunu gözlemler.
MIPS sanal makinesinin durum bilgileri Merkle ağaç yapısında düzenlenmiştir. Etkileşimli dolandırıcılık kanıtında, hangi işlem kodunun durum hash'inin hatalı olduğunu belirlemek gerekir, ardından sanal makine durumunu zincir üzerinde yeniden oluşturup bu işlem kodunu yürütmek gerekir.
Etkileşimli dolandırıcılık kanıtı
Optimism, Fault Dispute Game ( FDG ) protokolünü geliştirdi, bu protokolde iki rol bulunmaktadır: meydan okuyan ve savunucu. Her iki taraf, tartışmalı MIPS opcode'larını belirlemek için yerel olarak GameTree'yi inşa etmelidir.
ZKlaşma dolandırıcılık kanıtı
Geleneksel dolandırıcılık kanıtı, karmaşık etkileşim, yüksek gas maliyeti ve geliştirme zorluğu gibi sorunlar barındırmaktadır. Bu nedenle, Optimism ZK Dolandırıcılık Kanıtı kavramını önermiştir. Temel olarak, meydan okuyucu yeniden oynatılması gereken işlemleri belirler, sıralayıcı ZK kanıtı sunar ve bunu Ethereum sözleşmesi doğrular.
Etkileşimli dolandırıcılık kanıtına kıyasla, ZK Fraud Proof çoklu etkileşimi tek bir ZK kanıtı oluşturma ve doğrulama aşamasına indirger, bu da zaman ve maliyet tasarrufu sağlar. ZK Rollup'a göre, yalnızca bir meydan okuma durumunda kanıt oluşturulur, bu da hesaplama maliyetlerini düşürür.
Bu yaklaşım BitVM2 tarafından da benimsenmiştir. BitVM2, Bitcoin script'i aracılığıyla ZK Proof doğrulamasını gerçekleştirir ve zincir üzerindeki programı sadeleştirir. Bitlayer, Goat Network gibi birçok proje bu çözümü benimsemiştir.