Izaak Meckler

CodaProtocol 扩展加密货币、函数式编程、zk-SNARK 等的创始人兼首席技术官 我是加州大学伯克利分校数学系的研究生。我喜欢计算复杂性、密码学、几何和拓扑、类别，以及对计算机上的数学对象进行显式计算等等。以下是我认为既漂亮又酷的东西： 伪随机性；大规模几何学；证明概念的变体（交互式证明、PCP、零知识证明、论据、lambda 术语）；分类；埃尔多斯证明存在无限多的素数。