Чому докази?

Індексатор сканує блокчейн PIVX і створює реєстр імен. Але чому хтось має цьому довіряти? Що якщо це:

• Виготовляє реєстрацію, яка ніколи не відбувалася в мережі?
• Стягує неправильну плату?
• Реєструє ім'я двічі?
• Втручається в стан реєстру?

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

Що підтверджує кожен доказ

Проверник PIVX використовує SP1 – віртуальну машину RISC-V без знань. Для кожної транзакції з доменом перевірка виконує такі перевірки всередині zkVM:

1. Дійсність імені -- 1-64 символи, малі літери та цифри + дефіси
2. Достатність комісії -- трансакція сплатила достатньо PIVX для довжини імені
3. Цілісність команди протоколу -- транзакція заплатила достатньо PIVX для довжини імені
4. Підпис Ed25519 -- підпис над memo command дійсний
5. Вставка дерева Merkle -- назви ще не існувало, і корінь нового стану правильний

Якщо будь-яка перевірка не вдасться, доказ не буде створено.

Публічні виходи

Кожне доказ фіксує 3 значення, які постійно прив’язані до нього:

Вихід	Опис
old_root	Корінь дерева Merkle до цієї реєстрації
new_root	Корінь дерева Merkle після цієї реєстрації
end_block_height	Останній блок PIVX реєстраційного пакета

block_height прикріплює доказ до певного блоку PIVX (наприклад, контрольної точки). Будь-хто може шукати транзакції на вузлі PIVX та підтверджувати відповідність пам’ятки та значення.