Abstract: As databases increasingly serve as backbones for sensitive applications, ensuring both data confidentiality and computational integrity becomes critical—especially when the data owner and querier do not fully trust each other. In this talk, I will introduce PoneglyphDB, a novel database system that generates non-interactive zero-knowledge proofs (ZKPs) for arbitrary SQL queries, allowing users to verify query results without seeing the underlying data. […]