Moonlight və Phoenix haqqında düşünərkən bir şeyi səhv edirdim: vəziyyət formasını sanki onun da finaliliyi (yekunluğu) müəyyənləşdirdiyini qəbul edirdim.
Bu fərziyyə məni narahat etməyə başladı.
Moonlight
#DuskVM adlı, ictimai-hesab modeli ilə gəlir: Balanslar, Göndərən, Qəbuledən, Məbləğ və Nonce Progression.
Phoenix isə tamamilə başqa bir iz üzərində qurulub: Şifrələnmiş Qeydlər, Qorunan (Shielded) Çıxışlar, Nullifier-lər və Privat Vəziyyət.
İlk instinktim belə idi ki, belə iki fərqli sistem bəlkə də finala çatmaq üçün iki fərqli yol tələb edir.
Amma bəlkə də burada mən, əslində olmayan bir mürəkkəblik əlavə edirdim.
Moonlight hesab şəklində qala bilər. Phoenix qeyd (note) şəklində qala bilər.
#DuskVM hər ikisini hansısa universal vəziyyət formatına çevirməyə ehtiyac duymur ki, icranın nə vaxt bitdiyini qərarlaşdırsın.
Bu, həm də
#DuskDS -u yenidən düşünməyimə səbəb oldu.
Mən hesab edirdim ki, o, iki modelin altında bir-birilə paylaşılan
$DUSK vəziyyət yaratmalıdır. İndi buna daha az əminəm.
İcra məntiqi (execution logic) ixtisaslaşmış olaraq qala bilər, Dusk L1 isə nəticə vəziyyətinə tək, deterministik finalilik sərhədi verə bilər.
Və dürüst desəm, bu ayrılıq mənə fərdi vəziyyət modellərindən daha maraqlıdır.
Vəziyyəti ifadə etməyin müxtəlif yolları, həmin vəziyyətin yekun olaraq nə vaxt tamamlandığı sualına mütləq fərqli cavablar tələb etmir.
Mən hələ də bunun necə dərəcədə təmiz ayrıldığını düşünürəm: Moonlight və Phoenix daha da mürəkkəbləşdikcə bu ayrılıq nə qədər sağlam qalır?
#dusk $DUSK @Dusk