Understanding Secure Toto Verification