Benedikt Bánz
Benedikt Es estudiante de doctorado en el Grupo de Criptografía Aplicada de Stanford. En mi investigación generalmente me enfoco en el cripto (gráfico) de crypto(monedas). He trabajado en pruebas de solvencias, balizas de aleatoriedad, clientes ligeros, transacciones confidenciales y pruebas de conocimiento cero.
Las a prueba de balas son pruebas cortas de conocimiento cero no interactivas que no requieren ninguna configuración de confianza. Un a prueba de balas se puede utilizar para convencer a un verificador de que un texto sin formato cifrado está bien formado. Por ejemplo, puede probar que un número cifrado está en un rango determinado, sin revelar nada más sobre el número. En comparación con los SNARK, las a prueba de balas no requieren ninguna configuración de confianza. Sin embargo, verificar una prueba de balas consume más tiempo que verificar una prueba SNARK.