STARK (Scalable Transparent Argument of Knowledge)
Compressão ZK · Abismo
Um STARK e um sistema de prova de conhecimento zero que alcanca transparência (sem setup confiavel — toda aleatoriedade e derivada de funções hash publicamente verificaveis) e escalabilidade (tempo de geracao de prova escala quase-linearmente com tamanho da computação), ao custo de tamanhos de prova maiores (dezenas a centenas de kilobytes) comparados a SNARKs. STARKs dependem apenas de funções hash resistentes a colisao e sao portanto pos-quanticos seguros, diferente de SNARKs baseados em curvas elipticas, tornando-os teoricamente mais robustos para implantacoes de longo prazo. Na Solana, STARKs ainda não sao comumente usados para verificação on-chain porque seus tamanhos de prova excedem limites praticos de transação e conta, mas sao empregados em infraestrutura de prova off-chain e projetos de pesquisa Layer-2 mirando futuras integracoes SVM com verificação de prova recursiva ou agregada.