Daniele Di Benedetto

Lead Software Engineer Horizen Labs

 

Soy un ingeniero informático que valora la curiosidad por la vida y el compromiso de trabajar entre todas las cosas.
Soy muy apasionado por las nuevas tecnologías en los campos de las matemáticas, la criptografía y la inteligencia artificial, y me encanta trabajar en proyectos y software en los que se exploten estas.
Constantemente busco desafíos difíciles y trabajo duro para aprender tanto como sea posible, mejorando así mis habilidades y satisfaciendo mi sed de conocimiento.

En Horizen Labs, dirijo el equipo de ingeniería criptográfica, cuya principal responsabilidad es diseñar e implementar la columna vertebral criptográfica de Zendoo, una construcción para sistemas de cadenas de bloques similares a Bitcoin que permite la creación y comunicación con cadenas laterales de diferentes tipos sin conocer su estructura interna; esto se logra mediante el uso de la composición recursiva de zk-SNARK.
La composición recursiva de zk-SNARK genera evidencia sucinta de la progresión del estado de la cadena lateral.

Trabajé principalmente en sistemas de prueba zkSNARKs (Groth16, Marlin, Darlin, Halo), desde la implementación de operaciones algebraicas de bajo nivel a primitivas y protocolos criptográficos de alto nivel, a circuitos R1CS (para el protocolo Zendoo Cross Chain Transfer) e integración con Blockchain, adquiriendo una buena competencia teórica y práctica de todo el stack tecnológico.

Actualmente investiga e implementa zkSTARK (Plonky2) y zkVM.