Imagine two databases: > Database A • 1ms queries • infinite scale • but nobody can prove the records are correct > zkDatabase • slightly slower • but every record is cryptographically provable Which one would you choose?