Suggesting a link for: Security Manifests RFC: Protocol-Level Smart Contract Invariant Protection Proposed