Halborn and SEP2 audit results, what we learned, and how we think about smart contract security.