Proof of SQL (PROOFOFSQL)