Abra o zk-STARKValidator; este executará automaticamente o ficheiro de dados de prova de soma que guardou na pasta Verificar o resultado Se a verificação for aprovada, será apresentado o resultado Soma total e validação de restrição não negativa aprovada: Se a verificação falhar, será apresentado o resultado Soma total e a validação da restrição não-negativa falhou: Para explorar mais detalhes técnicos, o nosso sistema de Prova de Reservas é de código aberto e está disponível para revisão e uso em github