Muito longo; Para ler
Uma análise técnica aprofundada do STARK, o sistema de prova.
Basicamente, consiste em 3 etapas principais, Construindo Rastreamento, Provedor para Rastreamento e Verificando a Prova. A Etapa 2, "Prover for Trace" consiste em 9 subetapas começando de 'Instanciação do AIR' até 'Estabelecer Objetos de Prova'.
E a Etapa 3, "Verificando a prova" consiste em 4 subetapas, a saber, 'Verificação de consistência boa', 'Instanciar o objeto verificador FRI', 'Calcular polígono profundo nas posições de consulta' e 'Executar o processo FRI VERIFY'.