Publicly verifiable covert two-party computation with punitive blame | Synapse