#dusk $DUSK @Dusk
Passei esta semana pela verificação de saldo da Phoenix porque queria entender como a rede confirma que uma transferência é válida quando não consegue ver os valores envolvidos.
A resposta são compromissos de Pedersen, e é mais elegante do que eu esperava.
A DuskEVM foi lançada no 1º trimestre de 2026, adicionando um segundo caminho de execução em cima da DuskDS. A DuskDS subjacente ainda usa Phoenix para transações nativas de privacidade — ou seja, esse mecanismo está em funcionamento desde o lançamento no mainnet em janeiro de 2025.
Cada nota da Phoenix carrega um compromisso de valor — não o valor em si, mas um compromisso criptográfico para ele. Compromissos de Pedersen são homomórficos: você pode somá-los e subtraí-los. Assim, a rede pode verificar que a soma dos compromissos de entrada é igual à soma dos compromissos de saída, sem nunca ver quais são os valores de fato.
A Moonlight lida com isso de forma transparente: a rede vê os valores e verifica a aritmética diretamente. A Phoenix faz isso de modo criptográfico: os valores permanecem ocultos, mas a aritmética dos compromissos continua valendo.
O que me fez clicar: a diferença entre um banco verificar seu saldo lendo-o, versus provar que seu saldo é suficiente mostrando um recibo — sem mostrar o número real.
Uma ressalva honesta: compromissos de Pedersen sozinhos não provam que os valores são positivos. Provas de intervalo em zero conhecimento lidam com isso separadamente.
O quanto esse modelo se transfere para outros contextos — a aritmética baseada em compromissos é usada em algum lugar além de cadeias nativas de ZK, ou ainda é principalmente uma ferramenta específica de blockchain? @Dusk
$DUSK #dusk
Passei esta semana pela verificação de saldo da Phoenix porque queria entender como a rede confirma que uma transferência é válida quando não consegue ver os valores envolvidos.
A resposta são compromissos de Pedersen, e é mais elegante do que eu esperava.
A DuskEVM foi lançada no 1º trimestre de 2026, adicionando um segundo caminho de execução em cima da DuskDS. A DuskDS subjacente ainda usa Phoenix para transações nativas de privacidade — ou seja, esse mecanismo está em funcionamento desde o lançamento no mainnet em janeiro de 2025.
Cada nota da Phoenix carrega um compromisso de valor — não o valor em si, mas um compromisso criptográfico para ele. Compromissos de Pedersen são homomórficos: você pode somá-los e subtraí-los. Assim, a rede pode verificar que a soma dos compromissos de entrada é igual à soma dos compromissos de saída, sem nunca ver quais são os valores de fato.
A Moonlight lida com isso de forma transparente: a rede vê os valores e verifica a aritmética diretamente. A Phoenix faz isso de modo criptográfico: os valores permanecem ocultos, mas a aritmética dos compromissos continua valendo.
O que me fez clicar: a diferença entre um banco verificar seu saldo lendo-o, versus provar que seu saldo é suficiente mostrando um recibo — sem mostrar o número real.
Uma ressalva honesta: compromissos de Pedersen sozinhos não provam que os valores são positivos. Provas de intervalo em zero conhecimento lidam com isso separadamente.
O quanto esse modelo se transfere para outros contextos — a aritmética baseada em compromissos é usada em algum lugar além de cadeias nativas de ZK, ou ainda é principalmente uma ferramenta específica de blockchain? @Dusk
$DUSK #dusk
