Adam Perlow
Adam Perlow founded Zen Protocol, a blockchain project for financial assets and smart contracts. The project used a Bitcoin-like transaction model to represent assets and enforce complex ownership rules, with formal verification as part of its smart-contract design. Its research explored creating, trading and settling financial contracts and connecting settlement to Bitcoin.