Authenticating query results in edge computing | Synapse