The documents in this repo provide formal design specifications for the various component of the CONIKS system.
The original design document (published at USENIX Security 2015) provides a high-level description of the data structures and protocols underlying CONIKS.