Zcash-forskare har publicerat en uppsättning på över 2 700 maskinkontrollerade teorem utformade för att eliminera oupptäckbara förfalskningsbuggar i den kommande Ironwood-protokolluppgraderingen. Arbetet, som publicerats av teamet bakom den integritetsfokuserade kryptovalutan, syftar till att matematiskt bevisa att den nya koden inte kan utnyttjas för att skapa falska mynt utan upptäckt.
Zcash-forskare publicerar 2 700 maskinkontrollerade teorem för att förhindra förfalskning i Ironwood
