El próximo ZK Prover de Cysic: Graph-First 🔥 Los sistemas de prueba ZK comparten en su mayoría suposiciones arquitectónicas comunes que nunca se han cuestionado. Tratan la función Prove() como una caja negra completa. El hardware nunca ve toda la operación de una vez, solo ve un núcleo (Kernel) a la vez. El nombre de esta suposición es HAL. ¡Te explicaré por qué Cysic ha reemplazado HAL!