Ariel Gabizon es investigador en Protocol Labs. Anteriormente postdoc de Ciencias de la Computación en Technion and Cryptographer en Zcash.
Estoy trabajando principalmente en la tecnología zk-SNARK en Protocol Labs; actualmente en el contexto de la prueba de replicación: ¿Cómo se demuestra sucintamente a alguien que tiene varias copias de un archivo determinado?
Hasta hace poco trabajó en pruebas de conocimiento cero y otras cosas relacionadas con Blockchain en Zcash. Mis mayores contribuciones en Zcash fueron ayudando a hacer que los MMP para los parámetros SNARK fueran lo suficientemente simples como para implementarlo; y descubrir y ayudar a mitigar un error de falsificación ilimitado http://fortune.com/2019/02/05/zcash-vulnerability-cryptocurrency/.
El increíble trabajo de matemáticos como Riemann, Artin, Hasse y Weil tal vez involuntariamente nos dio emparejamientos de curvas elípticas - posiblemente la única forma práctica - aunque parcial - de "codificación homomórfica criptográfica". Y ahora con todos los datos y el valor fluyendo digitalmente en el mundo, estos emparejamientos nos dan no triviales - es decir, no sólo todo o nada - compensaciones entre verificabilidad y privacidad, acceso y seguridad; manifestándose en cosas como zk-SNARKs, firmas BLS y esquemas de compromiso polinómico.. explorar lo que estas herramientas pueden permitirnos hacer en la nueva frontera digital es lo que me interesa.
