Ika-14 ng Hulyo, 2019 - Elrond - ang sharding na nakabatay sa publikong blockchain network ay ipinagmamalaki na ipahayag ang isang kasunduan sa kooperasyon sa Runtime Verification para sa pananaliksik at pagpapaunlad sa mga pangunahing lugar ng pormal na pamamaraan ng pag-verify.
Gumagamit si Elrond ng K Framework, na binuo ni Grigore Rosu habang nasa NASA at University of Illinois sa Urbana Champaign, bilang backbone para sa lahat ng mga smart na kontrata ng mga wika nito. Si Grigore ay patuloy na nagpapaunlad ng K Framework sa kanyang koponan sa Runtime Verification na dalubhasa sa mga pormal na pamamaraan. Sa paggawa nito, binuo ni Elrond ang isang backend na in-house GO upang maisama ang IELE VM, na idinisenyo ng koponan ng Pag-verify ng Runtime, at ganap na itinayo sa K Framework. Nagsusumikap din si Elrond na isama ang KEVM at WASM sa katulad na paraan. Ang pagkakaroon ng VMs na binuo gamit ang K Framework ay nagbibigay sa Elrond access sa malakas na pormal na mga tool ng pag-verify.
Ang Elrond na pananaliksik at pag-unlad ng koponan ay gagana malapit sa Runtime Verification upang higit pang bumuo ng K framework at ang kakayahan nito upang makabuo ng tamang-by-construction Virtual Machine para sa blockchain. Sa pamamagitan ng pananaliksik at pagpapaunlad na inisyatiba sa pagitan ng Elrond at Runtime Verification layunin namin na kumuha ng mga smart na kontrata sa susunod na antas, at upang gawin ang backend ng GO na binuo ni Elrond para sa K framework, open source at magagamit sa malawak na publiko.
Kasama sa iba pang mga kontribyutor o tagapagtaguyod ng Runtime Verification ang Ethereum, Algorant, IOHK, Casper, Maker DAO, Gnosis, Toyota at iba pa.
"Kami sa Runtime Verification ay nasasabik na makita ang pangako ni Elrond na hindi lamang gamitin, kundi pati na rin ang kontribusyon sa pagpapaunlad ng pangunahing imprastraktura ng K Framework. Kahit na ang "pormal na pag-verify" ay isang buzzword sa komunidad na blockchain, sa katunayan ilang mga kompanya ng blockchain ang tunay na nauunawaan ang mga kritikal, halos desperadong pangangailangan ng pormal na detalye at pagpapatunay ng mga smart na kontrata. At mas kaunti ang naiintindihan na ito ay nagsisimula sa pormal na pagmomolde ng mga programming language at virtual machine, at ang mga pormal na tool sa pag-aaral ay may posibilidad na maging maraming surot, masyadong, maliban kung ito ay nagmula sa naturang pormal na mga modelo. Tinitiyak ni Elrond ang seguridad at sinusunod ang mga kilalang kasanayan upang matiyak ang ligtas at secure na operasyon ng kanilang blockchain. "Sabi ni Grigore Rosu, CEO ng Runtime Verification.
"Ang Elrond ay nagdudulot ng makabuluhang pagpapabuti sa space blockchain, pagtatakda ng mga bagong pamantayan sa pagganap sa mga tuntunin ng throughput at bilis ng pagpapatupad. Bilang karagdagan sa pagganap, naniniwala kami na ang mga tool dev at mga panukalang panseguridad tulad ng mga pormal na paraan ng pag-verify ay nakatutulong para sa mga developer. Sa pamamagitan ng pakikisosyo sa Runtime Verification gusto naming itaas ang pamantayan ng seguridad sa pamamagitan ng pagdaragdag ng pormal na pag-verify sa aming mga smart na kontrata, habang pinagsama ang balangkas ng K upang suportahan ang ilang mga VM at mga smart contract language sa parehong oras. "Sabi ni Beniamin Mincu, CEO ng Elrond.
Tungkol kay Elrond
Elrond ay isang bagong blockchain architecture, na idinisenyo mula sa simula upang magdala ng isang 1000-fold na pinagsama-samang pagpapabuti sa throughput at bilis ng pagpapatupad. Upang makamit ito, ipinakilala ni Elrond ang dalawang pangunahing mga likha: isang nobelang Adaptive State Sharding na mekanismo, at isang algorithm ng Secure Proof of Stake (PoS), na nagpapagana ng linear scalability na may mabilis, mahusay, at ligtas na mekanismo ng pinagkasunduan. Sa gayon, maaaring iproseso ni Elrond ang 10,000 transaksyon kada segundo (TPS), na may 5 segundo na latency, at di-napipintong gastos, na sinusubukan na maging backbone ng isang walang pahintulot, walang hanggan, sa buong mundo na naa-access sa ekonomiya.
Ang Elrond ay itinayo ng isang pangkat ng mga nakaranas ng mga negosyante kasama ang 13 na mga inhinyero at mga mananaliksik na may makabuluhang mga background blockchain at teknikal na karanasan sa Microsoft, Google, Intel, at NTT DATA. Kabilang sa koponan ang dalawang PhD sa CS & AI, maraming matematika, CS, at AI Olympiad champions, at dating miyembro ng core team ng NEM.
Tungkol sa Pag-verify ng Runtime
Itinatag ni Propesor Grigore Rosu, Ang Runtime Verification ay nagbibigay ng teknolohiya ng pagputol upang magdisenyo ng mga ligtas at ligtas na mga sistema at wika batay sa mga prinsipyo ng matematika. Ang teknolohiyang nito ay hindi lamang nakikilala ang pinakasikat, pinakasikat at pinakamahal na mga bug sa mga umiiral na codebases o mga pagtutukoy, ngunit din stimulates ang disenyo at pag-unlad ng mas mahusay na programming at mga wika ng pagtutukoy, kung saan tulad ng mahal na mga bug ay hindi maaaring umiiral sa pamamagitan ng disenyo o maaaring napansin mura.
Para sa karagdagang impormasyon, mangyaring bisitahin kami:
Opisyal na website