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