STARKs: provas de conhecimento zero que realmente escalam sem configuração de confiança, sem ponto fraco quântico.