Derek

デレクはEthFoundationでプロトコルSnarkificationに取り組んでいます。ケンブリッジ大学で形式手法の博士号を取得しています。