There are many other kinds of proof objects https://www.philipzucker.com/proof_objects/ . A similar one that is useful is outputting a permutation from a sorting algorithm. Verifying a permutation takes O(n) but sorting under the appropriate assumptions takes O(n ln(n)), so there is a complexity gap there. https://cacm.acm.org/research/program-correctness-through-self-certification/
But what I always ask myself, what’s the gain from it? Ultimately, likes and followers are just a Vanity Metric, and to me at least, don’t count as much as a real human reading these words. Not leaving a like or comment, but just having made a connection or an impact on someone in another part of the world I don’t know (yet? I’m always happy to get introduction emails from my readers! :)). Or just inspiring or making you think about something related, or just learning something new.。91吃瓜对此有专业解读
This is due to its sheer depth and extensibility. It does so much that,更多细节参见手游
flexible and useful for their users.,这一点在超级权重中也有详细论述