Jason Vranek
Jason Vranek es colaborador de Puffer Labs.
Recientemente terminé mi maestría en Ciencias e Ingeniería de la Computación. Incursioné en el diseño de mercados durante mi primer trabajo de programación y, más tarde, en mi primera publicación sobre la posición a la vanguardia de las bolsas descentralizadas en cadenas de bloques.
Mi formación universitaria fue en Ingeniería Informática, con énfasis en robótica, y durante un tiempo me obsesioné con los retoques robóticos (es decir, drones o vehículos autónomos). Esto me llevó a realizar el posgrado con el supuesto de que me dedicaría a la robótica y al aprendizaje por refuerzo, pero me centré en la seguridad y la privacidad después de conocer el potencial de la cadena de bloques.
Mi interés ahora está en la computación verificable, que es el tema central de mi doctorado. Utilizo Chisel para crear bibliotecas de software de código abierto que generan aceleradores de hardware para operaciones criptográficas costosas (es decir, el cifrado totalmente homomórfico y las pruebas sin conocimiento). Mi investigación incluye la creación de prototipos en Python y, a continuación, el diseño de generadores de hardware en Chisel/Scala para utilizar FPGA.
Mi tesis de máster versó sobre la creación de un acelerador de hardware basado en la transformación teórica de números para las costosas operaciones polinómicas utilizadas en muchas primitivas criptográficas. Me considero afortunado porque Chisel permite un desarrollo ágil de hardware, lo que significa que puedo practicar mis habilidades de ingeniería de software mientras diseño hardware. A la hora de diseñar aceleradores de hardware, estoy muy agradecido de tener la oportunidad de investigar campos objetivo ajenos a mi campo directo.
Disfruto de la enseñanza y he realizado una maestría en el curso de pregrado de Arquitectura de Computadores de la UCSC durante varios trimestres. Otros intereses incluyen los probadores de teoremas automáticos, la inteligencia artificial profunda, la computación cuántica, los autómatas celulares y el uso de Jupyter Notebooks para todo lo que pueda.
