Post

Zcash зробив важливий технічний крок у розвитку Tachyon. 28 вересня команда оголосила, що починає інтеграцію рекурсивних доказів Tachyon у Zakura Common — новий криптографічний стек, який використовується у майбутньому full node Zakura та інших проєктах екосистеми Zcash. Для звичайного користувача це звучить складно, але суть досить проста: розробники намагаються створити спільний і максимально оптимізований криптографічний фундамент, на якому зможуть працювати різні покоління технологій Zcash. Tachyon використовує рекурсивні zk-докази, тому його обчислення складніші за ті, що потрібні Ironwood. Зазвичай це означало б більше пам’яті, більші бінарні файли та вищі витрати на побудову доказів. Саме тут з’являється Common. Команда переносить оптимізації, які вже були зроблені для Ironwood, у нову архітектуру, щоб Tachyon міг використовувати їх без створення окремого набору бібліотек. Одним із ключових компонентів стає Udon — новий Rust-крейt, який замінює частину старої арифметики pasta_curves та halo2_proofs. Udon спеціально оптимізований для кривих Pallas і Vesta, які використовуються Zcash. Особливо цікаво, що Udon дає застосунку контроль над пам’яттю, паралельністю та робочими буферами. FFT і MSM можна виконувати поступово, звільняючи проміжні дані ще до завершення всього процесу Є й інший важливий аспект — формальна верифікація. Ironwood уже має реалізацію, функціональну еквівалентність якої показано щодо формальної моделі Водночас важливо не перебільшувати значення цього релізу. Це ще не запуск Tachyon і не доказ того, що всі його майбутні характеристики вже досягнуті Це етап інженерної інтеграції та перебудови фундаменту Але напрямок важливий: $ZEC Zcash будує спільний криптографічний стек, який має дозволити наступному поколінню zk-технологій використовувати вже накопичені оптимізації замість постійного створення нової інфраструктури з нуля Якщо Tachyon стане наступним великим кроком масштабування Zcash, то саме такі низькорівневі зміни можуть виявитися однією з найважливіших частин цього переходу