Just a side note afaik zk snark was mentioned a couple of times in the context of decentralized computing
Maybe you will find searching for that keyword in the forum interesting ( Privacy-preserving distributed computing with side effects – is that even possible? )
Sorry only limited time and therfore only this short note… Hope I didn’t say something stupid