Ang Bitcoin Lightning Network Specs ay pumasa sa Unang 'Formal' Security Test

Ang isang pares ng mga mananaliksik ay naglabas ng mga resulta ng isang pormal na pag-verify ng network ng kidlat ng bitcoin.

Ang kidlat ay bago(ish), eksperimental, at mga bug na maaaring humantong sa pagkawala ng mga pondo ng gumagamit ay natuklasan pa rin. Ngunit gayunpaman, ang papel – inilabas noong nakaraang buwan ng mga mananaliksik na sina Aggelos Kiayias at Orfeas Litos mula sa The University of Edinburgh. Si Kiayias din ang punong siyentipiko para sa blockchain firm na IOHK – nagdala ng isang dosis ng magandang balita sa pinagbabatayan ng seguridad ng bagong network ng pagbabayad.

Sa ngayon, ang kidlat ay T nasusubok sa matematika sa pamamagitan ng pormal na seguridad, na isang paraan ng pagtatatag kung gaano ka-secure ang ideya ng computer science sa tulong ng matematika. Ang papel--"Isang Composable Security Treatment ng Lightning Network" -- inilalarawan ang kakulangan ng pormal na pag-verify para sa detalye ng code ng kidlat "isang kakila-kilabot na kalagayan" dahil ang kidlat ay ginagamit ngayon upang makakuha ng totoong pera -- hindi bababa sa $8.5 milyon.

Ang papel ay nagpapaliwanag:

"Bilang resulta, eksaktong tinutukoy ng aming paggamot kung paano nakadepende ang mga garantiya ng seguridad ng protocol sa mga katangian ng pinagbabatayan ng ledger."

Ang proseso kung saan ginawa nila ito ay kilala bilang pormal na pag-verify. Bagama't sikat ito sa espasyo ng Cryptocurrency at nakakatulong sa pagtukoy sa seguridad ng code, hindi ginagawa ang "pormal na seguridad" sa bawat code program. Dahil sa malalim na kaalaman na kinakailangan, ito ay medyo mahal.

'Rock-solid' na detalye

Ang mga resulta ay positibo, na nagpapakita na ang pinagbabatayan na cryptography na nakasalansan upang gawing maayos ang sistema ng pagbabayad, ang argumento ng mga mananaliksik.

"Lahat ng kritikal na seguridad na bahagi ng system ay rock-solid. Ito ang inaasahang resulta - maraming matatalinong tao ang nakipagtulungan upang makasama sa kasalukuyang pagkakatawang-tao ng network ng kidlat," sinabi ni Litos sa CoinDesk.

Ano ang eksaktong ibig sabihin nito? Tiningnan nina Litos at Kiayias ang network ng kidlat mga pagtutukoy, na siyang mga panuntunan na kailangan ng bawat pagpapatupad ng lightning software upang makapagpadala ng mga pagbabayad sa natitirang bahagi ng network.

Sinabi ni Litos sa CoinDesk:

"Ang pangunahing resulta ay ang network ng kidlat ay kasing-secure ng Bitcoin."

Upang matukoy ito, tiningnan nila ang nitty-gritty cryptography na nagpapatibay sa kidlat. Ang Cryptography ay binubuo ng mga mathematical algorithm na nagbibigay ng batayan para sa Privacy at seguridad sa internet. Sa kidlat, ang cryptography ay ang pandikit na humahawak sa sistema ng pagbabayad nang magkasama, na may huling resulta ng pagpayag sa isang tao na magpadala ng Bitcoin sa isa pa.

Kaya, tinitingnan ng mga mananaliksik ang iba't ibang cryptographic na teknolohiya na sumasailalim sa kidlat, kabilang ang mga digital na lagda, na sa kaso ng Bitcoin ay maaari lamang gawin ng isang user na may tamang Bitcoin private key.

"Maaari lamang mawalan ng pera ang isang matapat na kalahok ng network ng kidlat kung ang mga lagda o hash function na ginagamit ng Bitcoin ay sira," sabi ni Litos, at idinagdag:

"Ang paggamit ng isang makatotohanang pinagbabatayan na ledger ay nagbigay-daan sa amin na matukoy ang eksaktong mga hangganan ng seguridad para sa mga parameter ng pagpapatakbo ng network ng kidlat. -hop payment ay ginagawa na?'"

Mga spec hindi software

Bagama't isang mahalagang hakbang ang pag-verify ng detalye, nalalapat lang ito sa blueprint ng code ng kidlat at hindi sa mga pagpapatupad ng software na ginawa ng mga developer.

Habang sinasabi ng papel na ang network ng kidlat ay "kasing-secure ng Bitcoin,"T iyon nangangahulugan na ang software mismo ay ligtas. Iyon ay maaaring mukhang isang banayad na pagkakaiba, ngunit mayroong isang malaking pagkakaiba.

Mayroong tatlong pangunahing pagpapatupad ng network ng kidlat na Social Media sa mga spec: Acinq's Eclair, Blockstream's c-lightning, at Lightning Lab's lnd.

"Ang aming pagsusuri ay batay sa pormal na detalye, hindi isang pagpapatupad. Bilang isang resulta, ang aming trabaho ay hindi nag-aalis ng mga bug sa iba't ibang mga pagpapatupad, tanging sa detalye," sabi ni Litos.

Iyon ay sinabi, sinabi ni Litos na ang hinaharap na pormal na pagsusuri ay maaaring magamit sa kalaunan upang tingnan ang aktwal na code.

"Sa isip, ang pormal na pag-verify ng code, na magpapatunay na tumutugma ito sa espesipikasyon, ay magpapataas ng aming tiwala sa system. Ngunit bago iyon, kakailanganin ng machine-readable na bersyon ng detalye," aniya.

Mga susi larawan sa pamamagitan ng Shutterstock