The question is how quickly we can implement the solutions that make trust unnecessary through mathematical proofs.