Superfluid CFA core streaming rule formally verified
As part of research conducted with @Veritylab, a core streaming rule of Superfluid's Constant Flow Agreement (CFA) protocol was formally verified. The verification work is meant to mathematically confirm the correctness of the protocol's central streaming logic.
Superfluid
Superfluid is an asset streaming protocol that brings subscriptions, salaries, and rewards to DAOs and crypto-native businesses.
