El protocolo planteado originalmente por Blum es como sigue: