Linked Presentation: Lightweight Authentication of Web Data via Garble-Then-ProveZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
