(FHE) @zama_fhe for privacy computation
Zero-knowledge proofs (ZK) for scalability
@boundless_xyz @brevis_zk @SuccinctLabs
Multi-party computation (MPC) for key management @QuilibriumInc (Quil is not just a key management API; it's a web3 secure traffic network).
These technologies overlap in usage, but will ultimately be separated. For example, Zama also uses MPC for authorizing the use of privacy data. ZooKeeper can also be used for privacy protection, but FHE is still the best for privacy data computation.
On FHE, @zama_fhe uses plonky2 to prove the correct execution of TFHE bootstrapping.