Чаму Доказы?

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

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

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

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

Правершчык ZCash выкарыстоўвае SP1 - віртуальную машыну RISC-V без ведаў. Для кожнай транзакцыі з даменам праверка выконвае наступныя праверкі ўнутры zkVM:

1. Сапраўднасць імя - 1-64 сімвалы, літарна-лічбавы малы рэгістр + злучок
2. Дастатковасць платы - транзакцыя заплаціла дастаткова ZEC для Даўжыня імя
3. Цэласць каманды пратаколу - усе ўмовы пратакола выкананы
4. Подпіс Ed25519 -- подпіс над memo command сапраўдны
5. Устаўка дрэва Merkle -- імя яшчэ не існавала, і новы корань стану правільны

Калі якая-небудзь праверка не ўдаецца, доказ не можа быць згенераваны.

Публічныя выхады

Кожнае доказ фіксуе 3 значэння, якія назаўсёды звязаны з ім:

Выхад	Апісанне
old_root	Корань дрэва Merkle да гэтай рэгістрацыі
new_root	Корань дрэва Merkle пасля гэтай рэгістрацыі
end_block_height	Апошні ZCash блок рэгістрацыйнага пакета

block_height прымацоўвае доказ да пэўнага блока ZCash (напрыклад, кантрольна-прапускны пункт). Любы можа шукаць транзакцыі на вузле ZCash і пацвярджаць супадзенне памяткі і значэння.