Este estudio se basa en nuestra revisión sistemática de la literatura (SLR) anterior que evaluó las aplicaciones y el rendimiento de los protocolos de prueba de conocimiento cero no interactivos (NIZKP) zk-SNARK, zk-STARK y Bulletproof. Para abordar las lagunas de investigación identificadas, diseñamos e implementamos un benchmark que compara estos tres protocolos utilizando una aplicación de hash de complejidad multiplicativa minimizada dinámica (MiMC). Evaluamos el rendimiento en cuatro bibliotecas de programación de propósito general y dos lenguajes de programación. Nuestros resultados muestran que zk-SNARK produjo las pruebas más pequeñas, mientras que zk-STARK generó las más grandes. En términos de tiempos de generación y verificación de pruebas, zk-STARK fue el más rápido y Bulletproof el más lento. Curiosamente, las pruebas de zk-SNARK se verificaron marginalmente más rápido que las de zk-STARK, en contraste con otros hallazgos. Estos conocimientos mejoran nuestra comprensión de la funcionalidad, seguridad y rendimiento de los protocolos NIZKP, proporcionando una guía valiosa para seleccionar el protocolo más adecuado para aplicaciones específicas.