@jonmsterling@mathstodon.xyz @carloangiuli@mathstodon.xyz Unfortunately, there were good researchers in substructural type systems who pivoted to blockchain. In some cases, the blockchain papers also contain good ideas that are useful in other contexts.