Bir arkadaşım zkSync'in her zaman kapalı olduğundan şikayet etti.Aslında buna "duruş süresi" demek biraz abartı olur.Kesin olmak gerekirse, "kararsız blok üretimi" anlamına gelir. Özünde, Sequencer tarafından gönderilen işlemin nihai Doğrulanmış zamanı kararsızdır, ancak zkSync'in Doğrulama tasarımında bir onay gecikmesi olduğundan, etkileşimli uçta kullanıcının algısı açık değildir. Gelecekteki ademi merkeziyetçilik aşamasındaki istikrarsızlık hafifletilecektir. Sizinle tartışmak için bir iş akışı çizdim.
Kullanıcıların "kapalı kalma süresini" algılamasının nedeni, bazı DApp'lerin neden olduğu işlem hatası ve zincirin altında yatan uyumluluk olabilir.Sonuçta, zkSync üzerinde DApp geliştirmek başlı başına büyük bir zorluktur. Resmi tarayıcıdan Commit'ten Verified'a durum değişikliğini gözlemlemek benim için yaklaşık 30 dakika-1 saat sürüyor ve kullanıcı tarafı etkileşimli DApp bundan neredeyse hiç etkilenmiyor. Bu makale, zkSync'i net bir şekilde anlamanız için popüler bilim zkSync teknolojisinin altında yatan mantığa odaklanmaktadır.
İş akışında gösterildiği gibi, zkSync aşağıdaki adımlarda çalışır:
Kullanıcı toplu işlemleri Sıralayıcı sıralayıcıya geçiş iletme yoluyla gönderir;
Sıralayıcı, işlemleri sıralamaktan, partileri bir araya getirmekten ve Merkle ağaçlarına paketlemekten sorumludur;
zkPorter, Merkle ağacından bir zk-SNARK kanıtı üretir;
zk-SNARK, rölenin sırasıyla L2 Doğrulayıcılara ve L1 ana zincirine Kesinleştirme Karması ürettiğini kanıtlar.
Doğrulayıcı, zk-SNARK kanıtının doğruluğunu doğrulamaktan ve doğru olduktan sonra bir Verify Hash oluşturmak üzere L1 akıllı sözleşmesine göndermekten sorumludur; 6) L1'deki zkSync akıllı sözleşmesi, Commit Hash'in eşleşmesini doğrular ve Verify Hash; 7) Başarılı eşleştirmeden sonra bir Verified oluşturur İşlem işlemi sonunda zincire yüklenir; 8) Eşleştirme başarısız olursa, orijinal Commit Hash geçersiz kılınır ve Sequencer, toplu işi yeniden gönderir ve süreci tekrar gözden geçirir .
Burada zkSync'in "iki aşamalı taahhüt (2PC)" benimsediğinin ve son olarak Commit Hash ve Verify Hash'in iki aşamasının Hash doğrulaması yoluyla yasal işlem grubunu belirlediğinin vurgulanması gerekir. Bu, bir yandan sistem işletim sürecinde veri tutarlılığını ve güvenliğini sağlayabilir, kişisel anlayışıma göre, iki sistem bileşeni olan Sequencer ve Validator'ı kısıtlayan ve buna layık olan ademi merkeziyetçilik fikrinin de bir tezahürüdür. övgü.
zkSync'in İş Akışı temel olarak dört role sahiptir: Relay, Sequencer, zkPorter ve Validator Koordinasyon çalışmasında birçok "kararsız faktör" olacaktır. Düğüm fonksiyonlarının kararlılığı, düğüm işbirliğinin kararlılığı ve algoritmaların ve altta yatan protokollerin karmaşıklığı olarak özetlenebilir. Herhangi bir bağlantıdaki herhangi bir hata, blok gecikmesine neden olabilir. Yaygın Arbitrum Sequencer teknik arızaları tipiktir ve zkSync yalnızca daha fazla zorlukla karşılaşacaktır.
Algoritmanın karmaşıklığına gelince, bu, zkSync zincirinin kaderidir ve ekolojik geliştiricilerin bunun üstesinden gelmek için çok çalışmaları gerekir. Düğüm zekası ve işbirliğinin istikrarına gelince, gelecekte ademi merkeziyet aşamasına geldikten sonra etkin bir şekilde iyileştirileceğini düşünüyorum. Mantık da basit:
Çok dağıtılmış düğümler, sistemin sağlamlığından kaynaklanan tek hata noktasından kaynaklanan ağ kararsızlığını önleyebilir;
Dağıtılmış belirteç teşvik mekanizması, geliştiricilere düğüm kararlılığını sürdürmek için bir motivasyon kaynağı sağlayabilir.
Başka bir açıdan bakıldığında, doğrulamanın uzun sürmesi ekolojinin erken evrelerinde bir sorun oluşturmaz, zincirin güvenliğini etkili bir şekilde artırabilir ve sistemdeki bazı düğümlerin kötülük yapmasını engelleyebilir. Kısacası, zkSync'in tüm çalışma sürecini netleştirirseniz ve katman 2'nin teknik karmaşıklığını ve güvenlik için tasarlanmış "özel" mekanizmayı daha iyi anlarsanız, L2 teknik yoluna olan güveninizi pekiştirebilirsiniz. Herkes iletebilir ve paylaşabilir, istediği zaman bana DM gönderebilir ve derinlemesine bir değiş tokuş yapalım ve zkSync üzerinde çalışalım.
View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
zkSync neden her zaman "kesinti süresi" içindedir? zkSync İş Akışını tartışan bir makale
Bir arkadaşım zkSync'in her zaman kapalı olduğundan şikayet etti.Aslında buna "duruş süresi" demek biraz abartı olur.Kesin olmak gerekirse, "kararsız blok üretimi" anlamına gelir. Özünde, Sequencer tarafından gönderilen işlemin nihai Doğrulanmış zamanı kararsızdır, ancak zkSync'in Doğrulama tasarımında bir onay gecikmesi olduğundan, etkileşimli uçta kullanıcının algısı açık değildir. Gelecekteki ademi merkeziyetçilik aşamasındaki istikrarsızlık hafifletilecektir. Sizinle tartışmak için bir iş akışı çizdim.
Kullanıcıların "kapalı kalma süresini" algılamasının nedeni, bazı DApp'lerin neden olduğu işlem hatası ve zincirin altında yatan uyumluluk olabilir.Sonuçta, zkSync üzerinde DApp geliştirmek başlı başına büyük bir zorluktur. Resmi tarayıcıdan Commit'ten Verified'a durum değişikliğini gözlemlemek benim için yaklaşık 30 dakika-1 saat sürüyor ve kullanıcı tarafı etkileşimli DApp bundan neredeyse hiç etkilenmiyor. Bu makale, zkSync'i net bir şekilde anlamanız için popüler bilim zkSync teknolojisinin altında yatan mantığa odaklanmaktadır.
İş akışında gösterildiği gibi, zkSync aşağıdaki adımlarda çalışır:
Kullanıcı toplu işlemleri Sıralayıcı sıralayıcıya geçiş iletme yoluyla gönderir;
Sıralayıcı, işlemleri sıralamaktan, partileri bir araya getirmekten ve Merkle ağaçlarına paketlemekten sorumludur;
zkPorter, Merkle ağacından bir zk-SNARK kanıtı üretir;
zk-SNARK, rölenin sırasıyla L2 Doğrulayıcılara ve L1 ana zincirine Kesinleştirme Karması ürettiğini kanıtlar.
Doğrulayıcı, zk-SNARK kanıtının doğruluğunu doğrulamaktan ve doğru olduktan sonra bir Verify Hash oluşturmak üzere L1 akıllı sözleşmesine göndermekten sorumludur; 6) L1'deki zkSync akıllı sözleşmesi, Commit Hash'in eşleşmesini doğrular ve Verify Hash; 7) Başarılı eşleştirmeden sonra bir Verified oluşturur İşlem işlemi sonunda zincire yüklenir; 8) Eşleştirme başarısız olursa, orijinal Commit Hash geçersiz kılınır ve Sequencer, toplu işi yeniden gönderir ve süreci tekrar gözden geçirir .
Burada zkSync'in "iki aşamalı taahhüt (2PC)" benimsediğinin ve son olarak Commit Hash ve Verify Hash'in iki aşamasının Hash doğrulaması yoluyla yasal işlem grubunu belirlediğinin vurgulanması gerekir. Bu, bir yandan sistem işletim sürecinde veri tutarlılığını ve güvenliğini sağlayabilir, kişisel anlayışıma göre, iki sistem bileşeni olan Sequencer ve Validator'ı kısıtlayan ve buna layık olan ademi merkeziyetçilik fikrinin de bir tezahürüdür. övgü.
zkSync'in İş Akışı temel olarak dört role sahiptir: Relay, Sequencer, zkPorter ve Validator Koordinasyon çalışmasında birçok "kararsız faktör" olacaktır. Düğüm fonksiyonlarının kararlılığı, düğüm işbirliğinin kararlılığı ve algoritmaların ve altta yatan protokollerin karmaşıklığı olarak özetlenebilir. Herhangi bir bağlantıdaki herhangi bir hata, blok gecikmesine neden olabilir. Yaygın Arbitrum Sequencer teknik arızaları tipiktir ve zkSync yalnızca daha fazla zorlukla karşılaşacaktır.
Algoritmanın karmaşıklığına gelince, bu, zkSync zincirinin kaderidir ve ekolojik geliştiricilerin bunun üstesinden gelmek için çok çalışmaları gerekir. Düğüm zekası ve işbirliğinin istikrarına gelince, gelecekte ademi merkeziyet aşamasına geldikten sonra etkin bir şekilde iyileştirileceğini düşünüyorum. Mantık da basit:
Çok dağıtılmış düğümler, sistemin sağlamlığından kaynaklanan tek hata noktasından kaynaklanan ağ kararsızlığını önleyebilir;
Dağıtılmış belirteç teşvik mekanizması, geliştiricilere düğüm kararlılığını sürdürmek için bir motivasyon kaynağı sağlayabilir.
Başka bir açıdan bakıldığında, doğrulamanın uzun sürmesi ekolojinin erken evrelerinde bir sorun oluşturmaz, zincirin güvenliğini etkili bir şekilde artırabilir ve sistemdeki bazı düğümlerin kötülük yapmasını engelleyebilir. Kısacası, zkSync'in tüm çalışma sürecini netleştirirseniz ve katman 2'nin teknik karmaşıklığını ve güvenlik için tasarlanmış "özel" mekanizmayı daha iyi anlarsanız, L2 teknik yoluna olan güveninizi pekiştirebilirsiniz. Herkes iletebilir ve paylaşabilir, istediği zaman bana DM gönderebilir ve derinlemesine bir değiş tokuş yapalım ve zkSync üzerinde çalışalım.