Hacker News Reader

Verification of onchain protocols seems like a great fit.

It is, it advances this theory and tech. I only mentioned it because many people will simply not read anything that has blockchain associations.

Blockchain is just a solution in search of a problem. It's the cryptocurrency stuff where it gets shady.