follow us on twitter . like us on facebook . follow us on instagram . subscribe to our youtube channel . announcements on telegram channel . ask urgent question ONLY . Subscribe to our reddit . Altcoins Talks Shop Shop


This is an Ad. Advertised sites are not endorsement by our Forum. They may be unsafe, untrustworthy, or illegal in your jurisdiction. Advertise Here Ads bidding Bidding Open

Author Topic: POINTPROOFS: PAG-UNAWA KUNG PAANO MALULUTAS NG ALGORAND ANG SMART CONTRACT  (Read 2172 times)

Offline Polar91

  • Baby Steps
  • *
  • Activity: 39
  • points:
    1660
  • Karma: 0
  • Trade Count: (0)
  • Referrals: 0
  • Last Active: January 06, 2021, 11:12:24 AM
    • View Profile

  • Total Badges: 8
    Badges: (View All)
    10 Posts First Post Third year Anniversary
POINTPROOFS: PAG-UNAWA KUNG PAANO MALULUTAS NG ALGORAND ANG SMART CONTRACT PROOF NA PROBLEMA

Tandaan: Ito ay pagsasalin lamang

Narito ang orihinal na artikulo: POINTPROOFS: UNDERSTANDING HOW ALGORAND SOLVES THE SMART CONTRACT PROOF PROBLEM na akda ni Helen Imah


IPINAKILALA ANG SMART CONTRACT PROOF NA PROBLEMA

Ang blockchain ay bukas, ibinahaging ledger na maaaring magtala ng mga transaksyon sa pagitan ng mga partido sa isang verifiable na pamamaraan. Pinapadali ng blockchain ang mga transaksyon sa iba't-ibang mga industriya kabilang ang supply chain management, real estate, media, enerhiya, pamamahala sa identidad, at pamamahala sa rekord.


Karaniwan, ang karamihan sa mga blockchain platform ay hindi nag-iimbak ng anumang masyadong malaki sa blockchain mismo dahil sa mababang kapasidad ng storage ng mga blockchain at ang mataas na halaga ng storage. Ang isang pangkaraniwang solusyon na ginagamit ng mga platform na ito upang malutas ang problemang ito ay itago lamang ang hash ng isang malaking bagay sa isang smart contract at pagkatapos ay itago ang malakihang bagay sa ibang lugar.

Ang isang smart contract ay isang self-enforcing computer protocol na inilaan upang digital na mapadali, ma-verify, o ipatupad ang negosasyon o performance ng isang kontrata. Ang konsepto ng mga smart contract ay dinisenyo ni Nick Szabo noong 1977. Sa isang blockchain, ang isang smart contract ay maaaring mag-imbak ng napakaraming impormasyon tungkol sa pinagmulan ng isang bagay, ang lineage, at ang onboarding na proseso na nagresulta sa on-chain na ini-immortalize ng isang tiyak na hash na kinikilala ng lahat bilang authentic.

Ang isang user na nagtataglay ng isang bagay ay kailangang i-hash ang bagay at pagkatapos ay gamitin ang smart contract upang kumpirmahin ang pagiging tunay nito at siyasatin ang iba pang mga detalye. Gayundin, maaaring magawa ng isang user ang kaniyang smart contract data at pagkatapos ay idagdag sa kaniyang transaksyon ang mga halagang nais niyang i-update sa mga nauugnay na cryptographic proof.

Sa kabila ng napakalawak nitong mga benepisyo, ang mga smart contract ay may ilang mga limitasyon. Una sa lahat, ang isang smart contract ay nag-aalok ng isang bigay sa sinumang magbibigay ng isang solusyon sa isang problema sa matematika, tulad ng solusyon sa isang naibigay na Sudoku, nang walang anumang balangkas kung paano ito suriin kung tama ang isang ibinigay na solusyon. Gayundin, ang isang smart contract ay tumutukoy at nagpapatupad ng mga financial derivatives nang walang anumang pamamaraan para sa pagsusuri sa tunay na halaga ng transaksyon. Halimbawa, ang isang smart contract ay maaaring magsama sa user A na magbabayad sa user B ng isang premium kung ang halaga ng isang barya na euro ay tumataas sa 1.5 dolyar sa isang buwan. Gayunpaman, ang smart contract ay walang isang outline upang suriin ang aktwal na halaga ng euro pagkatapos nang tagal na ibinigay. Ang mga ito at iba pang mga likas na isyu ay naglilimita sa kakayahan ng scalability ng teknolohiya ng smart contract.

 

ISANG CASE STUDY SA SMART CONTRACT PROOF NA PROBLEMA

Upang mas maunawaan ang proof problem, isaalang-alang natin ang senaryong ito;
Ang isang ibinigay na user na nagngangalang Greg ay mayroong tatlong mga dokumento - isang lisensya sa pagmamaneho, isang pasaporte, at isang sertipiko ng kapanganakan - sa bawat dokumento na kinakatawan ng isang JavaScript Object Notation (JSON) na kasama ang lahat ng mga data field na naroroon. Ang bawat object ng JSON ay inisyu ng isang may awtoridad na pagpapatala na may isang smart contract na nagtatala ng mga hash ng mga tunay na dokumento. Walang dokumento na nakukuha sa listahan nang hindi sumusunod sa mahigpit na on-boarding na proseso sa smart contract.


Ngayon, ipagpalagay natin na nais ni Greg na ipakita ang isa pang user na nagngangalang Jane ng kanyang petsa ng kapanganakan nang hindi isiwalat ang anumang karagdagang mga personal na detalye. Dahil ang bawat isa sa tatlong mga dokumento ay naglalaman ng isang petsa ng kapanganakan, si Greg ay may tatlong posibleng paraan upang maihayag ang kanyang petsa ng kapanganakan kay Jane.

Dahil sa bawat anyo ng dokumento ay madaling napatunayan ng isang hash sa isang blockchain, si Jane ay makakakonsulta sa naaangkop na pagpapatala na kumpirmahin ang pagiging tunay na anumang dokumento na nagpasyang ibunyag ni Greg. Gayunpaman, upang gumana ito, kailangang ibigay ni Greg kay Jane ang buong dokumento. Samakatuwid, si Greg ay nahaharap sa isang problema. Mayroon siyang tatlong mga dokumento na pagpipilian, ngunit ang bawat dokumento ay naglalaman ng maraming impormasyon kaysa sa nais na ibunyag ni Greg tulad ng kanyang address sa bahay, kanyang history sa paglalakbay, at kanyang lugar ng kapanganakan depende sa alin sa mga dokumento na pinili niyang ibunyag.


Bagaman masasabi ni Greg na ang mga dokumentong ito ay naglalaman ng isang tiyak na petsa ng kapanganakan, hindi malayang patunayan ni Jane na nagsasabi ng totoo si Greg maliban kung ihayag niya nang detalyado ang isa sa mga dokumentong ito, na ayaw gawin ni Greg. Hindi maaaring patunayan ni Greg ang anumang bagay nang hindi pipili ng isa sa mga dokumento at isiwalat ito kay Jane sa kabuuan. Muli, ayaw ni Greg na gawin iyon

Paano mapapatunayan ni Greg na nagsasabi siya ng totoo tungkol sa isang solong field? Paano ito magagawa nang hindi inilalantad ang iba pang mahahalagang mga personal na detalye o ilipat ang mga mahahalagang patlang sa mamahaling on-chain na storage sa mga registry contract?  Inilalarawan ng senaryong ito ang smart contract proof na problema.

 

MGA DISKARTE SA PAGHARAP SA PROOF PROBLEM

Upang talakayin ang smart contract proof na problema na maraming mga diskarte ang dinisenyo ng mga developer ng blockchain. Upang talakayin ang smart contract proof na problema, maraming mga diskarte ang dinisenyo ng mga developer ng blockchain. Kapansin-pansin sa mga ito ang mga TownCrier at Merkle Proofs.


Iminumungkahi ng TownCrier ang isang sistema na nagpapahintulot sa mga on-chain na smart contract na mangangailangan ng external na web data, na magagamit na sa pamamagitan ng TLS at HTTPS. Ang arkitektura ng TownCrier ay binubuo ng isang smart contract na gumaganap bilang front-end para sa iba pang mga on-chain client contract, isang enclave na tumatakbo sa isang Software Guard Extensions (SGX) intel environment, at isang relay na humahawak sa komunikasyon ng enclave sa blockchain at nagbibigay ng pagpapatunay sa guarded execution ng enclave.

Ang isang pangunahing limitasyon ng diskarte sa TownCrier ay ang pagkakaroon ng isang makabuluhang anyo ng sentralisasyon sa gateway ng TownCrier. Samakatuwid, walang seguridad laban sa pag-atake ng relay sa pagsasara ng enclave. Gayundin, ang isang pagpapatunay ay hindi maaaring direktang ma-verify ng nagmula sa smart contract.  Samakatuwid, ang isang maling pag-uugali ng enclave dahil sa isang pag-atake o iba pang mga kadahilanan ay hindi maaaring mapansin ng nagmumula sa smart contract.
Ang Merkle Proofs, sa kabilang banda, ay nagpapatunay ng pagkakaroon ng isang halaga sa loob ng isang data set. Para gumana ang Merkle Proof, kailangan ng mga user ng Merkle Tree. Ang isang Merkle Tree ay pares ng recursively hashes ng mga halaga hanggang sa wakas ay mayroon lamang isang hash naiwan na kilala bilang Merkle Root.

Ang paggamit ng Merkle Trees ay ang tradisyunal na paraan na ginawa ng Ethereum at ilang iba pang mga blockchain upang makatugon sa isang data set. Gayunpaman, ang Merkle Trees ay kilalang nagtataglay ng napakahabang mga patunay. Halimbawa, ang isang user na gumawa ng 1000 na halaga sa isang smart contract ay kailangang magpalaganap ng 320 bytes ng karagdagang datos (cryptographic proof) upang baguhin ang isa lamang sa mga halaga. Maaari nitong kainin ang maraming bandwidth ng network at magdagdag ng malaking gastos para sa mga node na nakikilahok sa pinagkasunduan ng mga ibinahaging network, kung saan ang bawat transaksyon ay kumakalat sa lahat ng mga node. Upang malutas ang mga problemang ito, ang Algorand blockchain ay nakadisenyo ng PointProofs.

 

POINTPROOFS: ANG DISKARTE NG ALORAND

Ang PointProofs ay isang bagong vector commitment scheme na sumusuporta sa hIindi interaktibong pagsasama-sama ng proofs across multiple commitments. Ang mga PointProof na ito ay nagbibigay-daan sa isang user na nangako sa isang magkakasunud-sunod ng mga halaga (V1, V2 .... Vn) at malaman na ihayag ang isa o higit pang mga halaga sa mga tukoy na posisyon sa paglaon. Sa PointProofs, pareho ang commitment at ang proof size ay 48-bytes lamang.


Gayundin, pinapagana ng PointProofs ang anumang ikatlong partido na pagsamahin ang isang koleksyon para sa proof na magkakaiba, kinokompyut nang malaya ang mga single proof na kinakatawan ng elliptic curve point na 48-bytes. Ang pagsasama-sama ng cross-commitment ay isang bagong tampok na wala sa mga nakaraang diskarte ang nagkamit. Ang mga PointProof ay nasiyahan din sa pagtatago ng mga pag-aari tulad ng mga commitment at proof para sa ilang mga halaga ay hindi nagbubunyag ng impormasyon tungkol sa mga natitirang halaga.


Kapag inilapat sa mga smart contract ng blockchain, maaaring mabawasan ng mga PointProof ang mga overhead ng bandwidth para sa pagpapalaganap ng isang block ng mga transaksyon ng hindi bababa sa 60% kumpara sa naunang mga vector commitment. Ang mga PointProof ay mahusay din dahil tumatagal ng 0.08 segundo upang makabuo ng isang proof para sa 8 na halaga para sa isang commitment sa isang solong thread, 0.25 segundo upang pagsamahin ang 4000 tulad ng mga puntos sa maraming mga commitment sa isang proof, at 23 segundo upang mapatunayan ang aggregate proof.

Bilang konklusyon, ang mga Algorand blockchain-designed PointProofs ay maaaring magamit upang mabawasan ang on-chain storage at i-minimize ang mga kinakailangan na bandwidth ng network. Tinutulungan nito ang blockchain upang paganahin ang mas mahusay na desentralisadong mga network para sa mga smart contract. Ang mga developer, lalo na sa mga bansang tulad ng Nigeria na may isang populasyon na handa na gamitin ang blockchain technology, maaaring samantalahin ang tampok na ito upang makabuo ng mahusay, desentralisado at ligtas na mga smart contract solution.

Altcoins Talks - Cryptocurrency Forum


For Monthly biddings Check Here


 

ETH & ERC20 Tokens Donations: 0x2143F7146F0AadC0F9d85ea98F23273Da0e002Ab
BNB & BEP20 Tokens Donations: 0xcbDAB774B5659cB905d4db5487F9e2057b96147F
BTC Donations: bc1qjf99wr3dz9jn9fr43q28x0r50zeyxewcq8swng
BTC Tips for Moderators: 1Pz1S3d4Aiq7QE4m3MmuoUPEvKaAYbZRoG
Powered by SMFPacks Social Login Mod