This still feels like wandering in the wilderness compared to stuff like batman-adv or tinc, both of which are very precise and succinct about network and proto

This still feels like wandering in the wilderness compared to stuff like batman-adv or tinc, both of which are very precise and succinct about network and protocol design. Has the cryptography been audited yet? I seem to remember that that was something big coming up Real Soon Now.