[alfiedotwtf]

Wow, that’s a neat idea - composable but verifiable notaries!

[eru]

Well, they have to be verifiable offline (or sort-of offline) as a prerequisite. ZKP gives you the composition.