Zcash утверждает, что доказательство Ironwood исключает необнаружимые ошибки подделки

Исследователи Zcash опубликовали более 2700 проверенных машинами теорем, призванных исключить необнаружимые ошибки-подделки в Ironwood.