Wow, that’s a neat idea - composable but verifiable notaries!
Well, they have to be verifiable offline (or sort-of offline) as a prerequisite. ZKP gives you the composition.