Zcash оприлюднив 2700 перевірок, намагаючись зміцнити довіру до постачання

Zcash (ZEC) оприлюднив понад 2700 машинних доказів перевірки балансової цілісності нового анонімного пулу Ironwood. Це тлумачиться як захід для зміцнення довіри до обсягу постачання в структурі конфіденційності, що приховує суму транзакцій та учасників. Розробницька організація Project Tachyon 28 числа представила результати роботи трьох дослідницьких команд та криптографів, які працювали більше місяця; докази були написані мовою формальних доказів Lean. Ключовим аспектом перевірки є "балансова цілісність", що означає, що анонімний пул не може вивести більше вартості, ніж було введено публічно. Дослідники пояснили, що цей доказ охоплює систему нульових знань Ironwood, правила схем та бухгалтерський облік реєстру. Ironwood був впроваджений у оновленні Zcash NU6.3, і було вказано на вразливість, що дозволяє підробку ZEC у старому Orchard пулі. Розробники Zcash заявили, що фактично не було підтверджено жодних випадків зловживання цією вразливістю. Кошти, що переходять з Orchard до Ironwood, повинні проходити через публічний обліковий шлюз під назвою turnstile, що є процедурою перевірки обсягу коштів, що надходять з існуючого пулу. Реакція ринку обережна, і ZEC впав майже на 40% після виправлення вразливості. Очікується, що оприлюднення цього доказу зменшить сумніви щодо цілісності постачання під час процесу передачі коштів з Orchard.

Цей контент надано лише для загальних інформаційних цілей і не є фінансовою, інвестиційною, юридичною чи податковою консультацією. Події, нагороди, онлайн-акцій або пов’язану інформацію, згадана тут, не слід розглядати як рекомендацію, прохання чи запрошення до купівлі, продажу, торгівлі чи інших операцій з криптоактивами. Криптоактиви є дуже волатильними та можуть призвести до збитків. Доступність послуг, продуктів WEEX та пов’язаних із ними подій може відрізнятися залежно від регіону. Ви несете відповідальність за забезпечення відповідності вашої участі чинному місцевому законодавству та нормативним актам.