Synapse Protocol: An Externally-verified Bridge with Hopes of