Imagine duas bases de dados: > Base de Dados A • consultas de 1ms • escala infinita • mas ninguém pode provar que os registos estão corretos > zkDatabase • ligeiramente mais lenta • mas cada registo é criptograficamente provável Qual escolherias?