El esfuerzo se produce tras la detección el mes pasado de un fallo de falsificación en el pool Orchard de Zcash. Los desarrolladores afirman que la verificación formal asistida por IA ha reducido el trabajo que antes llevaba años a tan solo semanas.