Skip to main content

Гарантыі бяспекі

Архітэктура zNS гарантуе абсалютную бяспеку, нязменнасць і дэцэнтралізацыю, гарантуючы, што ні адзін суб'ект не можа пашкодзіць базу дамена.

ZK-SNARK: крыптаграфічнае пацверджанне цэласнасці​

У стандартных сістэмах баз дадзеных вы павінны давяраць адміністратару базы дадзеных (або секвенсару) не змяняць запісы. У zNS давер заменены матэматыкай.

  • Смарт-кантракт Arbitrum будзе прымаць каранёвае абнаўленне, толькі калі яно суправаджаецца сапраўдным доказам ZK.
  • Паколькі гасцявая праграма zkVM Rust строга выконвае правілы валодання даменам і транзакцый, секвенсор не можа адвольна прызначыць дамен іншаму ўладальніку, змяніць адрас без подпісу або двойчы выдаткаваць спіс. Калі яны паспрабуюць, генерацыя доказаў ZK не атрымаецца, і кантракт Arbitrum адхіліць абнаўленне.

Суверэнная зводная мадэль​

zNS канцэптуальна ідэнтычны ZK-Rollup:

  • Даступнасць даных: неапрацаваныя даныя транзакцый захоўваюцца на ZCash, карыстаючыся ўласнай бяспекай і нязменнасцю ZCash.
  • Выкананне: апрацоўка пераносіцца на пазаланцужок SP1 zkVM.
  • Разлік: Arbitrum дзейнічае як высокаэфектыўны каардынатар кансенсусу, які замацоўвае корань стану, правяраючы матэматыку за мілісекунды.

Падтрыманне кансенсусу (вырашэнне праблемы раздвоенага мозгу)​

Распаўсюджанай праблемай у размеркаваных сістэмах з'яўляецца "раздзяленне мозгу", калі розныя серверы паказваюць розныя мэтавыя адрасы для аднаго і таго ж дамена. zNS вырашае гэта з дапамогай Arbitrum Checkpoints:

  1. Кожнае праверанае абнаўленне каранёвага стану ў кантракце Arbitrum супастаўляецца з дакладнай вышынёй блока ZCash, якую яно прадстаўляе.
  2. Індэксатары сінхранізуюцца з гэтай пэўнай вышынёй блока і вылічваюць уласнае лакальнае дрэва Меркла.
  3. Калі лакальны корань індэксатара адрозніваецца ад кантрольнай кропкі кантракту, індэксатар адразу ведае, што ён прапусціў транзакцыю, апрацаваў даныя не ў парадку або сутыкнуўся з памылкай базы дадзеных.
  4. Затым індэксатар можа бяспечна сінхранізаваць назад да праверанай гісторыі, гарантуючы, што ўсе рэзолверы глабальна падтрымліваюць адзіны паслядоўны стан.

Ненадзейная праверка (аўдыт звонку)​

Паколькі ўсе неапрацаваныя даныя транзакцый запісваюцца ў агульнадаступным блокчейне ZCash, а правілы гасцявой праграмы з'яўляюцца адкрытымі, сістэма цалкам не патрабуе аўдыту і празрыстая:

  • Гарантыя ключа праверкі (vkey): кожны можа спампаваць гасцявую праграму Rust з адкрытым зыходным кодам, скампіляваць яе лакальна з дапамогай стандартных інструментаў SP1 і праверыць, ці адпавядае згенераваны vkey programVkey, які захоўваецца ў смарт-кантракце zNSAnchor. Гэта даказвае, што смарт-кантракт выконвае дакладныя, нязмененыя правілы пратаколу без схаваных шчылін або бэкдораў.
  • Праверка пераходу стану: любы можа сканаваць блокчейн ZCash з zNS Genesis Block, здабываць усе транзакцыі службы імёнаў і запускаць іх праз гасцявую праграму лакальна.
  • Супастаўленне каранёвых значэнняў стану: шляхам прайгравання транзакцый ваш лакальны індэксатар вылічыць корань Merkle, які адпавядае правераным караням, запісаным у смарт-кантракце Arbitrum.
  • Праверка стану: гэта дазваляе любой трэцяй асобе, распрацоўшчыку або аўдытару крыптаграфічна даказаць, што служба наймення з'яўляецца сапраўднай, бяспечнай і не падвяргалася маніпуляцыям з моманту яе стварэння.

Чаму гэта лепшае рашэнне для ланцугоў без смарт-кантрактаў​

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

zNS забяспечвае трэці спосаб: дэцэнтралізаванае выкананне па-за ланцужком з праверкай без ведаў. Ён забяспечвае бяспеку ўзроўню EVM і функцыі наймення ў ZCash без змены асноўнага пратакола ZCash, забяспечваючы бяспеку прыватных ключоў карыстальнікаў і падтрымліваючы абсалютную дэцэнтралізаваную ўласнасць.