Certora agora é de código aberto!Qual é a sua desculpa agora para não garantir a segurança do seu protocolo, anon? https://t.co/JPqBR1JQ9p