Move dili tabanlı paralel yürütme ortamı ile çoklu zincirli staking güvenlik modelinin yapısal birleşimi @Aptos , @helios_layer1 , @alignedlayer Blokzincir sistemlerinde işlem gücü ve güvenliği aynı anda güvence altına alma çabaları uzun süredir devam etmekte olup, son yıllarda paralel yürütme teknolojisi ile çoklu zincir staking tabanlı güvenlik modelleri bağımsız geliştirme aşamalarıyla kademeli olarak birleştirilmiştir. Bu akışta, çoklu zincirli staking ve yeniden doğrulamadan sorumlu olan Move dili, Block-STM paralel yürütme motoru ve Aptos, Helios ile Aligned Layer, farklı katmanlarda rolleri paylaşarak tutarlı bir yapı oluşturur. Paralel yürütme, aynı sürede daha fazla işlemi işlemek için kullanılan bir tekniktir ve aynı anda birden fazla durum değişikliği gerçekleşebildiği için güvenlik doğrulamasını zorlaştırır. Bu sorunu çözmek için Block-STM, önceden sabitlenmiş bir işlem sırasına dayalı paralel yürütme yapar ve yürütme sırasında bir çatışma oluşursa, sonucun kesintiler ve tekrar tekrarlar yoluyla ardışık yürütmeyle aynı olmasını sağlar. Bu yöntem, yürütme sürecinin paralel olması, ancak nihai durumun her zaman deterministik olması ve tüm validatörlerin aynı sonuca ulaşmasını sağlamasıyla karakterize edilir. Bu kararlılık, doğrulama ve hesap verebilirlik takibi için ileri aşamada önemli bir ön koşuldur. Move dili, bu paralel yürütme ortamında dil düzeyinde güvenlik sağlar. Move'un doğrusal tip sistemi, varlıklar gibi kaynakların çoğaltılmasına veya keyfi olarak yok edilmesine izin vermez; bu da paralel uygulama sırasında meydana gelebilecek çift harcama veya durum uyumsuzluğu riskini yapısal olarak engeller. Modül tabanlı erişim kontrolü ve net bir sahiplik modeli, hangi durumu kim değiştirdiğini net bir şekilde gösterir, böylece kötü bir uygulama olduğunda sorumlular tespit edilebilir. Ayrıca, Move bytecode çalıştırmadan önce doğrulanabilir olacak şekilde tasarlanmıştır, böylece tüm uygulamayı tekrarlamasanız bile durum geçişinin kurallara uyduğunu doğrulayabilirsiniz. Aptos, tek zincirli uzlaşma ve yürütme doğruluğunu sağlamak için bu Move dilleri ve Block-STM yürütme motoruna dayanır. Burada staking yapma, ağ uzlaşma katılımcılarını ekonomik olarak sorumlu tutmakta bir araç olarak hizmet eder; çift imza veya kullanılabilirliğin pozulması gibi açık ihlaller için slashing uygulanır. Bu, paralel yürütmenin doğru yapıldığına dair iç garanti sağlar. Helios bu kapsamı çok zincirli ortamlarda durum doğrulama ve birlikte çalışabilirliği ele almak için genişletir. Staking ve itibar temelli model, I-PoSR olarak adlandırılır ve katılımcıların birden fazla zincir boyunca doğrulama görevlerini yerine getiren güvenilirliğini kümülatif olarak değerlendirir. Belirli bir zincirdeki hatalar veya kesintiler tek bir etkinlikle bitmez, ancak itibar puanında yansır ve uzun vadede doğrulama hakları ile ödülleri etkiler. Bu sayede Helios, zincirler arasında veri transferi ve durum doğrulama sürecinde tekrarlayan hatalara neden olan katılımcıları kademeli olarak dışlar. Aligned Layer, çoklu zincir güvenliğinden başka bir seviyede sorumludur. Bu katman, birden fazla yürütme ortamında üretilen kanıt ve doğrulamaların sonuçlarını ekonomik olarak garantilemek için EigenLayer üzerinden yeniden alma yöntemini kullanır. Aligned, hafif istemci örnekleme ve itiraz prosedürleriyle doğru yürütme sonuçlarını kontrol eder ve doğrulama hataları veya kullanılabilirlik hataları tespit edilirse smaç varlıklarına slash uygular. Buradaki önemli nokta, Block-STM tarafından sağlanan deterministik yürütme sonuçları sayesinde, Aligned'ın paralel yürütme süreçlerinin tüm dahili süreçlerini tekrar etmek zorunda kalmadan sonuçların tutarlılığını doğrulayabilmesidir. Bu üç katmanın birleşimi, tek bir yürütme hatasının aynı anda birden fazla güvenlik sistemini etkileyebileceği bir yapı da oluşturur. Aynı validatör Aptos'un uzlaşmasına, Helios'un çapraz zincir doğrulamasına ve Aligned'ın ispat doğrulamasına katılırsa, paralel yürütme hataları zincir içi kesintiye, itibar düşüşüne ve yeniden stake edilen varlıkların kaybına yol açabilir. Bu, çok zincirli staking ortamında risklerin birbirinden bağımsız olmadığını gösterirken, sorumlulukların açıkça takip edildiği bu durumda sistematik kontrol olasılığını da ortaya koyuyor. Sonuç olarak, Move dilinin kaynak güvenliği ve Block-STM'nin deterministik paralel yürütülmesi, çoklu zincirli staking tabanlı bir güvenlik modelinin işleyişi için teknik temel oluşturur. Aptos, tek zincirli yürütmenin doğruluğunu sağlar, Helios çapraz zincir durum doğrulamasının güvenilirliğini yönetir ve Aligned Layer tüm bu uygulama sonuçlarını ekonomik olarak doğrulanabilir hale getirir. Bu yapı, paralel yürütme ve çoklu zincirli güvenliğin ayrı kavramlar olmadığını, ancak determinizm ve yürütme doğrulanabilirliği yoluyla yakından bağlantılı olduğuna dair bir örnek olarak söylenebilir. $APT