Zero-Knowledge Proofs (ZKPs), which generate evidence for a third party to confirm the accurate execution of a computation, and Fully Homomorphic Encryption (FHE), which enables calculations on encrypted data, will be combined with distributed systems algorithms, that are capable of tolerating significant network failures and similar to those employed by Bitcoin. Together they will be utilized to comply with regulations while creating trustless applications.