Twilight is a layer 2 protocol for building private financial applications, where the validity of computation over encrypted data is proven in zero-knowledge using Bulletproofs. No trusted setup.