Um Protocolo de Autenticação Condicional e Eficiente Baseado em Blockchain para VANETs | Synapse