zk-STARK

Um zk-STARK é uma prova de conhecimento zero escalável e transparente: dispensa trusted setup e se apoia apenas em funções de hash e aleatoriedade pública, em vez de parâmetros secretos. Isso elimina o risco de lixo tóxico associado aos zk-SNARKs, e as suposições subjacentes são geralmente consideradas resistentes a ataques quânticos, já que não dependem de curvas elípticas. A contrapartida é o tamanho: provas STARK são bem maiores, então publicá-las e verificá-las on-chain custa mais, embora a verificação ainda escale muito melhor do que reexecutar o trabalho. Vários rollups do Ethereum usam STARKs para provar lotes de transações. Na prática, escolher entre SNARK e STARK é uma decisão de engenharia sobre tamanho da prova, custo do provador, suposições de configuração e risco criptográfico de longo prazo.