We’re thrilled to see Umbrella ready for activation!
In the past months, we audited and formally verified Umbrella, getting to know its mechanism better.
From a security perspective, Umbrella, together with V3.3, introduces an elegant solution for handling bad debt. The upgrades reduce operational friction for the future, in addition to the obvious increment of trust in the system by suppliers.
We managed to prove core properties and invariants of the system
The specs can be found here: