This also includes thinking of potential ways to apply my previous research into #ProofOrientedProgramming to the #Fediverse. This is an approach where you don't need to share private data to let others make a contextual decision; instead you let them send the condition of the decision to you and, if you are happy to do so, you send them a #ZeroKnowledgeProof that the condition is satisfied your data.