Тепер ви можете довести цілий блокчейн за допомогою ONE математичної задачі – справді

Компанія Electric Coin Company (ECC) каже, що відкрила новий спосіб масштабування блокчейнів за допомогою «композиція рекурсивного доказу,"доказ для перевірки цілісності блокчейну в ONE функції. Для ECC і Zcash, новий проект,Ореол, може містити ключ до Політика конфіденційності в масштабі.

Монета Політика конфіденційності , заснована на доказах з нульовим знанням, яка називається zk-SNARK, поточний базовий протокол zcash покладається на "надійні налаштування." Ці математичні параметри використовувалися двічі за коротку історію zcash: після запуску в 2016 році та першої великої зміни протоколу, Sapling, у 2018 році.

Zcash маскує трансакції через zk-SNARK, але створення початкових параметрів залишається проблемою. Не руйнуючи математичну основу транзакції – надійну установку – власник може створити підроблений Zcash.

Крім того, розробка "церемонії«спільнота Zcash зазнає створення довірених установок, які є дорогими та є слабким місцем для всієї системи. Залежність від довірених налаштувань з zk-SNARK була добре відома ще до дебюту zcash у 2016 році. Хоча інші дослідження не змогли усунути прогалину, рекурсивні докази роблять довірені налаштування в минулому, стверджує ECC.

Halo Боу

Розмовляючи з CoinDesk, інженер ECC і винахідник Halo Шон Боу сказав, що композиція рекурсивного доказу є результатом років праці – його та інших – і місяців особистого розчарування. Насправді він майже здався три рази.

Боу почав працювати в ECC після того, як у 2015 році генеральний директор ECC і співзасновник Zcash Zooko Wilcox помітила його інтерес до zk-SNARK. Після допомоги в запуску Zcash і його першої значної зміни протоколу з Sapling, Боу перейшов до постійних досліджень у компанії.

До Halo Боу працював над іншим варіантом zk-SNARK, Sonic, для якого була потрібна лише ONE надійна установка.

Для більшості шифрпанків це ONE .

«Люди, про які ми також починаємо думати ще в 2008 році, ми повинні мати докази, які можуть перевірити інші докази, те, що ми називаємо рекурсивною композицією доказів. Це сталося в 2014 році», — сказав Боу CoinDesk.

Докази, докази і ще раз докази

По суті, Bowe and Co. відкрили новий метод доведення дійсності транзакцій, хоча вони маскуються, шляхом стиснення обчислювальних даних до мінімуму. Як Папір ECC стверджує: «докази, здатні перевірити інші приклади самих себе».

Транзакції блокчейну, такі як Bitcoin і Zcash, базуються на еліптичних кривих із точками на кривій, які служать основою для відкритого та закритого ключів. Публічне звернення можна подумати про криву: ми знаємо, як LOOKS еліптична крива загалом. Ми не знаємо, де розташовані приватні адреси на кривій.

Функція zk-SNARK полягає в тому, щоб анонімно повідомляти про приватні адреси та транзакції – якщо адреса існує та де вона існує на кривій.

[caption ID="" align="aligncenter" width="413"]The secp256k1 еліптична крива, яка використовується для Bitcoin та Ethereum через Hackernoon[/caption]

Робота Боу схожа на куленепробивні, інший zk-SNARK, який не вимагає довіреного налаштування. «Коли ви думаєте про Halo, ви повинні думати про рекурсивні куленепробивні засоби», — сказав Боу.

З технічної точки зору, куленепробивність спирається на «аргумент внутрішнього продукту», який передає певну інформацію про криві ONE одному. На жаль, цей аргумент є дуже дорогим і трудомістким порівняно з типовою перевіркою zk-SNARK.

Доводячи кілька zk-SNARK за допомогою ONE— завдання, яке вважалося неможливим до дослідження Боу — обчислювальна енергія зменшується до частки вартості.

«Люди думали про куленепробивні засоби поверх куленепробивних засобів. Проблема, пов’язана з куленепробивним верифікатором, є надзвичайно дорогою через аргумент внутрішнього продукту», — сказав Боу. «Я T використовую куленепробивні засоби, я використовую попередню ідею, на якій побудовані куленепробивні».

Насправді, Боу сказав, що рекурсивні докази означають, що ви можете підтвердити повний блокчейн Bitcoin , займаючи менше місця, ніж займає блокчейн Bitcoin – 80 байт даних.

Майбутнє Zcash

Написавши у Twitter, Вілкокс сказав, що його компанія зараз вивчає реалізацію Halo як рішення рівня 1 на Zcash.

Рішення рівня 1 – це впровадження в кодову базу, що становить блокчейн. Більшість рішень для масштабування, як-от Lightning Network для біткойнів, є рішеннями рівня 2, створеними на основі стану блокчейну. Зацікавленість ECC у перетворенні Halo на рішення рівня 1 свідчить про оригінальність Цікаве , оскільки воно буде знаходитися поруч із кодом, скопійованим у самого творця біткойна Сатоші Накамото.

ECC вивчає можливість використання Halo для Zcash як для усунення довіреної установки, так і для масштабування Zcash на рівні 1 за допомогою вкладеної композиції доказів.







— zooko (@zooko) 10 вересня 2019 р

З перших днів Політика конфіденційності монет масштабування було спірним питанням: маючи стільки даних, необхідних для MASK транзакцій, як розвинути глобальну мережу?

Боу та ECC стверджують, що рекурсивні докази вирішують цю дилему: якщо для перевірки всього блокчейну потрібен лише ONE доказ, проблеми з даними можуть залишитися в минулому:

"Політика конфіденційності і масштабованість — це дві різні концепції, але вони чудово поєднуються тут. Близько 5 років тому науковці працювали над рекурсивними снарками, доказами, які могли б перевірити себе чи інші докази [і навіть] перевірити кілька доказів. Отже, [композиція рекурсивного доказу] означає, що вам потрібен лише ONE доказ, щоб перевірити весь блокчейн".

Правда, це T алгебра на другому курсі: Боу сказав CoinDesk, що лише для доказу знадобилося майже дев’ять місяців склеювання різних частин.

Новий спосіб створення вузлів

Ще одним наслідком рекурсивних доказів є кількість даних, що зберігаються в блокчейні. Оскільки всю книгу можна перевірити за допомогою ONE функції, запровадження нових вузлів стане легшим, ніж будь-коли, сказав Боу.

"Ви побачите блокчейни з набагато більшою пропускною спроможністю, тому що вам T потрібно передавати всю історію в ONE. Стан ланцюжка все одно потрібно побачити. Але якщо ви хочете завантажити всю мережу, вам T потрібно завантажувати весь блокчейн".

Хоча ланцюги станів все ще потребують моніторингу для базової перевірки транзакцій, синхронізація всієї історії блокчейну (понад 400 ГБ і 200 ГБ для Ethereum і Bitcoin відповідно) стає надлишковою.

Для Zcash Halo означає простіші хардфорки. Дослідження ECC стверджують, що без надійних установок «докази змін стану потребують лише посилання на останні докази, що дозволяє назавжди відкинути стару історію».

Коли його запитали, яке місце займає його Цікаве з іншими досягненнями, Боу сказав про його практичність:

«Яке це місце у великій схемі речей у Криптовалюта? Це криптографічний інструмент для стиснення обчислень… і масштабування протоколів».

Кубик Рубікс зображення через Shutterstock