Jason Vranek

Jason Vranek 是 Puffer Labs 的撰稿人。

我最近完成了計算機科學與工程碩士學位。我在第一份編程工作中涉足了市場設計，後來又發表了第一篇關於區塊鏈去中心化交易所搶先運行的文章。

我的本科背景是計算機工程，重點是機器人技術，有一段時間我沉迷於機器人修補（即無人機/自動駕駛飛機）。這使我在讀研究生時假設我會學習機器人技術+強化學習，但在瞭解了區塊鏈的潛力之後，我的重點轉向了安全/隱私。

我現在對可驗證計算感興趣，這是我博士學位的重點。我使用Chisel來構建開源軟件庫，爲昂貴的加密操作（即完全同態加密和零知識證明）生成硬件加速器。我的研究涉及在Python中進行原型設計，然後在Chisel/Scala中設計硬件生成器以FPGA爲目標。

我的碩士論文是關於爲許多密碼原語中使用的昂貴的多項式運算構建一個數論變換硬件加速器。我認爲自己很幸運，因爲Chisel支持敏捷硬件開發，這意味着我可以在設計硬件的同時練習軟件工程技能。我很感激在設計硬件加速器時有機會研究我的直接領域之外的目標領域。

我喜歡教書，並且在加州大學聖地亞哥分校的本科計算機架構課程中有多個季度的助教。其他興趣包括自動定理證明器、深度RL、量子計算、元胞自動機以及盡我所能使用Jupyter筆記本電腦。