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.