Cardano розгортає перший смарт-контракт без знань

Cardano офіційно розгорнув перший смарт-контракт із нульовим знанням (ZK) у головній мережі, знаменуючи важливу віху для цього блокчейну. Цей контракт реалізовано на мові Plutus v3 і інтегрує технологію Halo2, що дозволяє додаткам ZK, таким як Midnight, підключатися до Cardano. 25 листопада дослідницька група Input Output (IO) успішно перевірила підтвердження Halo2 для програми Ad-hoc Threshold Multi-signatures (ATMS), успішно підтвердивши 50 із 90 підписів. Перша транзакція спрямована на блокування монет, тоді як друга транзакція вимагає підтвердження ZK, щоб розблокувати монети з комісією за перевірку 2,03 ADA.

Halo2, розроблений на основі протоколу PLONK, забезпечує надійну автентифікацію, підвищуючи безпеку. Він також підтримує рекурсивні докази, що дозволяє розбивати обчислення для покращення масштабованості. Ці досягнення не тільки обіцяють скоротити витрати та підвищити швидкість генерації доказів, а й зміцнити позиції Cardano у просторі блокчейну.