Like seq, but smaller, more complicated and hopefully less buggy.
Independent verifier for the Provedit chain protocol. Apache-2.0.