Inilunsad ng Microsoft ang Mga Klase sa Paggawa ng Seguridad sa Mga Kontrata ng Smart | PH.democraziakmzero.org

Inilunsad ng Microsoft ang Mga Klase sa Paggawa ng Seguridad sa Mga Kontrata ng Smart

Inilunsad ng Microsoft ang Mga Klase sa Paggawa ng Seguridad sa Mga Kontrata ng Smart

Microsoft ay nagsiwalat ng ito ay pag-aayos ng isang gumaganang group na nakatuon sa pagpapabuti ng matalinong mga kontrata seguridad.

Na may pangalang 'Kinakuta', ang grupo ay naglalayong upang gawing mas madali para sa industriya upang ibahagi ang impormasyon at mga tip tungkol sa matalinong mga kontrata, ang termino na medyo maluwag Napag-refer sa self-e-execute blockchain-based code.

Ngunit kahit na habang incumbents unting express interes sa blockchains ideya ay maaaring dumating upang i-automate komplikadong transaksyon, alalahanin tungkol sa sitwasyon ng paggamit ay nasa hustong gulang pagkatapos ng isang kahinaan ang humantong sa collapseof unang malakihang pagpapatupad ng teknolohiya, Ang DAO.

Simula noon, nagkaroon ng isang lumalagong pagkaunawa na matalino na mga kontrata ay bago at kung minsan ay maaaring maging mapanganib kung ginamit hindi wasto.

Gayunman, Microsoft direktor ng business development at diskarte Marley Gray ay naniniwala open impormasyon at mga bagong tool ay maaaring makatulong sa mga developer maiwasan ang mga hinaharap na mga pagkakamali.

Gray sinabi CoinDesk:

"Nararamdaman namin mayroong isang malaking pagkakataon dito upang kasangkot sa komunidad. Kinakuta ay ang community building sa paligid ng Microsoft pinakamahusay na gawi at sa ibang lugar, upang mangolekta ng mga pinakamahusay na kasanayan at mga kasangkapan at mga kasangkot sa mga developer sa paglikha ng mga pinakamahuhusay na gawi."

Sama-sama sa Andrew Keys, ulo ng global business development sa Consensys, Gray sinabi niya ay drafted ng isang listahan ng 35 mga developer at mga kumpanya na ang Microsoft ay nais sa grupo. Kabilang dito ang mga organisasyon tulad ng mga Ethereum Foundation, na nangangasiwa sa pag-unlad ng Ethereum blockchain; R3CEV, isang banking consortium na nakatutok sa blockchain; at startup BlockApps.

Ang pormal na anunsyo ng sumusunod na balita mas maaga sa buwang ito na ang Microsoft ay authored ng isang bagong puting papel na may mga mananaliksik mula sa Harvard na nagbabalangkas ng isang paraan upang patunayan kung Ethereum matalino na mga kontrata ay gumana tulad ng inaasahan.

Mga Nag-develop ay maaaring potensyal na gamitin ang mga mapagkukunang ito upang makita ng mga isyu sa kanilang mga code.

"Nais namin upang galugarin ang kakayahan upang potensyal na magsulat ng matalinong mga kontrata sa isang wika na kung saan mula sa mga sakay iyong smart kontrata ay magiging ligtas," Gray sinabi.

Pormal na pag-verify

Ang papel ay nagmumungkahi ng isang pamamaraan ng "pormal na pag-verify," o ang proseso ng nagpapatunay o disproving ang kawastuhan ng isang programa ng software, o sa kasong ito, ang isang matalino na kontrata.

Ang papel na ito ay isa sa mga pinakabagong sa isang alon ng mga kasangkapan sinusubukan upang gumawa ng matalinong mga kontrata mas ligtas, tulad ng ganap na bagong programing wika na iniayon sa mga smart kontrata. Ang puting papel ay nagmumungkahi ng dalawang mga tool upang makatulong i-verify ang smart mga kontrata sa tatlong paraan.

Ang una ay sa kabuuan *, kung saan tina-translate ng isang piraso ng katigasan code sa F *, isang programming language na nagbe-verify kung ang mga programa ay kumilos ayon sa nararapat. Pagkatapos ay mayroong EVM *, na kung saan decompiles ang EVM bytecode representasyon ng isang smart kontrata sa kabuuan source code.

Ang ikalawang tool ay kinakailangan dahil lamang 396 out of 112,802 mga kontrata na ginawa ang katigasan bersyon ng code na magagamit sa Etherscanat panahon ng white paper, kaya gamit ang bytecode ay ang susunod na pinakamahusay na opsyon.

Sa kabila ng kabuuan * 's kasalukuyang kakulangan ng suporta para sa mga kumplikadong mga tampok sa kabuuan tulad ng mga loop, ang koponan ay magagawang isalin 46 labas ng 396 mga kontrata na nakasulat sa katigasan. Matapos ang pagpapatakbo ng mga 46 mga kontrata sa pamamagitan ng kabuuan *, sila natagpuan na ang ilan lamang sa mga kontrata ay "valid".

"Ito ay isang malinaw na senyas na ang isang malaking scale pagtatasa ng nai-publish na kontrata ay malamang na buksan lakit kahinaan; iwanan namin ang naturang pag-aaral sa hinaharap na trabaho," ang papel concluded.

Gayunpaman, ito ay nagkakahalaga ng pagpuna na habang marami ang nasasabik tungkol sa mabilis na pag-unlad ng mga kasangkapan na may isang pagtutok sa mga smart kaligtasan ng kontrata, isang industriya lider sa palagay na ang mga developer ay patuloy na gumawa ng mga pagkakamali sa malapit na term.

Ethereum taga-gawa Vitalik Buterin ay sumulat na siya ay hindi nag-iisip na ang mga bagong lugar ng pananaliksik ay kinakailangang huminto sa hinaharap na mga sitwasyon tulad ng The DAO.

"Magkakaroon ng higit pang mga bug," Buterin sinabi sa isang Ethereum blog postexploring hinaharap na smart kontrata seguridad, "at kami ay malaman ang karagdagang mga aralin."

Kaugnay na Balita


Post Ethereum

Inilunsad ng mga Inhinyero ng BitGo ang Ethereum Wallet Side Project

Post Ethereum

Patungo sa Metropolis: pagkatapos ng Pag-aayos ng Blockchain, ang Ethereum ay Tumitingala

Post Ethereum

Pabilisin ang mga Pagsubok sa Blockchain habang Nakikita ng Timog Amerika ang Ethereum Uptake

Post Ethereum

Ang Central Bank ng Brasil ay Ramping Up Blockchain R & D

Post Ethereum

Mga pangunahing tanong Dapat Itanong ng Tagabuo ng DAO

Post Ethereum

Ang Bagong Kahinaan Maaaring Pigilan ang Ethereum Soft Fork

Post Ethereum

Ethereum: Isang Mahahalagang FinTech Sandbox

Post Ethereum

All-Time High: Ang Ether Prices Pass $ 440 bilang key level Breached

Post Ethereum

Bitcoin Prices Surge Past $ 770 Ngunit Fall Just Short of 2018 High

Post Ethereum

Crypto 2.0 Pag-ikot: Ethereum DEVCON, Virtual Reality Vizor at isang Blockchain University

Post Ethereum

Ethereum Scaling Advances Sa Unang Pagbabayad ng Off-Blockchain

Post Ethereum

Big Corporates Unite for Launch of Enterprise Ethereum Alliance