Release v1.3.0 marks the first audited release of Hyperdrive. This milestone includes correctness fixes, performance fixes, DoS-protection fixes, and additional documentation. No interfaces are expected to change.