Eu imprimi a lista de dependências de baixo nível do DUSK e fui marcando linha por linha. Há duas linhas que mais merecem destaque: curva e hash. Hoje vou falar só dessas duas.
Na linha da curva, no início estava escrito ZeroCaf. O DUSK não pegou simplesmente o que já existia de secp256k1 ou Ed25519; em vez disso, escolheu um caminho relacionado ao campo escalar do Ristretto. Quem entende percebe de imediato o peso dessa escolha: a compressão de pontos do Ristretto é uniforme, os problemas de pontos de baixa ordem deixados pelo cofator também foram eliminados, e provas como as de Bulletproofs rodam nessa trajetória de forma natural, com geração e verificação sem atrito. Se algo dá errado nessa etapa, toda a cadeia sofre junto. Os detalhes da escolha de curvas são pouco vistos de fora, mas pesam muito para quem entende. $BTC .
Na linha do hash estava escrito Poseidon. Em circuitos de conhecimento zero, o que mais custa são as restrições; se você coloca SHA-256 ali dentro, o número de restrições pode arruinar a prova. O Poseidon nasceu para ser usado em circuitos e, para a mesma tarefa, reduz bastante esse custo. O DUSK até o hash trocou por uma versão voltada para ZK; esse detalhe passa despercebido em muitas blockchains, que nem percebem que precisam mexer nisso.
Depois que marquei essas duas linhas, minha impressão geral do DUSK ficou definida: até sua base criptográfica é montada de acordo com as necessidades de provas de conhecimento zero, e não com componentes genéricos simplesmente encaixados. Projetos assim normalmente sabem muito bem o que querem. Daqui para frente, sempre que o DUSK fizer algum movimento, eu já terei uma boa noção do que esperar. #dusk $DUSK @Dusk
Na linha da curva, no início estava escrito ZeroCaf. O DUSK não pegou simplesmente o que já existia de secp256k1 ou Ed25519; em vez disso, escolheu um caminho relacionado ao campo escalar do Ristretto. Quem entende percebe de imediato o peso dessa escolha: a compressão de pontos do Ristretto é uniforme, os problemas de pontos de baixa ordem deixados pelo cofator também foram eliminados, e provas como as de Bulletproofs rodam nessa trajetória de forma natural, com geração e verificação sem atrito. Se algo dá errado nessa etapa, toda a cadeia sofre junto. Os detalhes da escolha de curvas são pouco vistos de fora, mas pesam muito para quem entende. $BTC .
Na linha do hash estava escrito Poseidon. Em circuitos de conhecimento zero, o que mais custa são as restrições; se você coloca SHA-256 ali dentro, o número de restrições pode arruinar a prova. O Poseidon nasceu para ser usado em circuitos e, para a mesma tarefa, reduz bastante esse custo. O DUSK até o hash trocou por uma versão voltada para ZK; esse detalhe passa despercebido em muitas blockchains, que nem percebem que precisam mexer nisso.
Depois que marquei essas duas linhas, minha impressão geral do DUSK ficou definida: até sua base criptográfica é montada de acordo com as necessidades de provas de conhecimento zero, e não com componentes genéricos simplesmente encaixados. Projetos assim normalmente sabem muito bem o que querem. Daqui para frente, sempre que o DUSK fizer algum movimento, eu já terei uma boa noção do que esperar. #dusk $DUSK @Dusk