Trail of Bits Security Audit

[0xJepsen]

This is a discussion for the audit. We anticipate this being done in the next week or so which will unblock work on gas optimizations.