Enviar por SMS: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols