click here if you want to see your banner on this site

Author Topic: Ang Arkitektura ng Smart Contract ng Algorand  (Read 527 times)

Polar91

  • Novice
  • *
  • Posts: 35
  • Karma: +0/-0
    • View Profile
Ang Arkitektura ng Smart Contract ng Algorand
« on: July 28, 2020, 09:31:17 AM »
Tandaan: Ito ay pagsasalin lamang

Narito ang orihinal na artikulo: Algorand’s Smart Contract Architecture na akda ni Silvio Micali



Ang post na ito ay nakatuon sa off-chain na bahagi ng arkitektura ng smart contract ng Algorand, na binuo nina Jing Chen, Maurice Herlihy, Victor Luchangco, Silvio Micali, at Liuba Shrira. Ang buong teknikal na papel ay mai-lilimbag sa nalalapit na hinaharap.

Ang mga Smart contract ay gumagawa ng mga blockchain na programmable. Tulad ng isang machine vending, ang isang smart contract ay nagtatatag ng isang malinaw na tinukoy na pamamaraan para sa paglilipat ng mga ari-arian. Halimbawa, nais ni Alice na bumili ng mga token na inisyu ni Bob, kung gayon ay magpapadala siya ng mga coin sa smart contract ni Bob. Ang code ng kontrata ay nagbibilang ng mga coin, marahil ay susuriin kung si Alice ay nasa database ng kontrata ng mga kwalipikadong mamumuhunan, at pagkatapos ay ililipat ang tamang bilang ng mga token sa account ni Alice. Ang palitan ay malinaw: Maaaring suriin ni Alice ang code ng kontrata, at ang code ay tumatakbo nang hindi kinakailangan ng pakikilahok ni Bob.

Inilalarawan ng post na ito ang arkitektura ng smart contract ng Algorand, at kung bakit nalalayo ito sa mga makabuluhang paraan mula sa mga naunang pamamaraan. Lalo na, ang arkitektura ng smart contract ng Algorand ay may kasamang maraming uri ng mga kagamitan dahil ang mga gumagamit ng Algorand ay kailangang malutas ang maraming uri ng mga problema.

Ang aming Two-Tier Architecture

Una, para sa pang-araw-araw na pangangailangan, nagbibigay ang Algorand ng mga Layer-1 smart contract, isang ligtas na mabilis na landas para sa karaniwan, pang-araw-araw na mga transaksyon. (Alalahanin natin iyong smart contract sa ngayon.) Pangalawa, Nagbibigay ang Algorand ng (Layer-2) off-chain na mga kontrata para sa “long tail” ng mga smart contract na nangangailangan ng higit pang pagpapasadya. Ito ang mga smart contract na ipinakilala natin sa blog na ito.

Paghahambing sa Ethereum Smart Contract

Ang Ethereum blockchain ay ang una na nagpapakita ng lakas ng mga smart contract, kaya ang mga Ethereum smart contract ay likas na panimulang punto para sa pagsusuri ng mga teknolohiyang kahalili. Ang kanilang mga kalamangan at kahinaan ay malawak na napag-usapan sa komunidad ng blockchain, at ang mga talakayan ay nagdudulot ng iba't ibang mga bagong disenyo para sa mga wika ng smart contract. Dito, nakatuon tayo sa dalawang isyu na partikular na kahalagahan ng Algorand blockchain.

1. Ang mga simpleng problema ay madalas na nangangailangan ng kumplikado at delikadong na solusyon.

Ipagpalagay na sina Alice at Bob ay sumasang-ayon na kung magpadala si Alice ng 100 "DollarCoins" kay Bob, ililipat ni Bob ang 100 "BobTokens" kay Alice. Nais ni Alice na siguraduhin na kung ililipat niya ang mga coin, makakakuha siya ng mga token, at nais ni Bob ng magkatulad na kasiguraduhan. Ang ganitong uri ng transaksyon, kung saan ang mga paglilipat na kinokontrol ng magkakaibang mga kahina-hinalang partido ay parehong mangyari o pareho ay hindi mangyayari, ay tinatawag na isang atomic swap. Ang pag-program ng isang atomic swap gamit ang mga smart contract ng Ethereum ay nangangailangan ng hashed timelock contract (o isang bagay na katulad) - ang isang maselan, tugmang oras, multi-phase protocol, kung saan ang anumang pagkakamali sa pagprograma ay maaaring makapinsala. Sa kabaligtaran, tulad ng tinalakay sa isang naunang post, ang mga smart contract ng Algorand Layer-1 ay nagbibigay ng isang simple at ligtas na solusyon sa mga atomic swap at mga kaugnay na problema.

2. Ang bawat isa ay dapat na maghintay para sa iba pang mga kasama

Isaalang-alang ang isang kaakit-akit na probinsyal na tindahan ng keso ng Pranses. Dito, hindi pinapayagan ang mga customer na gumawa ng kanilang sariling mga pagpipilian. Sa halip, ang lahat ng keso ay pinananatili sa likod ng isang counter, na pinamunuan ng isang tindero. Ang mga customer ay pumipila bago makarating counter. Ang customer sa ulo ng linya ay naghahanap ng isang keso ng isang kambing mula sa isang partikular na rehiyon. Ipinapaliwanag ng tindera na mayroon siyang lamang siyang tatlon mga keso, isang banayad, isang katamtaman, at isang matalas, ngunit ang katamtaman ay mas maalat. Matapos na mahusay na tinalakay ang kamag-anak ng mga keso, ang customer ay gumawa ng isang pagpipilian. Ang mga hiwa ng tindero at tinitimbang ang keso, binabalot ito sa papel at string, at nagkukumpara ng isang presyo. Ang customer ay nag-uusap para sa pagbabago, nagbabayad, kumukuha ng kanyang parsela, at dahon, nasiyahan sa kanyang pagbili. Bonjour, maaari ko ba na tulungan ang susunod na customer?

Tulad ng sa tradisyunal na tindahan ng keso ng Pranses, ang bawat Ethereum smart contract ay nagpipigil sa pag-unlad ng blockchain bilang isang buo. Mas masahol pa, ang bawat minero ay dapat na muling magpatupad sa bawat tawag ng kontrata, at bawat bagong minero ay dapat muling isagawa ang bawat tawag sa kontrata na nangyari. Ang tradisyunal na arkitektura ng "tindahan keso" ng Ethereum ay isang mapanganib sa scalability, malubhang nililimitahan ang rate kung saan maaaring magawa ang mga bagong block.

Makikita natin na ang mga kontrata sa off-chain ng Algorand ay naka-ayos na katulad ng isang modernong supermarket. Dito, ang mga customer ay gumagawa ng kanilang sariling mga pagpipilian nang hindi humihiling sa isang tindero. Kapag ang isang customer ay nagpasya kung ano ang bibilhin, pipili siya nang saglit sa rehistro upang magbayad. Ang isang hindi siguradong mamimili na nag-aalangan sa pagitan ng iba't ibang uri ng keso ng kambing ay hindi makakaantala iba pang mga mamimili, at hindi nililimitahan ang kaniyang sarili sa rate na kung saan maaaring maserbisyuhan ang mga customer.

TANDAAN: Hindi dapat malito sa mga kontrata ng off-chain ng Algorand sa mga network ng pagbabayad ng Layer-2 tulad ng Lightning Network. Ang mga network ng pagbabayad ay dalubhasa: umiiral lamang sila upang magpadala ng mga pagbabayad mula sa isang partido papunta sa isa pa. Sa kabaligtaran, ang mga kontrata ng off-chain ng Algorand ay flexible, pangunahing layuni na mga programa.

Layer-1 (on-chain) Smart Contract ng Algorand

Ang mga smart contract ng Algorand Layer-1 ay nagsasagawa ng maraming pangkaraniwan, simpleng mga transaksyon nang direkta sa mismong blockchain. Halimbawa, ang mga smart contract ng Algorand Layer-1 ay gumagawa ng transaksiyon ng atomic na pagpapalit na nabanggit nang mas maaga. Ang mga kontrata ng Layer-1 ay nagbibigay ng mga atomic na paglilipat, isang built-in na mekanismo na nagsisiguro na maraming mga transaksyon na pinahihintulutan ng mga kapwa kahina-hinalang mga partido ay naisakatuparan bilang isang solong yunit ng atomic: alinman sa ang lahat ay magtatagumpay, o wala. Sa ating halimbawa, lumilikha si Alice ng isang atomic na paglilipat na naglalaman ng parehong bayad sa pagbabayad kay Bob at bayad ni Bob sa kanya. Nilagdaan niya ang kanyang pagbabayad, pinirmahan ni Bob ang kaniya, at ang dobleng naka-sign na atomic na paglilipat na naglalaman ng parehong mga pagbabayad ay pagkatapos ay ipapadala sa blockchain.

Bilang isa pang halimbawa, ipagpalagay na nais ni Alice na mag-isyu ng kanyang sariling mga token, kung saan kumakatawan ang bawat token, sabihing, isang bahagi sa mga kita sa hinaharap ng kanyang restawran. Ang mga smart contract ng Ethereum ay nagbibigay ng built-in na suporta para sa sarili nitong currency ng Ether, ngunit ang mga kliyente na nais na lumikha ng kanilang sariling mga katulad na pera ay maiiwan sa kanilang sariling mga aparato. Bagaman ang mga pamantayan at mga kombensyon ay nagbago para sa mga tinukoy ng gumagamit sa Ethereum, ang pagsulat ng nasabing code ay maaari pa ring mapanganib, at mayroong isang mahaba at makulay na kasaysayan ng matagumpay na pag-atake sa mga tinukoy na gumagamit sa Ethereum.

Ang arkitektura ng smart contract ng Algorand, sa kabaligtaran, ay nagbibigay ng built-in na suporta para sa tinukoy na gumagamit ng Algorand Standard Assets, sa parehong antas ng native currency ng Algorand. Ang Algorand blockchain ay nagbibigay ng proteksyon na built-in laban sa hindi sinasadyang paglikha o pagtanggi sa mga token, kasama ang direktang suporta para sa opsyonal na pag-freeze, pag-clawing back, pag-mint, at pagsusunog ng mga token.

Tulad ng inilarawan sa isang naunang post, ang mga kontrata ng Algorand Layer-1 ay nagbibigay din ng direktang suporta para sa mga karaniwang uri ng mga transaksyon na "post-and-sale", securitized na mga pautang, crowdfunding, accredited-only na transaksyon, mga multi-sig wallet, at iba pang simple, paulit-ulit na uri ng transaksyon .

Ang mga Layer-1 smart contract ay nakasulat sa TEAL, isang wika na tulad ng stack machine language. Nagbibigay ang TEAL ng mga programmer ng nagpapahayag na kapangyarihan upang maipatupad ang mga uri ng mga karaniwang transaksyon na nabanggit kanina. Ang paparating na "stateful" na extension sa TEAL, handa na sa tag-araw ngayong 2020, ay papayagan ang mga programa na mag-imbak ng mga estado sa Layer-1, at suriin ang mga balanse ng account at iba pang mga estado ng blockchain para sa mas nagpapahayag na kapangyarihan. Magbibigay din ang TEAL ng mga pinahusay na garantiya ng seguridad para sa mga kontrata sa off-chain. Sa katunayan, nagbibigay ito ng isang malakas na base para sa mga kontrata sa off-chain na inilarawan sa ibaba.

Layer-2 (off-chain) Smart Contract ng Algorand

Bagaman maraming mga simpleng transaksyon sa blockchain na angkop para sa mabilis na daanan ng Layer-1, mayroon ding isang “long tail” ng mga aplikasyon na nangangailangan ng mas dalubhasang mga kagamitan. Halimbawa:

  • Ang isang kontrata ay maaaring maging sobrang malaki. Halimbawa, ang isang pamamahala sa kontrata ng isang pribadong paglalagay ng stock ay maaaring kailanganing kumunsulta sa isang database ng mga sertipikadong namumuhunan na pinapayagan na lumahok, marahil kasama ang database ng mga namumuhunan na naka-blacklist na hindi naman. Ang mga database ay maaaring napakalaki upang mapanatili ang chain, o masyadong sensitibo upang gawin na pampubliko.
  • Ang kontrata ay maaaring masyadong computationally demanding. Halimbawa, ang isang namamahala na kontrata ng isang token na nagbibigay ng isang mataas na antas ng privacy ay maaaring mangailangan ng computationally intensive library tulad ng ZK-STARK, ZK-SNARK, at iba pa. Katulad nito, ang isang kumplikadong kontrata na humahawak ng mga mahahalagang pag-aari ay maaaring gumawa ng liberal na paggamit ng mga assertions na sumusuri sa integridad ng mga istruktura ng data nito. Ang nasabing mahahabang pagkalkula ay maaaring hadlangan ang pag-unlad ng iba pang mga kliyente, ang pagbagal ng rate ng block rate ng bawat isa.
  • Ang kontrata ay maaaring maging sobrang kumplikado. Ang TEAL ay isang malakas at ligtas na kagamitan para sa pag-program ng mga simpleng transaksyon sa Layer-1, ngunit ang mas kumplikadong mga aplikasyon ay nangangailangan ng isang mas mataas na antas ng wika. Ang mahusay na kasanayan sa engineering ay madalas na nangangailangan ng paghahati ng isang aplikasyon sa maraming mga kontrata, kung minsan ay ibinibigay ng iba't ibang mga partido. Ang anumang aplikasyon na kumplikado na sapat na upang mangailangan ng isang modular na istraktura na siyang pinakamahusay na namamahala ng isang mas mataas na antas ng wika.

On-Chain kumpara sa Off-Chain na mga Kontrata

Alalahanin na sa Algorand blockchain, ang mga bagong block ay pinipili ng isang komite ng pinagkasunduan na pinipili nang ligtas at nang sapalaran sa pamamagitan cryptographic self-selection algorithm ng Algorand. Kapag tumawag ang isang gumagamit ng kontrata sa off-chain, ang tawag ay hindi direktang pinapagana ng komite ng pinagkasunduan. Sa halip, ang tawag ay isasakatuparan at papatunayan ng isang parallel committee, na tinatawag na contract execution committee. Ang bawat validator sa komite na iyon ay nagpapatupad ng tawag sa kontrata at bumubuo ng isang pagkakasunud-sunod ng mga epekto: ang pagkakasunud-sunod ng mga transaksyon sa blockchain na ginawa sa pamamagitan ng tawag sa kontrata. Ang contract execution committee pagkatapos ay gumagawa ng isang pirmadong sertipiko na nagrekomenda sa mga epekto ng pagtawag. Isang simpleng listahan ng mga epekto, kasama ang naka-sign na sertipiko at iba pang mga kondisyon ng pagpapatunay, na isusumite sa consensus committee. Para sa kahusayan, ang maraming mga tawag sa kontrata ay maaaring isakatuparan sa isang batch, kaya lahat sila ay mai-endorso sa isang sertipiko. Ang mga Consensus committee validators ay hindi magpapatupad ng code ng kontrata na tinukoy ng gumagamit, tulad ng arkitektura ng on-chain na kontrata. Sa halip, kailangan lamang suriin ng mga consensus committee validator ang sertipiko at ang mga kondisyon ng validation bago ilapat ang mga epekto ng transaksyon.

Ang isang blockchain na nangangailangan ng mga on-chain na kontrata ay tulad ng isang bangko na nangangailangan na ang lahat ng mga pinansiyal na transaksyon ay isinasagawa sa pamamagitan ng tseke ng kahera. Bago gumastos ng pera, ang isang customer ay dapat maghintay sa linya, kasama ang lahat ng iba pang mga customer, sa isang tanggapan ng bangko na may isang teller lamang, upang mamagitan sa halaga ng tseke. Sa kabaligtaran, ang isang blockchain na gumagamit ng mga off-chain na kontrata ay tulad ng paggamit ng isang regular na checking account : isinusulat ng mga customer ang kanilang sariling mga tseke nang walang pag-pila sa bangko, at ang mga pondo ay ililipat kinalaunan kapag ang tseke ay malinis na.


Pigura 1: normal na pagpapatupad ng Algorand na may mga Layer-1 smart contract


Pigura 2: pagpapatupad gamit ang mga on-chain na kontrata ng Ethereum na istilo


Pigura 3: pagpapatupad sa mga off-chain na kontrata ng Algorand

Pagsasagawa ng mga Off-Chain na Kontrata

Ipinapakita ng Pigura 1 ang isang normal na pagpapatupad ng Algorand, kung saan ang isang 5000-transaction block ay pinipili kada 5 segundo. (Ang 5000 na mga transaksyon sa isang block ay maaaring isama ang mga Layer-1 smart contract ng Algorand nang hindi nagpapabagal sa produksyon ng block.) Ipinapakita ng Pigura 2 ang mga epekto ng pagdaragdag ng 10 segundo na pagtawag sa kontrata sa bawat block: malinaw na imposible na mapanatili ang isang 5 segundo na oras ng block kung ang bawat pagtawag sa kontrata ay tumatagal ng karagdagang 10 segundo. Ipinapakita ng Pigura 3 ang pakinabang ng pagpapatupad ng mga pagtawag sa off-chain na kontrata: ang pagtawag ng kontrata ay maaaring isakatuparan kasabay ng mga regular na transaksyon, nang walang panganib sa paglilipat ng blockchain.

Ang contract execution committee ay pinipili nang ligtas, randomized, self-selection algorithm, tulad ng pangunahing komite ng pinagkasunduan. Dahil ang pagpapatupad ng kontrata, hindi tulad ng block consensus, ng deterministic, ang contract execution committee ay maaaring magkamit ng parehong antas ng seguridad na may mas kaunting mga validator (nasa mga 150 validator sa halip na libu-libo).

Ang code ng off-chain na kontrata ay nakasulat sa isang mataas na antas ng wika at naisakatuparan ng isang virtual machine (VM). Ang isang off-chain na kontrata ay may long-live na estado, na tinatawag na contract storage. Para sa privacy, ang paglalagay ng kontrata mismo ay hindi lalabas sa blockchain. Para sa seguridad, gayunpaman, ang bawat pagtawag sa kontrata ay naglalathala ng isang pangako sa pinakabagong contract storage. Ang mga off-chain na kontrata ay maaaring makabasa ng mga balanse ng account at iba pang impormasyon na on-chain, at maaari silang mag-isyu ng mga transaksyon, tulad ng mga pagbabayad, na nagbabago sa estado ng blockchain. Hindi tulad ng mga kombensyonal na istilo ng kontrata Ethereum, ang mga "effects transactions" ay hindi direktang ipinatutupad. Sa halip, ang mga epekto ng pagtawag ay napatunayan ng isang quorum ng mga contract execution committee validator. Ang mga epekto ng pagtawag na transaksyon ay naka-package sa isang batch na transaksyon ng Layer-1 na "lahat-o-wala" na sinisiguro na magtagumpay o magkasama. Sinusubaybayan din ng komite ng pagpapatupad ng kontrata ang mga dependencies ng bawat tawag. Halimbawa, ang isang pagtawag sa kontrata na naglilipat ng 100 token mula kay Alice hanggang kay Bob ay nakasalalay kay Alice na mayroong balanse ng kahit na hindi bababa sa 100. Ang komite ay bumubuo ng isang listahan ng mga dependencies na susuriin ng komite ng pinagkasunduan bago isagawa ang mga epekto. (Ang mga tseke na ito ay mabilis, simple, scalar na paghahambing.) Ang bawat atomic na transaksiyon, kasama ang sertipiko at dependencies, ay isusumite, katulad ng anumang iba pang pagkakasunud-sunod ng mga transaksyon, sa komite ng pinagkasunduan, na sinusuri ang sertipiko at dependencies ng atomic, at kasama ang atomic na transaksyon sa isang hinaharap na block.

Ano ang posibleng magkamali? Kung gaton, ang mga tawag sa off-chain na kontrata ay "speculative" sa paraan na ang on-chain state, na sinasabi, ay isang balanse sa account, na maaaring magbago sa pagitan ng kung kailan napatunayan ang isang pagtawag sa kontrata at kung ang mga epekto ng pagtawag na iyon ay umabot sa blockchain. Kahit na, ginagarantiyahan ang kawastuhan. Ang pagpapatupad ng off-chain na kontrata ay sumusubaybay sa mga dependencies ng pagtawag ng kontrata, tinitiyak na ang mga epekto ng isang pagtawag na ang mga dependencies ay nilabag ay hindi maisasama sa blockchain.

Kumusta naman ang pag-unlad? Paano kung paulit-ulit na ipinapasa ng isang kontrata ang pagpapatupad ng pagpapatupad ng validation ng komite ngunit hindi niya ito pinapasok sa chain dahil ang mga nakasalalay na on-chain ay paulit-ulit na nilabag? Sa pagbabalik sa checking analogy, ang mga regular na tseke ay mas mabilis at mas madali kaysa sa mga tseke ng kahera, ngunit maaaring tumalbog pa ang isang tseke kahit na may sapat na pera sa account nang ito ay pirmado. Gayunpaman, kahit na ang mga tseke ay paminsan-minsan na tumatalbog, mas malawak na ginagamit ito kaysa sa mga tseke sa kahera dahil ang karamihan sa mga nagsusulat sa tseke ay hindi nakakasapaw sa kanilang mga account. Sa parehong paraan, ang mga off-chain na kontrata ay maaaring mabigo minsan, ngunit asahan nagin na magtagumpay sila sa halos lahat ng oras, dahil ang kanilang mga dependencies ay kadalasang nasa ilalim ng kontrol ng gumagamit, at ang mga gumagamit ay dapat na pigilan na lumabag sa kanilang sariling mga dependencies.

Hurrah!

Kami ay nasasabik tungkol off-chain na mga kontrata ng Algorand dahil ang mga gumagamit ay maaaring magsulat ng mga kontrata na maaaring malaki, computationally demanding, idiosyncratic, at/o kumplikado nang hindi nakabara ang blockchain para sa lahat. Hindi tulad ng karamihan sa mga blockchain, kung saan ang intelektwal na arkitektura ng kontrata ay malapit na magkakaugnay sa arkitektura ng blockchain, ang smart contract ng Algorand ay naghiwalay sa pagpapatupad ng off-chain na kontrata mula sa komite ng blockchain consensus. Ang arkitektura ng smart contract ng Algorand ay flexible, at sa hinaharap ay maaaring paganahin ang maramihang contract execution committees, ang bawat isa ay may ibang garantisadong antas ng serbisyo, at bawat isa ay may sariling wika ng kontrata at virtual machine. Ang isang contract execution committee na nagpapatunay sa computationally demanding ng mataas na privacy ay dapat na naiiba mula sa isa na nagpapatunay ng lubos na kinokontrol, masidhing data na aplikasyong pampinansyal. Anuman ang kailangan ng iyong mahusay na smart contract, ang arkitektura ng smart contract ng Algorand ay maaaring sumuporta ng isang katugmang ng wika at VM.

Ang pagsisikap ng paghahanap ng isang viable na wika at ng VM ay magiging mahalaga para sa malawak na adapsyon ng aming mga off-chain na kontrata, ngunit ito ay isang hiwalay na pagsisikap. At plano naming makipagtulungan sa iba sa pagsisikap na ito. Manatiling nakatutok!



May-akda


Jing Chen, Head of Theory Research and Chief Scientist
Si Jing ay isang Assistant Professor sa Computer Science Department sa Stony Brook University. Siya rin ay isang Kaakibat na Katulong na Propesor sa Kagawaran ng Ekonomiya at isang Affiliated Assistant Professor sa Departamento ng Economics at Affiliated Member ng Stony Brook Center para sa Teorya sa Laro. Ang kanyang mga pangunahing interes sa pananaliksik ay distributed ledgers, teorya sa laro, at algorithm. Natanggap ni Jing ang kanyang Bachelor at Master degree sa Computer Science mula sa Tsinghua University, at ang kanyang PhD sa Computer Science mula sa MIT. Nakapagtapos siya ng isang taong postdoc sa Institute for Advanced Study, Princeton. Natanggap ni Jing ang NSF CAREER Award noong 2016.


Maurice Herlihy, Research Fellow, Algorand
Si Propesor Herlihy ay isang pandaigdigang dalubhasa sa Distributed Computation. Siya ay tumatanggap ng 2003 Dijkstra Prize sa Distributed Computing, ang 2004 Gödel Prize sa theoretical computer science, ang 2008 ISCA influential paper award, ang 2012 Edsger W. Dijkstra Prize, at ang 2013 Wallace McDowell award. Siya ay kapwa ng ACM, isang kapwa ng National Academy of Inventors, National Academy of Engineering, at National Academy of Arts and Sciences.

Si Propesor Herlihy ay may hawak na Ph.D. sa Computer Science mula sa M.I.T.


Victor Luchangco, Senior Algorithms Researcher, Algorand
Si Victor Luchangco ay isang Senior Algorithms Researcher sa Algorand, kung saan nagtatrabaho siya sa mga protocol at wika para sa mga blockchain. Bago iyon, nagtrabaho siya sa Oracle Labs at Sun Labs, kung saan sabay siyang nagtrabaho sa algorithm at mga istraktura ng data para sa shared-memory multiprocessors at wika ng programming sa Fortress. Tumanggap siya ng isang Sc.D. sa Computer Science mula sa Massachusetts Institute of Technology, na may disertasyon sa mga modelo para sa mahina na consistent memory. Nagsulat siya ng higit sa 50 na mga papeles at may hawak na higit sa 40 patent.


Silvio Micali, Founder, Algorand
Si Silvio Micali ay nasa faculty sa MIT, Electrical Engineering at Computer Science Department, mula pa noong 1983. Ang mga interes sa pananaliksik ni Silvio ay nasa kriptograpiya, zero knowledge, pseudorandom generation, secure protocols, at disenyo ng mekanismo at blockchain. Bilang partikular, si Silvio ay co-imbentor ng probabilistic encryption, Zero-Knowledge Proofs, Verifiable Random Functions at marami sa mga protocol na siya nang pundasyon ng modernong kriptograpiya.

Noong 2017, itinatag ni Silvio ang Algorand, isang ganap na desentralisado, secure, at scalable blockchain na nagbibigay ng isang karaniwang plataporma para sa pagbuo ng mga produkto at serbisyo para sa isang borderless na ekonomiya. Sa Algorand, pinangangasiwaan ni Silvio ang lahat ng pananaliksik, kabilang ang teorya, seguridad at pinansyal sa crypto.

Si Silvio ay tatanggap ng Turing Award (sa computer science), ng Gödel Prize (sa theoretical computer science) at ang premyong RSA (sa kriptograpiya). Siya ay isang miyembro ng National Academy of Sciences, National Academy of Engineering, American Academy of Arts and Sciences at Accademia dei Lincei.

Natanggap ni Silvio ang kanyang Laurea sa Matematika mula sa University of Rome, at ang kanyang PhD sa Computer Science mula sa University of California sa Berkeley.


Liuba Shrira, Research Fellow, Algorand
Si Liuba Shrira ay isang Propesor sa Computer Science Department sa Brandeis University, isang Affiliate sa Pananaliksik ng Laboratory for Computer Science at Artificial Inteligence sa MIT. Natanggap niya ang kanyang PhD mula sa Technion (Israel) noong 1986. Mula 1986 hanggang 1997 siya ay isang Research Scientist sa MIT Programming Methology Group. Sumali siya sa Brandeis noong 1997. Noong 2004-2005 siya ay naging visiting researcher sa Microsoft Research, Cambridge, UK, noong 2010-2011 siya ay isang visiting researcher sa Microsoft Research Asia at isang visiting Professor sa Computer Science Department, Technion. Kasalukuyan siyang isang visiting Research Fellow sa Algorand.
Ang mga interes sa pananaliksik ni Liuba Shrira ay sumasaklaw sa mga aspeto ng disenyo at pagpapatupad ng mga distributed systems at lalo na sa storage systems. Kasama dito ang fault-tolerance, availability at mga isyu sa performance. Ang kanyang kamakailang pagtuon ay nasa paglalakbay sa oras (sa storage), byzantine fault-tolerance, mabilis na transaksyon, at blockchain computing.
Si Liuba Shrira ay kinilala bilang isang Distinguished Scientist ng ACM para sa "significant accomplishments in, and impact on, the computing field." [makabuluhang mga nakamit, at epekto sa, larangan ng computing.]
Sa kanyang libreng oras si Liuba Shrira sumasayaw tango, naghahardin, nagbabasa at nagluluyo.



 

Bitcoin Garden 2013-2024, All rights reserved | Privacy Policy | DMCA | About Bitcoin Garden | Support & Services