Text this: Security Proof of Single-Source Shortest Distance Protocols Built on Secure Multiparty Computation Protocols