BitVM Arka Plan Bilgisi: dolandırıcılık kanıtı ve ZK Fraud Proof'un Uygulama Yaklaşımı
Dolandırıcılık kanıtı, blok zinciri alanında yaygın olarak kullanılan bir teknik çözümdür, Ethereum topluluğundan kaynaklanmıştır ve Arbitrum ile Optimism gibi Ethereum Layer2'ler tarafından benimsenmiştir. 2023'te Bitcoin ekosisteminin yükselişi sonrası, Robin Linus BitVM çözümünü önerdi ve dolandırıcılık kanıtını merkezine alarak Bitcoin ikinci katmanı veya köprü için yeni bir güvenlik modeli sağladı.
BitVM, en başından BitVM0'dan sonrasındaki BitVM2'ye kadar birden fazla versiyon evrimi geçirdi ve teknik yolu sürekli olgunlaştı. Bitlayer, Citrea, BOB gibi birçok proje, BitVM'yi teknik temel olarak kullanarak uygulandı.
Bu makalede, Optimism'in dolandırıcılık kanıtı planı örnek olarak ele alınacak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtına dayanan planı ile ZK ile dolandırıcılık kanıtının temel düşünceleri analiz edilecektir.
OutputRoot ve StateRoot
Optimism, bilinen bir Optimistic Rollup projesidir ve bir sıralayıcı ile Ethereum zincirindeki akıllı sözleşmelerden oluşur. Sıralayıcı, işlemleri işledikten sonra verileri Ethereum'a gönderir. Optimism düğümlerini çalıştırmak, bu işlemleri yerel olarak yürütmeyi ve mevcut durum kümesi hash'ini hesaplamayı sağlar.
Eğer sıralayıcı hatalı bir durum kümesi hash'i yüklüyorsa, yerel hesaplama sonuçları farklı olacaktır; bu durumda itiraz başlatılabilir. Optimism, durum kümesi değişikliklerini belirtmek için StateRoot alanını kullanır ve düzenli olarak OutputRoot'u Ethereum'a yükler.
MIPS Sanal Makinesi ve Bellek Merkle Ağacı
OutputRoot'un doğruluğunu zincir üzerinde doğrulamak için, Optimism geliştirme ekibi Solidity ile MIPS sanal makinesini yazdı ve bazı OP düğümü işlevlerini gerçekleştirdi. İşlem akışını MIPS opcode'larının işlenmesine ayrıştırarak etkileşimli dolandırıcılık kanıtı sistemini tasarladılar.
MIPS sanal makinesinin durum bilgileri, kayıt durumu, bellek durumu hash'i gibi unsurları içeren Merkle ağacı olarak düzenlenmiştir. Zincir üzerindeki sözleşmeler, Step fonksiyonu aracılığıyla tek bir MIPS komutunu yürütür ve sonuçları sıralayıcı davranışını doğrulamak için karşılaştırır.
Etkileşimli dolandırıcılık kanıtı
Optimism ekibi, Fault Dispute Game(FDG) protokolünü geliştirdi. Bu protokol, bir meydan okuyan ve bir savunucu olmak üzere iki rol içerir. Katılımcılar, çoklu etkileşimler yoluyla tartışmalı MIPS opcode'larını belirlemek için yerel olarak GameTree inşa etmelidir.
ZKlaştırılmış dolandırıcılık kanıtı
Geleneksel dolandırıcılık kanıtları, etkileşim karmaşıklığı, yüksek gas maliyeti ve geliştirme zorluğu gibi sorunlar taşımaktadır. Bu sorunları çözmek için Optimism, ZK Dolandırıcılık Kanıtı kavramını ortaya koymuştur. Meydana gelen bir zorluk durumunda, sıralayıcı, zorluk çıkarılan işlemin ZK kanıtını sağlar ve bu kanıt Ethereum akıllı sözleşmesi tarafından doğrulanır.
ZK Dolandırıcılık Kanıtı, çoklu etkileşimleri tek bir ZK kanıtı üretimi ve doğrulamasına indirger, zaman ve maliyet tasarrufu sağlar. ZK Rollup'a kıyasla, ZK Dolandırıcılık Kanıtı'na dayalı OP Rollup sadece meydan okuma durumunda kanıt üretir, hesaplama maliyetlerini azaltır.
BitVM2, Bitcoin script kullanarak ZK Proof doğrulaması gerçekleştiren benzer bir yaklaşımı benimsemiştir ve zincir üstü programları sadeleştirmiştir. Bu çözüm, Bitlayer, Goat Network gibi projeler tarafından benimsenmiş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.
BitVM Evrimi: Dolandırıcılık Kanıtından ZK Dolandırıcılık Kanıtına Teknik Analiz
BitVM Arka Plan Bilgisi: dolandırıcılık kanıtı ve ZK Fraud Proof'un Uygulama Yaklaşımı
Dolandırıcılık kanıtı, blok zinciri alanında yaygın olarak kullanılan bir teknik çözümdür, Ethereum topluluğundan kaynaklanmıştır ve Arbitrum ile Optimism gibi Ethereum Layer2'ler tarafından benimsenmiştir. 2023'te Bitcoin ekosisteminin yükselişi sonrası, Robin Linus BitVM çözümünü önerdi ve dolandırıcılık kanıtını merkezine alarak Bitcoin ikinci katmanı veya köprü için yeni bir güvenlik modeli sağladı.
BitVM, en başından BitVM0'dan sonrasındaki BitVM2'ye kadar birden fazla versiyon evrimi geçirdi ve teknik yolu sürekli olgunlaştı. Bitlayer, Citrea, BOB gibi birçok proje, BitVM'yi teknik temel olarak kullanarak uygulandı.
Bu makalede, Optimism'in dolandırıcılık kanıtı planı örnek olarak ele alınacak, MIPS sanal makinesi ve etkileşimli dolandırıcılık kanıtına dayanan planı ile ZK ile dolandırıcılık kanıtının temel düşünceleri analiz edilecektir.
OutputRoot ve StateRoot
Optimism, bilinen bir Optimistic Rollup projesidir ve bir sıralayıcı ile Ethereum zincirindeki akıllı sözleşmelerden oluşur. Sıralayıcı, işlemleri işledikten sonra verileri Ethereum'a gönderir. Optimism düğümlerini çalıştırmak, bu işlemleri yerel olarak yürütmeyi ve mevcut durum kümesi hash'ini hesaplamayı sağlar.
Eğer sıralayıcı hatalı bir durum kümesi hash'i yüklüyorsa, yerel hesaplama sonuçları farklı olacaktır; bu durumda itiraz başlatılabilir. Optimism, durum kümesi değişikliklerini belirtmek için StateRoot alanını kullanır ve düzenli olarak OutputRoot'u Ethereum'a yükler.
MIPS Sanal Makinesi ve Bellek Merkle Ağacı
OutputRoot'un doğruluğunu zincir üzerinde doğrulamak için, Optimism geliştirme ekibi Solidity ile MIPS sanal makinesini yazdı ve bazı OP düğümü işlevlerini gerçekleştirdi. İşlem akışını MIPS opcode'larının işlenmesine ayrıştırarak etkileşimli dolandırıcılık kanıtı sistemini tasarladılar.
MIPS sanal makinesinin durum bilgileri, kayıt durumu, bellek durumu hash'i gibi unsurları içeren Merkle ağacı olarak düzenlenmiştir. Zincir üzerindeki sözleşmeler, Step fonksiyonu aracılığıyla tek bir MIPS komutunu yürütür ve sonuçları sıralayıcı davranışını doğrulamak için karşılaştırır.
Etkileşimli dolandırıcılık kanıtı
Optimism ekibi, Fault Dispute Game(FDG) protokolünü geliştirdi. Bu protokol, bir meydan okuyan ve bir savunucu olmak üzere iki rol içerir. Katılımcılar, çoklu etkileşimler yoluyla tartışmalı MIPS opcode'larını belirlemek için yerel olarak GameTree inşa etmelidir.
ZKlaştırılmış dolandırıcılık kanıtı
Geleneksel dolandırıcılık kanıtları, etkileşim karmaşıklığı, yüksek gas maliyeti ve geliştirme zorluğu gibi sorunlar taşımaktadır. Bu sorunları çözmek için Optimism, ZK Dolandırıcılık Kanıtı kavramını ortaya koymuştur. Meydana gelen bir zorluk durumunda, sıralayıcı, zorluk çıkarılan işlemin ZK kanıtını sağlar ve bu kanıt Ethereum akıllı sözleşmesi tarafından doğrulanır.
ZK Dolandırıcılık Kanıtı, çoklu etkileşimleri tek bir ZK kanıtı üretimi ve doğrulamasına indirger, zaman ve maliyet tasarrufu sağlar. ZK Rollup'a kıyasla, ZK Dolandırıcılık Kanıtı'na dayalı OP Rollup sadece meydan okuma durumunda kanıt üretir, hesaplama maliyetlerini azaltır.
BitVM2, Bitcoin script kullanarak ZK Proof doğrulaması gerçekleştiren benzer bir yaklaşımı benimsemiştir ve zincir üstü programları sadeleştirmiştir. Bu çözüm, Bitlayer, Goat Network gibi projeler tarafından benimsenmiştir.