Digital na Asset
Panganib sa Smart Contract: Code, Oracle, Pamamahala, at mga Susi sa Pag-upgrade
Gabay sa mga pangunahing prinsipyo ng Panganib sa Smart Contract, kabilang ang daloy ng operasyon nito, ekonomiks, mga awtoritatibong rekord, mga paraan ng pagkabigo, at ebidensiyang dapat beripikahin ng mga mamumuhunan o operator.
Idagdag ang Securities.io sa mga gusto mong mapagkunan sa Google
Maaaring magmukhang iisang pangyayari ang Panganib sa Smart Contract kapag tiningnan sa isang dashboard. Sa likod nito, magkakahiwalay na pagbabago ng estado ang pagtukoy sa mga karapatan at invariant, pag-audit sa na-deploy na sistema, at pagtugon at pamamahala—at magkakaibang kalahok ang humahawak sa mga ito. Dito pumapasok ang oras, gastos, at panganib: sa mga nakatagong paglilipat ng responsibilidad.
Ang panganib sa smart contract ay posibilidad na magbunga ang code, mga dependency, o pamamahala ng pinansyal na resulta na naiiba sa inaasahan ng mga user. Kabilang sa mga posibleng puntiryang atake ang lohika ng negosyo, kontrol sa pag-access, aritmetika at accounting, mga oracle, token, composability, mga front end, pribadong susi, pag-upgrade, at mga legal na pangakong nakapalibot sa code.
Katibayan ng isang tiyak na pagsusuri ang audit, hindi ito garantiya. Maaaring i-deploy ang wastong source code gamit ang ibang mga parameter, i-upgrade sa kalaunan, o makipag-ugnayan sa isang minanipulang oracle. Nababawasan lamang ng hindi nababagong code ang panganib ng pagbabago kung ligtas mismo ang hindi nagbabagong asal nito at ang mga dependency nito.
Para mailugar ang Panganib sa Smart Contract sa mas malawak na saklaw ng mga paksa sa Securities.io, ihambing ang Modelong Sanggunian para sa DeFi Stack, Mga Kumpanyang Nag-a-audit ng Smart Contract, at Seguridad ng Smart Contract at AI. Ipinakikita ng mga gabay na ito kung paano nagbabago ang tanong tungkol sa iisang imprastraktura ng digital asset kapag nag-iba ang nag-isyu, asset, karapatan ng mamumuhunan, o imprastraktura ng operasyon.
Mula sa Pagtukoy sa mga Karapatan at Invariant hanggang sa Pagtugon at Pamamahala: Ang Tanikala ng Panganib sa Smart Contract
Itinatakda sa pagtukoy sa mga karapatan at invariant ang mga balanse, kapangyarihan, limitasyon, at kondisyong dapat palaging matupad. Nagiging input naman ang kinalabasan nito sa yugto ng pagpapatupad at pagsubok, kung saan ginagamit ang mga nasuring bahagi at isinasagawa ang mga unit, integration, property, at adversarial na pagsubok. Sa paglilipat na ito unang dapat subukin ang Panganib sa Smart Contract: kailangang matukoy ng tatanggap kung ang naganap ay kumpletong pagbabago ng estado o mensahe, pagtatantiya, o pansamantalang tala lamang. Dapat ding ilapat ang parehong pagsubok sa bawat kasunod na arrow hanggang makabuo ng resultang malayang mapagtutugma ang yugto ng pagtugon at pamamahala.
Basahin nang pabaligtad ang diagram, simula sa pagtugon at pamamahala. Dapat humantong ang huling estado sa espesipikasyon, na-deploy na source code at bytecode, mga pagsubok at audit, mga parameter at tungkuling administratibo, mapa ng mga oracle at dependency, mga minomonitor na kaganapan, pagtugon sa insidente, at paglalaan ng mga pagkalugi; mula roon, tumuloy sa kapangyarihang ginamit sa pagpapatakbo at pagmomonitor, sa pagkakalantad na nalikha sa pag-audit sa na-deploy na sistema, at sa mga input na tinanggap sa pagtukoy sa mga karapatan at invariant. Kapag naputol ang tanikalang ito, maaaring magmukhang nakumpletong transaksiyon ang isang bug sa kontrol sa pag-access kahit nakakuha ng kapangyarihang mag-mint, mag-withdraw, mag-pause, o mag-upgrade ang isang hindi nilalayong tumawag. Pinananatili ng pagsubaybay na ito nang pabalik ang pagsusuri sa ipinangakong pinansyal na invariant at sa bawat dependency sa code, data, at pamamahala na maaaring magpabago rito, sa halip na sa tatak ng provider o katayuan ng interface.
Sino ang May Kontrol sa Mahahalagang Talaan sa Panganib sa Smart Contract?
| Kalahok o Baryabol | Ano ang Binabago Nito | Katibayang Dapat Suriin |
|---|---|---|
| Tagabuo ng protocol | Nagdidisenyo at nagpapatupad ng lohika sa ekonomiya at teknolohiya. | Espesipikasyon, code, mga pagsubok, commit, dependency, at deployment. |
| Auditor | Sinusuri ang bersiyong may tinukoy na saklaw at iniuulat ang mga natuklasan. | Saklaw, mga pamamaraan, palagay, antas ng tindi, mga pag-aayos, at natitirang panganib. |
| Oracle o panlabas na protocol | Nagbibigay ng mga presyo, mensahe, token, o liquidity. | Mga pinagmulan, pag-update, panlaban sa manipulasyon, administrador, at mga insidente. |
| Pamamahala at mga may hawak ng susi | Maaaring magbago ng mga parameter, mag-pause, mag-upgrade, o maglipat ng mga asset. | Mga tungkulin, quorum, timelock, boto, pag-iingat sa susi, at kasaysayan ng mga kaganapan. |
| User o integrator | Tumatanggap sa pagkakalantad sa code at mga dependency. | Address, bersiyon, mga pahintulot, simulasyon ng transaksiyon, mga limitasyon, at paraan ng paglabas. |
Magkaibang panig ng operasyon ang kinabibilangan ng tagabuo ng protocol at tagasuri. Dinidisenyo at ipinapatupad ng tagabuo ng protocol ang lohika sa ekonomiya at teknolohiya, samantalang sinusuri ng tagasuri ang isang bersiyong may takdang saklaw at iniuulat ang mga natuklasan. Dapat magkatugma ang kanilang mga rekord—espesipikasyon, code, mga pagsusuri, commit, dependency, at deployment, gayundin ang saklaw, mga pamamaraan, palagay, antas ng kalubhaan, mga pag-aayos, at natitirang panganib—sa pagtukoy sa iisang pangyayari, nang hindi nagiging mga kopya ng iisang database ng vendor. Nagdaragdag ng magkakaibang pasiya o ebidensiya ang oracle o panlabas na protocol, pamamahala at mga may hawak ng susi, at gumagamit o integrator; kapag itinuring na magkakapareho ang mga tungkuling ito, hindi matutukoy kung saan pumapasok ang pagpapasya, likididad, o legal na pananagutan.
Praktikal na pagsubok sa pananagutan kaugnay ng Panganib sa Smart Contract ang pagkaantala ng serbisyo sa pamamahala at sa mga may hawak ng susi. Maaari silang magpalit ng mga parameter, mag-pause, mag-upgrade, o maglipat ng mga asset. Ang tanong ay kung kaya pa ring buuin muli ng tagabuo ng protocol at tagasuri ang sitwasyon batay sa mga tungkulin, korum, timelock, mga boto, pag-iingat sa mga susi, at kasaysayan ng mga kaganapan. Maaaring magtalaga ng mga gawain ang mga kontrata, ngunit hindi mapapalitan ng sugnay tungkol sa outsourcing ang ebidensiya para sa partidong may pananagutan sa pangako sa kostumer, asset, o obligasyon. Tinutukoy sa matatag na disenyo ang rekord na gagamitin bilang pamalit at ang taong awtorisadong lutasin ang anumang hindi pagtutugma.
Paano Nagbabago ang Kalagayan ng Panganib sa Smart Contract sa Aktuwal na Paggamit
1. Tukuyin ang mga Karapatan at Invariant: Itakda ang Panimulang Kalagayan para sa Panganib sa Smart Contract
Tukuyin ang mga balanse, awtoridad, limitasyon, at kundisyong dapat laging matugunan. Sa bahaging ito ng Panganib sa Smart Contract, itinatakda sa hakbang na ito ang mga kundisyong maaaring sandigan sa pagpapatupad at pagsusuri. Sentral ang papel ng tagabuo ng protocol dahil siya ang nagdidisenyo at nagpapatupad ng lohika sa ekonomiya at teknolohiya. Dapat panatilihin sa gumaganang rekord ang espesipikasyon, code, mga pagsusuri, commit, dependency, at deployment.
Ang pagkabigong dapat matukoy sa bahaging ito ay ang depekto sa kontrol sa pag-access: nagkakaroon ng awtoridad sa paglikha ng token, pag-withdraw, pag-pause, o pag-upgrade ang isang hindi nilalayong tumatawag. Para subukan ang yugtong ito, itala ang resulta gamit ang kaparehong oras, saklaw, at mga tuntuning namamahala, saka baguhin ang isang palagay bago ang pagpapatupad at pagsusuri. Para sa Panganib sa Smart Contract, tinutukoy sa maipagtatanggol na paglilipat ng pananagutan kung sino ang nag-apruba rito, aling rekord ang nagbago, ano pa ang maaaring baligtarin, at kung sino ang sasagot sa pagkalugi sakaling tanggihan ng susunod na kalahok ang ebidensiya.
2. Ipatupad at Subukan: Tukuyin ang Tuntunin sa Pagpapasya para sa Panganib sa Smart Contract
Gumamit ng mga nasuring bahagi at ng mga pagsusuring unit, integrasyon, katangian, at pag-atake. Sa bahaging ito ng Panganib sa Smart Contract, sinusuri sa hakbang na ito ang mga kundisyong maaaring sandigan sa pag-audit sa na-deploy na sistema. Sentral ang papel ng tagasuri dahil sinusuri niya ang isang bersiyong may takdang saklaw at iniuulat ang mga natuklasan. Dapat panatilihin sa gumaganang rekord ang saklaw, mga pamamaraan, palagay, antas ng kalubhaan, mga pag-aayos, at natitirang panganib.
Ang pagkabigong dapat matukoy sa bahaging ito ay ang pagsasamantala sa accounting: lumilikha ng halaga mula sa wala ang pag-round, muling pagpasok, pagpepresyo ng bahagi, o pagkakasunod-sunod ng estado. Para subukan ang yugtong ito, muling kalkulahin ang resulta gamit ang kaparehong oras, saklaw, at mga tuntuning namamahala, saka baguhin ang isang palagay bago i-audit ang na-deploy na sistema. Para sa Panganib sa Smart Contract, tinutukoy sa maipagtatanggol na paglilipat ng pananagutan kung sino ang nag-apruba rito, aling rekord ang nagbago, ano pa ang maaaring baligtarin, at kung sino ang sasagot sa pagkalugi sakaling tanggihan ng susunod na kalahok ang ebidensiya.
3. I-audit ang Na-deploy na Sistema: Sukatin ang Paglipat ng Panganib sa Panganib sa Smart Contract
Tiyakin ang source code, bytecode, mga parameter, dependency, susi, at mga kontrol sa operasyon. Sa bahaging ito ng Panganib sa Smart Contract, muling inilalaan sa hakbang na ito ang mga kundisyong maaaring sandigan sa pagpapatakbo at pagsubaybay. Sentral ang papel ng oracle o panlabas na protocol dahil nagbibigay ito ng mga presyo, mensahe, token, o likididad. Dapat panatilihin sa gumaganang rekord ang mga pinagmulan, mga update, panlaban sa manipulasyon, administrador, at mga insidente.
Ang pagkabigong dapat matukoy sa bahaging ito ay ang manipulasyon sa oracle: kinokontrol ng pansamantala o hindi likidong presyo ang pangungutang, pagpapalit, o likidasyon. Para subukan ang yugtong ito, subukin sa ilalim ng matitinding kundisyon ang resulta gamit ang kaparehong oras, saklaw, at mga tuntuning namamahala, saka baguhin ang isang palagay bago magpatakbo at sumubaybay. Para sa Panganib sa Smart Contract, tinutukoy sa maipagtatanggol na paglilipat ng pananagutan kung sino ang nag-apruba rito, aling rekord ang nagbago, ano pa ang maaaring baligtarin, at kung sino ang sasagot sa pagkalugi sakaling tanggihan ng susunod na kalahok ang ebidensiya.
4. Magpatakbo at Sumubaybay: Itugma ang Opisyal na Rekord para sa Panganib sa Smart Contract
Subaybayan ang halaga, mga anomalya, oracle, mga pagkilos na nangangailangan ng pribilehiyo, at mga pagbabago sa dependency. Sa bahaging ito ng Panganib sa Smart Contract, itinutugma sa hakbang na ito ang mga kundisyong maaaring sandigan sa pagtugon at pamamahala. Sentral ang pamamahala at mga may hawak ng susi dahil maaari silang magpalit ng mga parameter, mag-pause, mag-upgrade, o maglipat ng mga asset. Dapat panatilihin sa gumaganang rekord ang mga tungkulin, korum, timelock, mga boto, pag-iingat sa mga susi, at kasaysayan ng mga kaganapan.
Ang pagkabigong dapat matukoy sa bahaging ito ay ang pagkabigo ng dependency: kumikilos nang iba sa mga palagay ang isang token, bridge, pool, o chain. Para subukan ang yugtong ito, ihambing ang resulta gamit ang kaparehong oras, saklaw, at mga tuntuning namamahala, saka baguhin ang isang palagay bago tumugon at mamahala. Para sa Panganib sa Smart Contract, tinutukoy sa maipagtatanggol na paglilipat ng pananagutan kung sino ang nag-apruba rito, aling rekord ang nagbago, ano pa ang maaaring baligtarin, at kung sino ang sasagot sa pagkalugi sakaling tanggihan ng susunod na kalahok ang ebidensiya.
5. Tumugon at Mamahala: Subukin ang Panghuling Kinalabasan ng Panganib sa Smart Contract
I-pause, mag-upgrade, magbigay ng kompensasyon, lumipat, o tanggapin ang pagiging di-mababago alinsunod sa ipinahayag na kapangyarihan. Sa bahaging ito tungkol sa panganib sa matalinong kontrata, isinasara ng hakbang na ito ang mga kondisyong maaaring sandigan ng naitalang resulta. Sentral ang gumagamit o integrator dahil tinatanggap nito ang pagkakalantad sa code at mga dependency. Dapat itala sa working record ang address, bersyon, mga pahintulot, simulation ng transaksyon, mga limitasyon, at paraan ng paglabas.
Ang pagkabigong hamunin ito sa yugtong ito ay Pang-aabuso sa Susing Pang-emergency: nagiging daan ng pag-atake ang mekanismo ng pagbawi, o hindi ito magagamit sa panahon ng krisis. Para subukan ang yugtong ito, patunayan ang resulta gamit ang parehong oras, saklaw, at mga tuntuning namamahala rito, saka baguhin ang isang palagay bago itala ang resulta. Para sa panganib sa matalinong kontrata, dapat tukuyin sa isang maipagtatanggol na paglilipat ng responsibilidad kung sino ang nag-apruba nito, aling talaan ang nagbago, ano ang maaari pang bawiin, at sino ang sasalo sa lugi kung tanggihan ng susunod na kalahok ang ebidensiya.
Tatlong Kalagayang Madalas Mapagkamalan sa Panganib sa Matalinong Kontrata
Ang ibig sabihin ng panganib sa code ay lumalabag ang implementasyon sa mga nilalayong invariant nito o hindi nito wastong napangangasiwaan ang isang edge case; samantala, ang panganib sa orakulo at komposisyon ay nangangahulugang umaasa ang code na tama sa lokal na antas sa maling presyo, mensahe, asal ng token, o panlabas na estado. Nagdaragdag naman ang panganib sa pamamahala at pag-upgrade ng ikatlong kondisyon: maaaring baguhin ng mga aktor na may pribilehiyo ang asal, mga parameter, o mga asset pagkatapos ng pagsusuri. Mahalaga ang mga pagkakaibang ito dahil maaaring makakita ang dalawang gumagamit ng magkahawig na kumpirmasyon ngunit magtaglay ng magkaibang karapatan, humarap sa magkakaibang tiyempo, o umasa sa magkakaibang institusyon. Sa panganib sa matalinong kontrata, dapat tukuyin sa kapaki-pakinabang na paghahambing ang awtoritatibong talaan at ang sasalo sa lugi para sa bawat kalagayan.
Paghambingin ang panganib sa code, panganib sa orakulo at komposisyon, at panganib sa pamamahala at pag-upgrade gamit ang iisang batayan: halaga, tagal, nagamit na likididad, kung mababawi, legal na paghahabol, at natitirang lugi. Sa panganib sa matalinong kontrata, hindi awtomatikong nangangahulugan ang mas mabilis na label ng mas pinal na kalagayan, at hindi rin awtomatikong nangangahulugan ng mas mababang panganib sa ekonomiya ang mas maayos na naiulat na kita. Sa paggamit ng iisang balangkas ng pagsukat, naiiwasang mapagkamalan ang mga pagkakaiba sa tiyempo o accounting bilang tunay na pagbuti.
Mga Gastos, Insentibo, at Epekto sa Balanse ng Panganib sa Matalinong Kontrata
Dapat ibatay ang laki ng paggasta sa seguridad sa pinakamataas na halagang nanganganib at sa kung gaano kahirap bawiin ang pinsala, hindi sa presyo ng token o pagiging kapansin-pansin sa marketing. Mga magkakatuwang na patong na may magkakaibang saklaw ang mga audit, pormal na pamamaraan, pagsubaybay, at pabuya sa paghahanap ng kahinaan.
Lumilikha ng halaga sa network ang composability dahil nagagamit muli ng mga kontrata ang likididad at mga serbisyo. Lumilikha rin ito ng magkakaugnay na dependency: maaaring kumalat sa maraming protocol ang pagkabigo ng iisang orakulo o token bago pa makatugon ang pamamahala.
Pinananatili ng kakayahang mag-upgrade ang opsiyong ayusin ang mga depekto at umangkop, ngunit nagbabayad ang mga gumagamit ng dagdag na kabayaran para sa panganib sa pamamahala. Mababawasan ang dagdag na kabayarang iyon sa pamamagitan ng mga timelock, sari-saring kasaping may lagda sa multisignature, makikitid na tungkulin, limitasyon, at malinaw na mga event—nang hindi itinatangging may mga tagapangasiwa.
Kung Saan Nabibigo ang Panganib sa Matalinong Kontrata—at Kung Ano ang Dapat Unang Subukan
- Bug sa Kontrol sa Pag-access: Nakakakuha ang hindi nilalayong tumatawag ng awtoridad na mag-mint, mag-withdraw, mag-pause, o mag-upgrade. Itigil ang pagtukoy sa mga karapatan at invariant habang tinutupad ng developer ng protocol ang karaniwang obligasyon nito, saka tiyakin kung taglay pa rin ng panganib sa code ang kahulugang inilarawan sa itaas.
- Pagsasamantala sa Accounting: Lumilikha ng halagang wala naman sa simula ang pag-round, reentrancy, pagpepresyo ng share, o pagkakasunod-sunod ng estado. Itigil ang implementasyon at pagsubok habang tinutupad ng auditor ang karaniwang obligasyon nito, saka tiyakin kung taglay pa rin ng panganib sa orakulo at komposisyon ang kahulugang inilarawan sa itaas.
- Manipulasyon sa Orakulo: Kinokontrol ng pansamantala o kulang sa likididad na presyo ang pangungutang, pagpapalit, o pagpuksa ng posisyon. Itigil ang pag-audit sa naka-deploy na sistema habang tinutupad ng orakulo o panlabas na protocol ang karaniwang obligasyon nito, saka tiyakin kung taglay pa rin ng panganib sa pamamahala at pag-upgrade ang kahulugang inilarawan sa itaas.
- Pagkabigo ng Dependency: Iba ang kilos ng isang token, bridge, pool, o chain kumpara sa mga palagay. Gambalain ang yugto ng pagpapatakbo at pagsubaybay habang ginagampanan pa rin ng pamamahala at mga may hawak ng susi ang kanilang karaniwang mga tungkulin, saka tiyakin kung pareho pa rin ang kahulugan ng panganib sa code na inilarawan sa itaas.
- Pang-aabuso sa Emergency Key: Nagiging daan ng pag-atake ang mekanismo ng pagbawi o hindi ito magamit sa panahon ng krisis. Gambalain ang yugto ng pagtugon at pamamahala habang ginagampanan pa rin ng user o integrator ang karaniwang tungkulin nito, saka tiyakin kung pareho pa rin ang kahulugan ng panganib sa oracle at komposisyon na inilarawan sa itaas.
Pinakamainam na subukin ang panganib sa smart contract sa pamamagitan ng pagsasama ng depekto sa kontrol ng access at manipulasyon ng oracle, sa halip na subukin ang mga ito nang magkakahiwalay. I-freeze o antalahin ang pag-audit sa naka-deploy na sistema, gawing hindi maaabot ang pamamahala at mga may hawak ng susi, at atasan ang user o integrator na pagtugmain ang resulta batay sa address, bersiyon, mga pahintulot, simulasyon ng transaksyon, mga limitasyon, at paraan ng paglabas. Makapapasa lamang ang disenyo kung humahantong ang pagtugon at pamamahala sa iisang kalagayang maipapaliwanag, napangangalagaan ang mga karapatang kaugnay ng panganib sa oracle at komposisyon, at naitatalaga ang anumang kakulangan alinsunod sa mga tuntuning umiiral na bago ang aberya.
Halimbawa: Pagsubaybay sa Isang Insidente ng Panganib sa Smart Contract Mula Simula Hanggang Wakas
Na-audit ang isang kontrata sa pagpapautang, ngunit nagmumula sa iisang pool na mababa ang liquidity ang presyo ng kolateral nito. Pansamantalang binabago ng isang umaatake ang presyo sa pool na iyon, humihiram nang higit sa tunay na halaga ng kolateral, at umaalis bago maitama ng oracle ang presyo. Eksaktong ayon sa pagkakasulat ang naging takbo ng code ng pagpapautang; nabigo ang sistema dahil hindi ligtas ang mga palagay tungkol sa pagiging mapagkakatiwalaan ng oracle at sa liquidity. Dapat imodelo sa isang masusing pagsusuri ang buong dependency graph at limitahan ang pagkakalantad sa kolateral na madaling manipulahin.
Mapapabulaanan ang halimbawang ito sa pamamagitan ng pagbabago sa palagay na kinokontrol sa yugto ng pagpapatupad at pagsubok, o sa pag-aalis ng ebidensiyang ibinigay ng oracle o panlabas na protocol. Subaybayan ang pagbabago sa pag-audit sa naka-deploy na sistema, pagpapatakbo at pagsubaybay, at pagtugon at pamamahala; huwag dumiretso mula sa input tungo sa pangunahing resulta. Kung hindi mapatutunayan muli ang bagong kinalabasan ng panganib sa smart contract batay sa espesipikasyon, naka-deploy na source at bytecode, mga pagsubok at audit, mga parameter at tungkulin ng mga admin, mapa ng oracle at mga dependency, mga sinusubaybayang event, pagtugon sa insidente, at pagtatalaga ng mga pagkalugi, nakasalalay ang proseso sa isang pasyang hindi dokumentado o rekord na hindi naitala.
Bakit Mahalaga Ngayon ang Panganib sa Smart Contract
Napagbubuti ng pormal na beripikasyon, tuloy-tuloy na pagsubaybay, mga gantimpala sa pagtukoy ng bug, modular na paghihiwalay, at mas mahusay na simulasyon sa wallet ang seguridad ng smart contract. Kasabay nito, pinalalawak ng mga proxy na maaaring i-upgrade at mga dependency sa iba’t ibang chain ang panganib sa pamamahala. Pinakamakabuluhan ang pagsisiwalat kapag tinutukoy nito ang naka-deploy na code, mga pribilehiyadong kapangyarihan, daloy ng oracle, mga limitasyon sa halaga, at plano sa pagtatalaga ng mga pagkalugi sa wikang mabeberipika ng mga user.
Ang mahalagang aral tungkol sa panganib sa smart contract ay hindi iisang pangyayari ang pagtukoy sa mga karapatan at invariant at ang pagtugon at pamamahala. Tinutukoy ng mga pasyang ginagawa sa pagitan ng mga yugtong ito ang ipinangakong invariant sa pananalapi at ang bawat dependency sa code, datos, at pamamahala na maaaring magbago rito, samantalang maaaring magkakaibang bahagi ng rekord ang makita ng developer ng protocol at ng user o integrator. Mahalaga ang awtomasyon kapag pinabababa nito ang gastos sa pagberipika ng mga pasyang iyon; nagiging mapanganib ito kapag pinagsisiksik nito ang mga ito sa iisang status na nagkukubli sa pang-aabuso sa emergency key.
Ebidensiya sa Likod ng Panganib sa Smart Contract
Kabilang sa pangunahing ebidensiya tungkol sa panganib sa smart contract ang Balangkas sa Cybersecurity ng NIST, BIS: Mga Panganib ng DeFi sa Katatagan ng Pananalapi, at Ulat ng Komite sa Pagpapayo sa Teknolohiya ng CFTC tungkol sa DeFi. Basahin ang mga ito bilang magkakaugnay na salik: mga tuntunin at depinisyon, istruktura ng mga institusyon o merkado, at ebidensiya mula sa operasyon na kailangan upang subukin ang isang aktuwal na pahayag. Hindi dapat ituring na pamalit ang alinman sa mga ito sa mga dokumento ng produkto, account, o rekord ng transaksyong inilarawan sa itaas.
Mga Tanong na Dapat Itanong Bago Umasa sa Panganib sa Smart Contract
- Mapatutunayan ba ng developer ng protocol ang espesipikasyon, code, mga pagsubok, commit, dependency, at deployment bago ang pagpapatupad at pagsubok?
- Aling rekord ang masusunod kung hindi magkasundo ang auditor, pamamahala, at mga may hawak ng susi?
- Sino ang tutustos o sasalo sa pagkakalantad na nalikha sa pag-audit sa naka-deploy na sistema?
- Ano ang pinagkaiba ng panganib sa oracle at komposisyon sa panganib sa code, sa usaping legal at pang-ekonomiya?
- Paano matutukoy ng sistema ang pagsasamantala sa kahinaan ng accounting bago ang pagtugon at pamamahala?
- Ano ang mangyayari kapag hindi available ang oracle o panlabas na protocol, o lipas na ang ebidensiya nito?
- Matutugma ba ng isang independiyenteng tagasuri ang kinalabasan sa espesipikasyon, naka-deploy na source at bytecode, mga pagsubok at audit, mga parameter at tungkulin ng mga admin, mapa ng oracle at mga dependency, mga sinusubaybayang event, pagtugon sa insidente, at pagtatalaga ng mga pagkalugi?
Sa usapin ng panganib sa smart contract, palitan ang mga pariralang gaya ng “bahala na ang platform” ng mga tinukoy na account, kontrata, timestamp, tuntunin sa pag-apruba, at responsableng entidad. Dapat makabalik ang tagasuri mula sa pagtugon at pamamahala tungo sa pagtukoy sa mga karapatan at invariant, matukoy kung sino ang may pananagutan sa bawat rekord, at makuwenta kung sino ang sasalo sa pagkalugi bago magkaroon ng eksepsiyon.
Pangunahing Prinsipyo sa Likod ng Panganib sa Smart Contract
Pinakamalinaw na masusuri ang Panganib sa Smart Contract kung susundan ng pagsusuri ang ipinangakong prinsipyong pinansyal na dapat manatiling totoo at ang bawat pagdepende sa code, datos, at pamamahala na maaaring magbago rito sa limang yugto ng operasyon. Dapat ding beripikahin ang resulta batay sa espesipikasyon, source code at bytecode na naka-deploy, mga pagsusuri at audit, mga parameter at tungkulin ng mga administrador, mapa ng oracle at mga pagdepende, mga minomonitor na kaganapan, pagtugon sa insidente, at paghahati ng mga pagkalugi. Ipinapaliwanag ng daloy kung ano ang nagbabago; tinutukoy naman ng talahanayan ng mga kalahok kung sino ang may pahintulot na magpatupad ng pagbabagong iyon; iniiwasan ng paghahambing sa tatlong estado na mapagkamalang magkakatulad ang magkakaibang pahayag; at ipinakikita ng mapa ng mga pagkabigo kung saan dapat mabawasan ang antas ng kumpiyansa. Sa ganitong pagsasama, naihihiwalay ang tunay na pagpapabuti sa dagdag na abala o panganib na nailipat lamang sa isang di-gaanong nakikitang bahagi.
Mga Pangunahing Sanggunian tungkol sa Panganib sa Smart Contract
