Monitoring the Internet Computer

【Author】 Basin, David; Dietiker, Daniel Stefan; Krstic, Srdan; Pignolet, Yvonne-Anne; Raszyk, Martin; Schneider, Joshua; Ter-Gabrielyan, Arshavir

【Source】FORMAL METHODS, FM 2023

【影响因子】

【Abstract】The Internet Computer (IC) is a distributed platform for Web3 applications, spanning over 1,200 nodes worldwide. We present results on applying runtime monitoring to the IC. We use the MonPoly monitor and its expressive policy language with quantifiers over infinite domains, aggregations, and past and future operators. We formalize complex policies that cover common kinds of production incidents and ICspecific protocol properties, including malicious behaviors and infrastructure outages. Using these policies, we evaluate MonPoly's performance in a large-scale case study that includes logs from both production and testing environments. We find, for example, that MonPoly performs well on testing logs, and that half of our policies applicable to production logs can be monitored in an online setting. Overall, our policies and IC traces constitute a new benchmark for first-order temporal logic monitors.

【Keywords】Runtime monitoring; Temporal logic; Internet Computer

【发表时间】2023

【收录时间】2023-06-27

【文献类型】

【主题类别】

--