Zcash завершает формальную верификацию Ironwood: правила доказательства для 2 700 теорем исключают неуязвимое поддельное изготовление без обнаружения
По данным Project Tachyon, во вторник исследователи Zcash завершили формальную верификацию Ironwood, опубликовав машинно-проверяемое доказательство того, что новая защищённая пульса сети не содержит не обнаруживаемых багов с подделками при заявленных криптографических допущениях. Доказательство, написанное на языке программирования Lean, включает более 2 700 теорем и было подготовлено тремя командами исследователей и криптографов в течение более чем месяца. Работа подтверждает целостность баланс
ZEC3,36%
GateNews·07-29 01:19
