zk-STARK
Scalable Transparent ARgument of Knowledge: prova de conhecimento zero sem trusted setup, construída apenas sobre funções de hash e resistente a computadores quânticos.
Eli Ben-Sasson et al., 2018. Transparente = sem parâmetros "mágicos" vindos de uma cerimônia; a segurança repousa só em um hash resistente a colisões (árvores de Merkle, protocolo FRI). Escalável = o tamanho da prova cresce de forma polilogarítmica com o tamanho da computação, não linear.
Custo: as provas são de 10 a 100× maiores que as dos zk-SNARKs (quilobytes contra centenas de bytes). Move Starknet, Polygon Miden e RISC Zero. Preferido onde a segurança pós-quântica ou a ausência de trusted setup é requisito rígido.