added lavaboom and enigmabox
s/p2p/P2P
Added a brief list of some of the main experimental approaches to key discovery and validation. fixed a few typos.