Um protocolo SNARK/STARK básico Sessão completa aqui: