Бачачи деякі коментарі, я розумію, що може виникнути певна плутанина або нерозуміння щодо того, що це означає. Я підтверджую і ще раз наголошую, що це неймовірний виступ і що жодна інша система доказів у світі сьогодні не може досягти таких подвигів з таким рівнем економічної ефективності, недовіри та надійності. Ми розширюємо межі технології ZK, щоб зробити історію Bitcoin перевіреною способами, які раніше неможливо було уявити. По-перше, деякі коментарі натякали на сарказм на кшталт: «Вони «скоротили» все до 6,5 годин», маючи на увазі, що це повільно або приголомшливо. Хм, я думаю, що тут величезна плутанина! 6,5 годин – це час для створення ПОВНОГО РЕКУРСИВНОГО ДОКАЗУ для всього ланцюжка. Це робиться ЛИШЕ ОДИН РАЗ, ОДНІЄЮ машиною (і ми оптимізуємо, щоб ще більше знизити витрати). ДАВАЙТЕ ЗОСЕРЕДИМОСЯ НА РЕАЛЬНІЙ УГОДІ => Верифікація займає всього 50-100 мілісекунд, навіть на невеликих пристроях, таких як телефони. Справа не в часі доведення, а в асиметрії, яку забезпечують СТАРКИ: доведення вимагає великих обчислювальних витрат, але одноразово; Верифікація відбувається блискавично швидко і масштабується нескінченно. Оскільки ми наполегливо працюємо, щоб мати можливість довести повне виконання блоку (скрипти, txs тощо), перевірка все одно становитиме ~100 мс для всього ланцюжка. Це кардинально змінює правила гри! Наступний елемент: "Докази не перевіряються." Насправді, перевірка доказів дійсно підтверджує! Замість того, щоб повторно виконувати все (повільним, традиційним способом), ви перевіряєте доказ STARK, який криптографічно гарантує той самий результат, але експоненціально швидше та з меншими обчисленнями. Це все одно, що стиснути перевірку в крихітну ефективну перевірку без шкоди для безпеки. Щоб пояснити далі, ось високорівневий робочий процес для нашого Compressed SPV Proof (з використанням STARKs через Cairo+Stwo): - Пакетне виконання: Виконавець обробляє пакети заголовків блоків Bitcoin (наприклад, 1-10k, потім 10k-20k) за допомогою завантажувача та припускають допустимі програми Caairo, генеруючи траси та входи виконання. - Генерація доказів: Виробник створює доказ STARK, який підтверджує, що логіка перевірки блоку була правильно виконана над цими заголовками. - Верифікація: стиснений доказ + поточний стан ланцюга + корінь MMR переходить до верифікатора в ланцюжку/поза ланцюгом, який без довіри підтверджує: валідність та зв'язування всіх заголовків назад до генезису. * Включення цільового блоку (через доказ MMR). * Достатня сукупна складність/робота. * Правильні позначки часу та правила консенсусу. * Включення цільового tx (через доказ Merkle/SPV). Детальніше тут: І реалізація основної Каїрської програми тут: