IOHK who is behind Cardano does quite a lot of scentific research and formalized and developed innovative concepts: https://iohk.io/en/research/library/.

It's still very experimental and yes, there are no clear applications yet, but there is some genuine research being made.