Чаму Доказы?

Індэксатар скануе блокчейн PIVX і стварае рэестр імёнаў. Але чаму хто-небудзь павінен гэтаму давяраць? Што рабіць, калі гэта:

• Фабрыкуе рэгістрацыю, якая ніколі не адбывалася ў ланцужку?
• Спаганяе няправільную плату?
• Рэгіструе імя двойчы?
• Маніфікацыі стану рэестра?

ЗК доказы здымаюць гэтыя пытанні. Кожны доказ з'яўляецца крыптаграфічным сертыфікатам таго, што рэгістрацыя была апрацавана правільна. Любы можа праверыць доказы самастойна.

Што пацвярджае кожны доказ

Правершчык 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 і пацвярджаць супадзенне памяткі і значэння.