Immagina due database: > Database A • query a 1ms • scala infinita • ma nessuno può provare che i record siano corretti > zkDatabase • leggermente più lento • ma ogni record è provabile crittograficamente Quale sceglieresti?