[tptacek]

There is great stuff in here, including the CTR nonce reuse bug that Nadim wrote about earlier. Ouch.

[zooko]

Thanks! I'm very proud of our work in this audit.