Bei der formalen Verifizierung geht es darum, einen
Smart Contract mathematisch zu prüfen und zu verifizieren, um sicherzustellen, dass er wie vorgesehen funktioniert. Die Verwendung von mathematischen Funktionen zur Erstellung der Software ermöglicht die mathematische Überprüfung von neuem
Code, bevor dieser hinzugefügt wird. Die formale Überprüfung ist ein Eckpfeiler der Kryptografie.