STARKs: provas de conhecimento zero que realmente escalam nenhuma configuração confiável, nenhum calcanhar de Aquiles quântico.