Izaak Meckler

CodaProtocol 擴展加密貨幣、函數式編程、zk-SNARK 等的創始人兼首席技術官 我是加州大學伯克利分校數學系的研究生。我喜歡計算複雜性、密碼學、幾何和拓撲、類別，以及對計算機上的數學對象進行顯式計算等等。以下是我認爲既漂亮又酷的東西： 僞隨機性；大規模幾何學；證明概念的變體（交互式證明、PCP、零知識證明、論據、lambda 術語）；分類；埃爾多斯證明存在無限多的素數。