Lüğət məqaləsi
Mənbə Kodunun Doğrulanması
infrastructureYerləşdirilmiş bayt koduna yenidən qurulan mənbəni dərc etmək. Nəyin işlədiyini sübut edir, kodun təhlükəsiz olduğunu yox.
Tərif
Kontrakt kompilyasiya olunmuş bayt kodu şəklində yerləşdirilir; zəncirin icra etdiyi və blok gəzgininin həmişə göstərə bildiyi şey budur. Mənbə kodunun doğrulanması insanın oxuya bildiyi ilkin mənbəni onun yanında dərc etmək prosesidir; beləliklə hər kəs göstərilən kompilyator parametrləri ilə yenidən qura və nəticənin yerləşdirilmiş bayt kodu ilə bayt-bayt üst-üstə düşdüyünü təsdiqləyə bilər. Üst-üstə düşəndə gəzgin kontrakti doğrulanmış kimi işarələyir və oxunaqlı mənbəni göstərir. Bu iddia dar və dəqiqdir: dərc olunmuş mənbənin işləyən şey olduğunu müəyyən edir, başqa heç nəyi yox. Kodun yaxşı yazılıb-yazılmadığı, auditdən keçib-keçmədiyi və ya layihənin təbliğatında deyiləni edib-etmədiyi barədə heç nə demir. Doğrulanmamış kontrakt ayrı vəziyyətdir — pis niyyətin sübutu deyil, amma mövcud ən ucuz şəffaflıqdan imtinadır; yəni yerləşdirəndən başqa heç kim qarşılıqlı əlaqəyə girməzdən əvvəl kodun nə etdiyini oxuya bilmir.
Növbəti