#dusk $DUSK @Dusk
A parte da proposta de @Dusk sobre a qual estou mais genuinamente incerto(a) é o custo de geração de prova em escala.
Gerar uma prova zk-SNARK não é gratuito — o custo computacional escala com a complexidade do circuito e, em sistemas zk de modo geral, os tempos de prova para circuitos complexos podem variar de frações de segundo a dezenas de segundos, dependendo do hardware e da quantidade de restrições.
Contratos inteligentes confidenciais com lógica de conformidade embutida são, quase por definição, circuitos mais complexos do que uma simples transferência. Isso tem implicações reais: quem arca com o custo da prova (o dispositivo do usuário, um provador delegado, o nó) e isso cria pressão de centralização se apenas provedores bem equipados conseguem gerar provas com rapidez suficiente para serem úteis?
A Dusk iterou sobre isso (PLONK, depois PlonKup com tabelas de consulta para acelerar provas complexas), o que mostra que eles estão cientes do gargalo. Se isso está totalmente resolvido para um volume de transações de nível institucional é uma questão aberta e empírica — não algo em que eu confiaria sem mais.
$DUSK #dusk
A parte da proposta de @Dusk sobre a qual estou mais genuinamente incerto(a) é o custo de geração de prova em escala.
Gerar uma prova zk-SNARK não é gratuito — o custo computacional escala com a complexidade do circuito e, em sistemas zk de modo geral, os tempos de prova para circuitos complexos podem variar de frações de segundo a dezenas de segundos, dependendo do hardware e da quantidade de restrições.
Contratos inteligentes confidenciais com lógica de conformidade embutida são, quase por definição, circuitos mais complexos do que uma simples transferência. Isso tem implicações reais: quem arca com o custo da prova (o dispositivo do usuário, um provador delegado, o nó) e isso cria pressão de centralização se apenas provedores bem equipados conseguem gerar provas com rapidez suficiente para serem úteis?
A Dusk iterou sobre isso (PLONK, depois PlonKup com tabelas de consulta para acelerar provas complexas), o que mostra que eles estão cientes do gargalo. Se isso está totalmente resolvido para um volume de transações de nível institucional é uma questão aberta e empírica — não algo em que eu confiaria sem mais.
$DUSK #dusk
