EthSystems gizlilik hovuzunun rəsmi təsdiqini tamamladı, Sepolia byte kodunu əhatə edir

Ethereum gizlilik texnologiyaları təşkilatı EthSystems, gizlilik hovuzunun rəsmi təsdiqini tamamladığını elan etdi, əhatə dairəsi yazılı spesifikasiyadan Sepolia test şəbəkəsindəki byte koduna qədərdir. Təsdiq prosesi zamanı bir neçə alətdən istifadə olunmuşdur; model, dövr və hash üçün Lean, müqavilə üçün Halmos və Kontrol, cüzdan üçün Aeneas və Verus, təsdiqçi və yerləşdirmə isə byte-by-byte yenidən qurma yolu ilə yoxlanmışdır. İkiqat xərcləmə və dəyər mühafizəsi Lean teorem maşını tərəfindən təsdiqlənmişdir. Təsdiq zamanı 6 problem aşkar edilmişdir, bunlardan 3-ü təsdiq alətinin özündədir. Komanda, hələ də asılı olan fərziyyələri də sıralamışdır, bunlar arasında hash-nin toqquşmaması, təsdiqçinin saxta sübutları rədd edəcəyi və müqavilə davranışının model ilə uyğun olması vardır.