Muodollinen vahvistus

Matemaattisesti tarkkojen todisteiden käyttäminen salausalgoritmien ja lohkoketjumekanismien tiettyjen ominaisuuksien varmistamiseksi