Aztec requires comprehensive formal verification of its protocol before offering turnkey solutions to enterprise financial institutions