Давер і прыватнасць

Што вы можаце праверыць самі

Нішто з пералічанага не патрабуе даверу да аператара:

• Кожнае змяненне стану падпісана. Схема правярае подпіс Ed25519 тым ключом, якога патрабуе аперацыя, таму імя не можа перайсці без ключа ўладальніка.
• У кожнага пакета ёсць ZK-доказ. Якарны кантракт не прыме корань без яго; доказ правяраецца адносна programVkey — абавязацельства да канкрэтнай скампіляванай схемы, якую вы можаце перазабраць самі.
• Кожнае вырашэнне імя суправаджаецца доказам Меркла. Вы можаце зверыць запіс з коранем, а корань — з кантрактам. Гл. Праверка доказаў.
• Кожны корань дэтэрмінаваны. Любы індэксатар, які прайграе тыя ж каманды, абавязаны атрымаць той жа корань, таму разыходжанне бачна неадкладна.
• Карані ўтвараюць ланцужок, кожны прывязаны да вышыні блока PIVX, якую ён пакрывае.

Чаму даводзіцца давяраць

Кароткі і сумленны спіс — усё астатняе на гэтай старонцы вы можаце праверыць самі:

1. PIVX і BNB Smart Chain працуюць як задумана — транзакцыі фінальныя, ланцужкі не рэарганізуюцца глыбей за свае парогі пацвярджэння.
2. Стандартная крыптаграфія надзейная — SHA-256, Ed25519 і сістэма доказаў SP1.
3. Выплата прыходзіць на той адрас, які вы ўказалі. Сумы, камісіі і абавязкі цалкам правяральныя публічна; адрас прызначэння — адзіная дэталь, якую пацвярджаеце вы самі, а не старонні назіральнік. Падрабязней у раздзеле Балансы і вывад сродкаў.

Чаму рэгістратар падсправаздачны дзякуючы прайграванню

Рэгістратар публікуе свой пратакольны адрас і ключ прагляду да яго. Гэта зроблена наўмысна і нясе асноўную нагрузку: маючы і тое і другое, любы можа

1. прасканаваць PIVX і расшыфраваць кожную каманду і кожны плацёж з самага пачатку, у канічным парадку,
2. прайграць іх праз індэксатар з адкрытым зыходным кодам,
3. незалежна вылічыць корань стану і
4. параўнаць яго з коранем, замацаваным у BNB Smart Chain.

Рэгістратар, які схавае аплачаную каманду, выдумае перадачу, памыліцца ў залічэнні ці пераставіць аперацыі, атрымае корань, які абвяргаецца кожным незалежным індэксатарам. Для такой праверкі не патрэбны ні дазвол, ні асаблівы доступ.

Атрыманая ўласцівасць — відавочнасць парушэння, а не яго прадухіленне: дрэнны пакет можа трапіць у блокчэйн і быць абвергнутым ужо пасля. Аднаўленне тут сацыяльнае, а не аўтаматычнае.

Балансы і вывад сродкаў

Грошы не пераходзяць напрамую ад пакупніка да прадаўца. Выручка ад продажу залічваецца прадаўцу на ўнутраны баланс за вылікам сэрвіснай камісіі, прайграныя стаўкі за спрэчнае імя вяртаюцца на баланс, а вывесці сродкі карыстальнік можа калі захоча. Менавіта захоўванне сродкаў на балансе робіць вяртанні магчымымі наогул: экранаваная транзакцыя не нясе адраса адпраўніка, так што вярнуць памылковы плацёж аўтаматычна проста няма куды.

Выплаты ідуць у блокчэйне і забяспечаны атрыбуцыяй

Рэгістратар публікуе поўны ключ прагляду, а не толькі ўваходны, таму выходныя плацяжы бачныя гэтак жа добра, як і ўваходныя. Кожная выплата забяспечана memo, якое называе акаўнт, па якім яна праводзіцца:

Payout #{id}: {gross} PIVX for pubkey '{pubkey}' (including the {fee}% service fee)

Дзякуючы гэтаму ўвесь рэестр можа аднавіць хто заўгодна. Прасканіруйце пратакольны адрас апублікаваным ключом прагляду — і вы ўбачыце для кожнага публічнага ключа:

• усе налічэнні, якія ён зарабіў: выручку ад продажаў і вяртанні, якія выводзяцца з публічнага патоку каманд
• усе выплаты, якія ён атрымаў, з атрыбуцыяй па memo і сумай, узятай са значэння ноты
• сэрвісную камісію, прымененую да кожнай з іх

што дае бягучы баланс, які любы можа вылічыць самастойна:

balance(pubkey) = Σ(sale proceeds net of fee) + Σ(refunds) − Σ(payouts sent)    stays ≥ 0

Выплата без адпаведнага абавязку, няправільная камісія ці выхад балансу ў мінус былі б бачныя любому назіральніку. Рэгістратар не можа ні ціха заплаціць самому сабе, ні прапусціць абавязак, ні прымяніць камісію, адрозную ад апублікаванай.

info

Чытайце сумы з ноты, а не з memo

У memo пазначана валавое абавязацельства — сума да вылічэння сэрвіснай камісіі, — тады як нота нясе чыстую фактычна выплачаную суму. Значэнне ноты крыптаграфічнае, а тэкст memo піша рэгістратар. Пры праверцы бярыце кожную суму са значэння ноты, а memo разглядайце выключна як атрыбуцыю.

Што пацвярджае атрымальнік, а не старонні назіральнік

Адна дэталь выпадае з гэтай карціны, і пра яе лепш сказаць прама, чым пакінуць паміж радкоў. Вывад сродкаў санкцыянуецца на сайце вашым ключом Ed25519, і гэты запыт ідзе па HTTPS, а не праз блокчэйн. Таму старонні назіральнік бачыць, што па вашым акаўнце прайшла выплата правільнага памеру, але публічнага запісу пра тое, які адрас прызначэння вы ўказалі, у яго няма.

На практыцы праверыць гэта найлепш можаце вы самі і адразу: вы ведаеце, што запытвалі і ці дайшлі сродкі. І праверка гэтая — не пытанне меркавання: у вас застаецца падпісаны вамі запыт, так што разыходжанне можна даказаць крыптаграфічна, а не аспрэчваць на словах.

	Пацвярджаецца
Стан даменаў	Любым назіральнікам, аўтаматычна — незалежны індэксатар сам заўважае разыходжанне каранёў
Сумы выплат, камісіі, абавязкі	Любым назіральнікам, па апублікаваным ключы прагляду і атрыбуцыі ў memo
Адрас прызначэння выплаты	Атрымальнікам, па падпісаным ім запыце

Калі пусціць вывад сродкаў праз той жа транспарт memo, апошні радок перайшоў бы ў першую катэгорыю практычна без страт у прыватнасці, паколькі ключ прагляду і memo з указаннем публічнага ключа і так раскрываюць гэтую сувязь. Такі варыянт разглядаўся, але быў адкладзены на карысць таго, каб вывад заставаўся простым дзеяннем на сайце; гэта разумнае магчымае змяненне ў будучыні, а не недахоп.

tip

Захоўвайце падпісаныя запыты на вывад

Захоўвайце падпісаны запыт, пакуль не пераканаецеся, што сродкі прыйшлі. Менавіта ён ператварае спрэчную выплату ў тое, што вы можаце даказаць.

Чаго не можа зрабіць шкодны індэксатар

Не можа падрабіць запіс. Вырашэнні імёнаў суправаджаюцца доказамі Меркла, а корань, які якарны кантракт ніколі не прымаў, адсейваецца праверкай з раздзела Праверка доказаў.

Не можа схаваць рэгістрацыю. Адсутнасць даказваецца, а не дэкларуецца: тэрмінал Blocked нясе з сабой поўны блакіруючы запіс, так што заяву можна праверыць, а не прыняць на веру. Акрамя таго, уся гісторыя аднаўляльная з ланцужка па публічным ключы прагляду.

Не можа знікнуць. Кожная каманда жыве ў PIVX, а код адкрыты. Любы можа сабраць увесь рэестр нанова з самага першага блока.

Прыватнае вырашэнне імёнаў праз Tor

Вырашэнне імёнаў праз звычайны інтэрнэт раскрывае серверу, якія імёны вы шукаеце і калі. Таму API індэксатара апублікаваны яшчэ і як схаваны сэрвіс Tor:

http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion

У браўзеры Tor:

http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion/v1.0/resolve/richard.pivx

З каманднага радка, пры лакальна запушчаным Tor:

curl --socks5-hostname 127.0.0.1:9050 \
  http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion/v1.0/info

Гэта той жа API, які вяртае тыя ж даныя, уключаючы доказы Меркла, так што вы нічога не губляеце. Сервер ніколі не даведаецца ваш IP, а правайдар убачыць толькі тое, што вы карысталіся Tor.

tip

Давер здымае праверка, а не транспарт

Tor абараняе вашу прыватнасць ад індэксатара. Сумленнейшым індэксатар ад гэтага не становіцца — гэта робяць доказ Меркла і зверка кораня ў блокчэйне, і выконваць іх варта незалежна ад таго, як вы падключаецеся.