Mənim üçün DuskVM-də Moonlight və Phoenix haqqında nəhayət nəyin “oturdu” onu bu oldu ki, müxtəlif vəziyyət modelləri fərqli yekunluq (finality) modelləri tələb etmir.
Moonlight ictimai hesab izi ilə gəlir: balanslar, göndərici, qəbuledici, məbləğ, nonce.
Phoenix isə şifrələnmiş qeydlər, gizlədilmiş (shielded) çıxışlar və nullifiers vasitəsilə gəlir.
Mən daim elə düşünürdüm ki, bu iki forma nədənsə DuskVM-dən sonra yekunluğa çatmaq üçün iki fərqli yol tələb edəcək.
Amma məsələ bu deyil — DuskDS-in işi budur.
Moonlight hesaba bənzər formada qala bilər. Phoenix qeydə bənzər formada qala bilər. DuskVM hər ikisini qəbul edə bilər və birinin digərinə çevrilməsini məcbur etməz, halbuki Dusk L1 yenə də yaranan vəziyyətə deterministik (dəqiq) yekunluq sərhədi verir.
Yəni səhv düşüncə ondan ibarət idi ki, müxtəlif vəziyyət təsvirləri fərqli sonluqlar (endings) tələb etməlidir.
Tələb etmir.
Dusk Moonlight və Phoenix-in altdan-uca mahiyyətcə fərqli qalmasına imkan verə bilər, amma sonda önəmli olan tək sualın cavabını hər ikisi üçün eyni verər:
bu vəziyyət nə vaxt final olur?
#dusk $DUSK @Dusk
Moonlight ictimai hesab izi ilə gəlir: balanslar, göndərici, qəbuledici, məbləğ, nonce.
Phoenix isə şifrələnmiş qeydlər, gizlədilmiş (shielded) çıxışlar və nullifiers vasitəsilə gəlir.
Mən daim elə düşünürdüm ki, bu iki forma nədənsə DuskVM-dən sonra yekunluğa çatmaq üçün iki fərqli yol tələb edəcək.
Amma məsələ bu deyil — DuskDS-in işi budur.
Moonlight hesaba bənzər formada qala bilər. Phoenix qeydə bənzər formada qala bilər. DuskVM hər ikisini qəbul edə bilər və birinin digərinə çevrilməsini məcbur etməz, halbuki Dusk L1 yenə də yaranan vəziyyətə deterministik (dəqiq) yekunluq sərhədi verir.
Yəni səhv düşüncə ondan ibarət idi ki, müxtəlif vəziyyət təsvirləri fərqli sonluqlar (endings) tələb etməlidir.
Tələb etmir.
Dusk Moonlight və Phoenix-in altdan-uca mahiyyətcə fərqli qalmasına imkan verə bilər, amma sonda önəmli olan tək sualın cavabını hər ikisi üçün eyni verər:
bu vəziyyət nə vaxt final olur?
#dusk $DUSK @Dusk