Jason Vranek

Jason Vranek 是 Puffer Labs 的撰稿人。

我最近完成了计算机科学与工程硕士学位。我在第一份编程工作中涉足了市场设计，后来又发表了第一篇关于区块链去中心化交易所抢先运行的文章。

我的本科背景是计算机工程，重点是机器人技术，有一段时间我沉迷于机器人修补（即无人机/自动驾驶飞机）。这使我在读研究生时假设我会学习机器人技术+强化学习，但在了解了区块链的潜力之后，我的重点转向了安全/隐私。

我现在对可验证计算感兴趣，这是我博士学位的重点。我使用Chisel来构建开源软件库，为昂贵的加密操作（即完全同态加密和零知识证明）生成硬件加速器。我的研究涉及在Python中进行原型设计，然后在Chisel/Scala中设计硬件生成器以FPGA为目标。

我的硕士论文是关于为许多密码原语中使用的昂贵的多项式运算构建一个数论变换硬件加速器。我认为自己很幸运，因为Chisel支持敏捷硬件开发，这意味着我可以在设计硬件的同时练习软件工程技能。我很感激在设计硬件加速器时有机会研究我的直接领域之外的目标领域。

我喜欢教书，并且在加州大学圣地亚哥分校的本科计算机架构课程中有多个季度的助教。其他兴趣包括自动定理证明器、深度RL、量子计算、元胞自动机以及尽我所能使用Jupyter笔记本电脑。