Imagine dois bancos de dados: > Banco de Dados A • consultas de 1ms • escala infinita • mas ninguém pode provar que os registros estão corretos > zkDatabase • um pouco mais lento • mas todo registro é criptograficamente demonstrável Qual você escolheria?