XRPLのセキュリティに関する最近の優れた進展—形式的検証とAIによるバグ発見—を踏まえると、レンディングとSAVの改訂は、XRPの歴史においてこれまでほとんど見られなかったセキュリティ基準をすでに超えていると考えるのが自然ですよね?