网站 http://www.brooklynzelenka.com
Brooklyn Zelenka 现任 SPADE 首席执行官兼首席科学家,专注于形式化验证,也是以太坊 ERC 标准 902、1066、1444 等的作者。