I’ve also been reading about Hedger and how homomorphic encryption + zero-knowledge proofs can let computations happen without simply revealing the underlying data.