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