Ethereum 2.0 viedais līgums formāli izgājis auditu un bait-koda verifikāciju
Ethereum 2.0 viedais līgums formāli izgājis auditu un bait-koda verifikāciju. Šobrīd turpinās darbs pie beacon chain optimizācijas. Par to ziņo Ethereum izstrādātājs Denijs Raiens.
eth2 quick update #8 — Keep it cominghttps://t.co/OMXkdVok5c
tldr; below
— dannyryan (@dannyryan) February 4, 2020
Formālā verificēšana ir koda semantikas analīzes metode, lai pārliecinātos, ka tā atbilst noteiktām prasībām.
Daudzas ievainojamības viedajoslīgumos ir semantiskas kļūdas kodā, kas var izraisīt ielaušanos.
Pēc Raiena teiktā, šī koda audits Ethereum depozīta līgumam 2.0 ir liels solis uz priekšu.
Beacon chain –“Ethereum kodols 2.0” ir nepieciešamais komponents jaunajai Ethereum versijai.
Lai sinhronizētu vienu vai vairākus šardus, klientam jāsinhronizējas ar beacon chain,
tāpēc ir ļoti svarīgi, lai beacon chain patērētu relatīvi mazāku resursu skaitu pat ar augstu
validatoru līdzdalību (vairāk nekā 300 000). Šajā nolūkā Ethereum2.0 izstrādātāji visu iepriekšējo mēnesi
strādāja pie beacon chain optimizācijas, informējot par veiksmīgu stresa testu veikšanu Prysm testnetā.
© 2020 The Bitcoin Foundation Latvia