Voltar aos Detalhes do Artigo Uma análise orientada a modelo das propriedades de segurança do Mimblewimble e suas implementações de protocolo Baixar Baixar PDF