Joseph Bebel 是Metastate 零知识证明相关的协议开发工程师,以及一位理论计算机科学家,擅长计算复杂性理论、概率可检验的证明、SNARK 等,对将理论结果应用于现实世界系统的方式感兴趣。