Weekly Report: 2025-11-07

• Started realigning team efforts to tackle the most urgent tasks after unexpected circumstances.

• Started working on a small change to store the most recent certificate seen in the PerasCertDB such that it’s not affected by garbage collection.

• Started working on a state machine test suite for the Peras voting rules. The idea is to evaluate if we can effectively test some local properties that should hold regardless of the global state of the blockchain, e.g., “if a node doesn’t vote for two consecutive rounds, then it must not vote for at least R rounds (cooldown).”