Ricercatori di Zcash pubblicano 2.700 teoremi verificati al computer per bloccare la contraffazione in Ironwood

I ricercatori di Zcash hanno pubblicato un insieme di oltre 2.700 teoremi verificati al computer, progettati per eliminare i bug di contraffazione non rilevabili nel prossimo