#dusk $DUSK @Dusk Passei parte da tarde olhando a curva real que o Dusk usa dentro de suas provas de transação privadas, e a escolha acabou importando mais do que eu imaginava.
Uma transferência privada ainda precisa provar que é válida sem mostrar os valores ou quem está envolvido. Essa prova é construída com PLONK, então cada assinatura, etapa de chave e criptografia que acontece no caminho privado tem que caber de forma limpa em restrições aritméticas que o circuito consegue verificar, sem explodir o custo. A maioria das curvas comuns fica cara ou confusa quando você força elas para esse cenário.
JubJub é a curva embutida que eles escolheram. É uma curva de Edwards torcida, cujo campo base se alinha exatamente com o campo escalar do BLS12-381. Isso significa que a mesma aritmética de campo já usada para a curva externa também pode lidar com o trabalho da curva elíptica interna.
Quando verifiquei os repositórios, os resultados práticos ficaram claros. Assinaturas Schnorr com Poseidon rodam diretamente sobre o JubJub. A criptografia ElGamal fica na mesma curva, então os textos cifrados podem ser tratados dentro do circuito. A curva em si é tratada como uma biblioteca adequada, não como algo que foi colocado depois.
O caminho privado não precisa de uma segunda camada criptográfica ao lado do sistema de provas. Os mesmos objetos fazem os dois trabalhos. Se essa camada falhar, as alegações de confidencialidade também falham.
Se as pessoas realmente usam o caminho privado é outra questão. A curva é apenas a peça que precisa ser sólida para que qualquer uma dessas alegações signifique algo.
Uma transferência privada ainda precisa provar que é válida sem mostrar os valores ou quem está envolvido. Essa prova é construída com PLONK, então cada assinatura, etapa de chave e criptografia que acontece no caminho privado tem que caber de forma limpa em restrições aritméticas que o circuito consegue verificar, sem explodir o custo. A maioria das curvas comuns fica cara ou confusa quando você força elas para esse cenário.
JubJub é a curva embutida que eles escolheram. É uma curva de Edwards torcida, cujo campo base se alinha exatamente com o campo escalar do BLS12-381. Isso significa que a mesma aritmética de campo já usada para a curva externa também pode lidar com o trabalho da curva elíptica interna.
Quando verifiquei os repositórios, os resultados práticos ficaram claros. Assinaturas Schnorr com Poseidon rodam diretamente sobre o JubJub. A criptografia ElGamal fica na mesma curva, então os textos cifrados podem ser tratados dentro do circuito. A curva em si é tratada como uma biblioteca adequada, não como algo que foi colocado depois.
O caminho privado não precisa de uma segunda camada criptográfica ao lado do sistema de provas. Os mesmos objetos fazem os dois trabalhos. Se essa camada falhar, as alegações de confidencialidade também falham.
Se as pessoas realmente usam o caminho privado é outra questão. A curva é apenas a peça que precisa ser sólida para que qualquer uma dessas alegações signifique algo.
