Paano Ang mga Mananaliksik ng Cornell ay Tahimik na Muling Nag-imbento ng Mga Pribadong Blockchain

Ang mga mananaliksik ay maaaring mukhang isang hindi malamang na grupo na susuriin ang pribadong blockchain sphere, kung saan ang mga pangunahing manlalaro ay pinaghalong mga bangko at tech behemoth. Ngunit hindi bababa sa ilang mga mananaliksik ng Cornell University mula sa Institute para sa CryptoCurrencies at Kontrata ibinaling ang ilan sa kanilang atensyon sa mga pinapahintulutang pagpapatupad sa pagsisikap na mapabuti ang mga ito.

Sa halip na isang bukas na sistema tulad ng Bitcoin na maaaring salihan ng sinuman, ang mga pribadong blockchain ay umaasa sa isang nakatakdang bilang ng mga kilalang kalahok upang i-verify ang mga transaksyon at i-bundle ang mga ito sa tinatawag na 'mga bloke'.

Gayunpaman, ang mga kasalukuyang pagpapatupad, ay nag-iiwan ng isang bagay na naisin, ang mga mananaliksik ay tumutol.

Ang pagiging simple ay isang mahalagang, kung mapurol man, bahagi na idiniin ng punong-guro na siyentipikong pananaliksik ng Cornell University na si Robbert van Renesse na maraming pribadong pagpapatupad ng blockchain ang nawawala.

Sinabi niya sa CoinDesk:

"Ang kakayahang suriin ang Technology ay ang pundasyon ng siyentipikong Discovery, sa T ko. Na maunawaan ng mga kasamahan kung ano ang nangyayari ay mahalaga.

Maaaring iyon ang kaso para sa kasalukuyang mga pribadong pagpapatupad ng blockchain, ayon kay Renesse, dahil ang mga ipinamamahaging algorithm na umaasa sa mga pribadong blockchain ay medyo kumplikado.

At least, yun ang claim.

Mga nasusuri na blockchain

Ang mga pribadong blockchain sa pangkalahatan ay nakadepende sa mga teknolohiyang nauna sa Bitcoin, tulad ng praktikal na byzantine fault tolerance (PBFT), upang magkasundo tungkol sa kasaysayan ng mga transaksyon. Mayroong maraming iba't ibang mga paraan para sa mga pribadong blockchain upang maabot ang kasunduan at, kung ang pananaliksik mula sa Cornell ay may anumang indikasyon, ang ilang mga paraan ng paggawa nito ay hindi napag-aralan.

Nakipagtalo si Renesse na ang pangunahing pagpapatupad ng Hyperledger na suportado ng Linux Foundation, Tela, ONE sa mga pinakakilalang pinahintulutang protocol ng blockchain, ay isang halimbawa ng ONE na masyadong kumplikado.

"Ang code para sa protocol ay binubuo ng sampu-sampung libong linya ng code. Ang pagsusuri sa mga katangian ng kawastuhan ay 40 o 60 na pahina," sabi ni Renesse.

Ang resulta? Iilan lamang ang nakakaunawa kung paano ito gumagana.

Renesse ay nagsasaliksik ng tinatawag na Byzantine Fault Tolerance (BFT) sa loob ng mga dekada. Bagama't parang nakakalito para sa mga hindi sanay sa agham, ang mga node sa isang network ay kilalang-kilalang masama sa pagtutulungan. Sila ay clumsy; ang ilan ay nabigo, habang ang iba ay kusang humihinto.

Sa madaling salita, mayroong isang hanay ng mga problema, at ang pag-aaral ng BFT, sa partikular, ay tumatalakay sa ilan sa mga mas hindi regular.

Ngayon, si Renesse ay nagtatayo sa isang protocol, Bosco, na binuo niya noong 2008.

Sa orihinal, sinabi niya, T niya ito inisip na higit pa sa isang "protocol ng laruan", ngunit, ngayon na ang mga pribadong blockchain ay nakakakuha ng saligan – at ang buong larangan ng mga distributed system ay nagiging resulta – sinasaliksik ni Renesse kung paano ito magagamit sa isang pinahihintulutang setting.

"Tiningnan ko ang Bosco at nagtanong, 'Gaano ba talaga ito ka-praktikal?'," sabi niya.

Kabaligtaran sa isang bagay tulad ng Fabric, nangatuwiran siya, ang algorithm ay mas simple – kailangan ng dalawang pahina upang maibalangkas ang mga garantiyang panseguridad nito at maaari itong ipatupad sa 1,000 linya ng code.

"Ito ay isang protocol na maaari kong ipaliwanag sa mga high school," sabi niya. "Medyo tiwala ako na pagkatapos titigan ito ng ilang araw ay mauunawaan nila ito sa loob at labas."

Naghahanap ng pagiging simple

Ang IC3 co-director na si Elaine Shi ay nagtatrabaho sa isang katulad na proyekto.

"I'm a big believer in simple," aniya, na itinuro ang parehong punto ni Renesse, nang hindi sinenyasan at sa isang hiwalay na pag-uusap. Gumagawa siya sa isa pang proyekto, na tinatawag na 'Inaantok', na, tulad ng iba pang pinahintulutang pagpapatupad, ay nagwawakas sa sistema ng patunay-ng-trabaho ng bitcoin, na ginagamit upang itatag ang bisa ng mga bloke ng transaksyon.

Ito ay "napakasimple," sabi niya, at idinagdag na mayroon itong "malakas na mga katangian ng katatagan," na nangangahulugang ang mga node ay T madaling mabibigo. Dagdag pa, T ito nangangailangan ng pandaigdigang koordinasyon, kung saan kailangang sumang-ayon ang bawat node sa isang aksyon.

"Para sa isang consortium, gusto mong gumamit ng isang bagay na mas mapapamahalaan," sabi niya, na itinuro na ang ibang mga pribadong blockchain, tulad ng Chain CORE, ay T pag-aari na ito.

Ito ay isang proseso na inilulunsad nila nang hakbang-hakbang. Binanggit ni Shi na siya at ang PhD student na si Phil Daian ay nagtatrabaho sa Parity, isang Ethereum client na nakasulat sa Rust. Maaaring suportahan ng parity ang iba't ibang mga mode ng consensus (kabilang ang kanilang sariling pribadong protocol bilangpatunay ng awtoridad (PoA)). Kaya, sinusubukan ng Cornell team kung paano gumagana ang Sleepy sa setting na ito.

Ginamit ni Shi ang PoA bilang guinea pig para sa paghahambing sa Sleepy, na nangangatwiran na si Sleepy ay may mas mahusay na mga garantiyang panseguridad, na binaybay sa isang puting papel inilabas noong nakaraang taglagas.

"Ang patunay ng awtoridad ay T makatuwiran kapag mayroong isang bagay na malinaw na mas mahusay," sabi niya.

Hakbang-hakbang

Gayunpaman, saan maaaring ilunsad ang mga tool na ito? Isa itong tanong na matagal nang itinatanong sa mga pang-enterprise na blockchain sa pangkalahatan.

Para kay Sleepy, si Shi at ang Cornell team ay nagsisimula sa pakikipagtulungan sa Parity, ngunit ang layunin ay na isama rin ito sa ibang mga framework.

Maaaring hindi pa sapat ang pagpapatupad ni Renesse para doon.

"Ipinatupad ko ang [Bosco] sa isang biyahe sa eroplano mula Beijing papuntang Newark," aniya, at idinagdag na ang susunod na hakbang ay ang paggawa ng mas "tamang" pagsusuri.

Gayunpaman, maaaring mayroong ilang mga kakulangan sa system.

Maaaring magkaroon ng mas maraming pag-crash ng node ang Bosco, kung saan huminto ang mga node sa pagtugon sa mga kahilingan at hindi lumahok. Ginagarantiyahan ng PBFT ang pagkakapare-pareho ng data hangga't wala pang ONE ng mga node ang may sira, habang ang Bosco ay may mas mababang threshold ng ONE ikalimang bahagi ng mga node.

Binanggit ni Renesse ang isa pang problema na nakakaapekto sa lahat ng pribadong blockchain system: na ang isang "malisyosong bangko" ay maaaring magpahinto sa buong sistema sa pamamagitan ng pagbaha dito ng spam.

T niya ito itinuturing na isang potensyal na malaking problema, gayunpaman, dahil ang mga kalahok ay maaaring sumang-ayon na itapon ang masamang aktor. Sa kabila ng mga kakulangan, iniisip ni Renesse na maaaring bigyan ng Bosco ang mga bangko at institusyon ng isa pang opsyon.

Siya ay nagtapos:

"Ang mga bangko ay malamang na magpatakbo ng isang protocol at tanggapin ang paminsan-minsang pagkakamali o paminsan-minsang hindi nasisiyahang empleyado na sumusubok na gumawa ng isang bagay na masama."

Mga manggagawa sa teknolohiya larawan sa pamamagitan ng Shutterstock