I’m the research lead for protocols at Anchorage Digital. I’m focused on ensuring safety and correctness of blockchains at the scale of institutional use.