<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>运行时验证 on 办公AI智能小助手</title>
    <link>https://blog.qife122.com/tags/%E8%BF%90%E8%A1%8C%E6%97%B6%E9%AA%8C%E8%AF%81/</link>
    <description>Recent content in 运行时验证 on 办公AI智能小助手</description>
    <generator>Hugo</generator>
    <language>zh-cn</language>
    <copyright>qife</copyright>
    <lastBuildDate>Fri, 31 Oct 2025 05:12:05 +0800</lastBuildDate>
    <atom:link href="https://blog.qife122.com/tags/%E8%BF%90%E8%A1%8C%E6%97%B6%E9%AA%8C%E8%AF%81/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>PolPatrol：波卡运行时自动化验证工具解析</title>
      <link>https://blog.qife122.com/p/polpatrol%E6%B3%A2%E5%8D%A1%E8%BF%90%E8%A1%8C%E6%97%B6%E8%87%AA%E5%8A%A8%E5%8C%96%E9%AA%8C%E8%AF%81%E5%B7%A5%E5%85%B7%E8%A7%A3%E6%9E%90/</link>
      <pubDate>Fri, 31 Oct 2025 05:12:05 +0800</pubDate>
      <guid>https://blog.qife122.com/p/polpatrol%E6%B3%A2%E5%8D%A1%E8%BF%90%E8%A1%8C%E6%97%B6%E8%87%AA%E5%8A%A8%E5%8C%96%E9%AA%8C%E8%AF%81%E5%B7%A5%E5%85%B7%E8%A7%A3%E6%9E%90/</guid>
      <description>&lt;h1 id=&#34;polpatrol--波卡运行时验证器&#34;&gt;PolPatrol — 波卡运行时验证器&lt;/h1&gt;&#xA;&lt;p&gt;ChainSecurity 很高兴发布 PolPatrol，这是一个自动化验证工具，用于测试 Polkadot 中继链运行时在通用安全性和性能属性方面的稳定性与安全性。由于 Polkadot 的中继链运行时处于网络核心地位，当前版本的 PolPatrol 专注于确保中继链运行时的安全性和功能正确性。&lt;/p&gt;</description>
    </item>
  </channel>
</rss>
