The CHAOS Protocol app is under development. In the meantime, explore our research and formally verified proofs.