Venüs və Mango istismarları eyni mühəndislik problemini çox fərqli bazar şəraitində üzə çıxardı
Biri dağılma zamanı köhnəlmiş orakul mərtəbəsinə söykənirdi, digəri isə nazik likvidlikdən şişirdilmiş qiymətlərə
Heç bir protokol smart kontratın səhv hesablaması səbəbilə sıradan çıxmadı
İcra qatı daxili olaraq ardıcıl qaldı
Uğursuz olan etibar olunan bazar siqnalı ilə etibarlı qiymətin eyni şey olduğunu qəbul etmə fərziyyəsi idi
Bazar şəraiti dəyişiklikləri immutable (dəyişməz) kodun geridə qaldığı qədər sürətlə getməyə başlayanda bu fərq bahalı olur
Əksər protokollar dövriyyə kəsiciləri, ehtiyat orakullar və əlavə doğrulama məntiqi vasitəsilə icra qatına daha çox qorunma daxil etməklə cavab verir
Hər bir belə təminat risqin bir sinfini azaldır, amma yeni uğursuzluq növləri meydana gəldikcə sistemi audit etmək, yeniləmək və koordinasiya etmək daha da mürəkkəbləşir
Bu qarşılıqlı güzəşt məni siyasəti (policy) icradan ayıran arxitekturalara daha diqqətlə yönəltdi; müqavilələrin hər bir bazar kənar halını başa düşməsini istəməkdənsə
Newton Protocol bu istiqamətdə gedən bir nümunədir: icranın özünü genişləndirməkdənsə, Rego proqramlaşdırıla bilən policy-lərini icradan əvvəl qiymətləndirir
Orakul uyğunsuzluğu, depeg şərtləri və likvidliyin keyfiyyəti daimi fərziyyələr deyil, policy qərarları olur
Əgər bu şərtlər uğursuzluğa düçar olarsa, heç bir kriptoqrafik təsdiq (attestation) istehsal edilmir və icra sadəcə dayanır
Bu yanaşmanın ümumi hala çevrilib- çevrilməyəcəyi hələ də qeyri-müəyyəndir
Bu, əlavə koordinasiya qatı yaradır və bir çox komanda kontekstdən xəbərsiz icranı qəbul etməyə davam edə bilər; çünki daha sadə arxitekturalar göndərilməsi və saxlanması daha asandır
Amma avtonom agentlər nəhayət davamlı insan nəzarəti olmadan kapital ayırmağa başlayarsa, daha çətin infrastruktur problemi əməliyyatları düzgün icra etmək olmaya bilər
Bu, hansı bazar fərziyyələrinin policy-yə çevrilməli, hansılarının isə heç vaxt kod halına salınmamalı olduğunu qərarlaşdırmaq ola bilər
@NewtonProtocol $NEWT #newt $LAB $EVAA
Biri dağılma zamanı köhnəlmiş orakul mərtəbəsinə söykənirdi, digəri isə nazik likvidlikdən şişirdilmiş qiymətlərə
Heç bir protokol smart kontratın səhv hesablaması səbəbilə sıradan çıxmadı
İcra qatı daxili olaraq ardıcıl qaldı
Uğursuz olan etibar olunan bazar siqnalı ilə etibarlı qiymətin eyni şey olduğunu qəbul etmə fərziyyəsi idi
Bazar şəraiti dəyişiklikləri immutable (dəyişməz) kodun geridə qaldığı qədər sürətlə getməyə başlayanda bu fərq bahalı olur
Əksər protokollar dövriyyə kəsiciləri, ehtiyat orakullar və əlavə doğrulama məntiqi vasitəsilə icra qatına daha çox qorunma daxil etməklə cavab verir
Hər bir belə təminat risqin bir sinfini azaldır, amma yeni uğursuzluq növləri meydana gəldikcə sistemi audit etmək, yeniləmək və koordinasiya etmək daha da mürəkkəbləşir
Bu qarşılıqlı güzəşt məni siyasəti (policy) icradan ayıran arxitekturalara daha diqqətlə yönəltdi; müqavilələrin hər bir bazar kənar halını başa düşməsini istəməkdənsə
Newton Protocol bu istiqamətdə gedən bir nümunədir: icranın özünü genişləndirməkdənsə, Rego proqramlaşdırıla bilən policy-lərini icradan əvvəl qiymətləndirir
Orakul uyğunsuzluğu, depeg şərtləri və likvidliyin keyfiyyəti daimi fərziyyələr deyil, policy qərarları olur
Əgər bu şərtlər uğursuzluğa düçar olarsa, heç bir kriptoqrafik təsdiq (attestation) istehsal edilmir və icra sadəcə dayanır
Bu yanaşmanın ümumi hala çevrilib- çevrilməyəcəyi hələ də qeyri-müəyyəndir
Bu, əlavə koordinasiya qatı yaradır və bir çox komanda kontekstdən xəbərsiz icranı qəbul etməyə davam edə bilər; çünki daha sadə arxitekturalar göndərilməsi və saxlanması daha asandır
Amma avtonom agentlər nəhayət davamlı insan nəzarəti olmadan kapital ayırmağa başlayarsa, daha çətin infrastruktur problemi əməliyyatları düzgün icra etmək olmaya bilər
Bu, hansı bazar fərziyyələrinin policy-yə çevrilməli, hansılarının isə heç vaxt kod halına salınmamalı olduğunu qərarlaşdırmaq ola bilər
@NewtonProtocol $NEWT #newt $LAB $EVAA