Netefatso ea Semmuso: Karolo ea Tšepo e Lahlehileng Liprothokholeng tsa DeFi tsa Setheo

Netefatso ea semmuso ho DeFi ke mokhoa oa lipalo o pakang hore konteraka e bohlale e khotsofatsa thepa e hlalositsoeng ho pholletsa le naha e 'ngoe le e 'ngoe e ka khonehang, eseng feela liteko tsa liteko. Ho fapana le li-audit, khoutu ea mohlala bakeng sa mekhoa e tsebahalang ea bofokoli, e sebelisa lisebelisoa tsa ho paka theorem le tsa ts'ebetso ea tšoantšetso ho paka bonnete ka botlalo. Ka 2027, lihlopha tsa nts'etsopele ea protocol ea DeFi ea setheo li nka bopaki bona ba lipalo, eseng tlaleho ea tlhahlobo feela, e le sebaka sa 'nete sa ho nepahala ha khoutu ho ka pakoang. 

Motse-moholo oa setheo o kene DeFi ka 2026, o botsa potso e thata ho feta:

"Ke mang ea hlahlobileng sena"

Meralo ea motheo ea tsebo e se nang tsebo bakeng sa DeFi ea litsi e ile ea sebetsana le lehlakore la boitsebiso le ho latela melao ea boitsebahatso ba bothata boo, ea lumella linaha tse ling ho paka hore li fihlela litlhoko tsa KYC/AML le tumello ntle le ho pepesa boitsebiso ba tsona. Sena se entse hore matamo a lumelletsoeng le ho ba le chelete ea KYC ho sebetse hantle. Empa halofo e 'ngoe ea tšepo ea litsi e mabapi le khoutu ka boeona.

"Na e etsa hantle seo e ipolelang hore e se etsa maemong ohle a ka fihlellehang, eseng feela maemong ao tlhahlobo e hlahlobiloeng?" 

Ke potso eo netefatso ea semmuso likarabong tsa nts'etsopele ea DeFi e fanang ka eona. E fetoha kapele moeli oo litsi li o hulang pakeng tsa liprothokholo tsa DeFi tseo li tla li lefella le tseo li ke keng tsa li lefella. Bakeng sa ba rerang nts'etsopele ea prothokholo ea DeFi ea setheo, sena se hlaha e le phetoho e sebetsang. Lipotso tse sebetsang ka thata tse tsoang licheleteng le lideskeng tsa thepa ea dijithale tsa libanka li ke ke tsa fella feela ho "re bontše litlaleho tsa hau tsa tlhahlobo". Ba tla botsa ka ho eketsehileng hore na ke thepa efe e itseng e pakiloeng ka molao, ke mang, le khahlanong le litlhaloso life. Liprothokholo tse ke keng tsa araba seo ka botlalo li tla iphumana li le lipuisanong tse liehang le tse nang le lipelaelo le balaoli ho feta tse ka khonang. 

Netefatso ea semmuso nts'etsopele ea DeFi ha e pake feela polokeho. E boetse e bontša hore na ke likarolo life tsa boitšoaro ba protocol tse behiloeng ka mokhoa oa lipalo ka khoutu khahlanong le tse ntseng li le tlas'a taolo ea motho. Ena ke mofuta oa ho hlaka ha ts'ebetso eo SEC e e batlang ha e botsa hore na ke mang ea laolang thepa hantle. Re hlahloba hore na seo se bolela'ng bakeng sa li-vault le li-protocol tsa kalimo ho tataiso ea rona mabapi le ho aha li-platform tsa kalimo tsa DeFi tse lumellanang.

Netefatso ea Semmuso ho DeFi ke Eng, Hona e Fapana Joang le Tlhahlobo?

Tlhahlobo e bohlale ea konteraka ke tlhahlobo ea letsoho ea liprothokholi tsa DeFi moo baenjiniere ba tšireletso ba balang khoutu, ba leka khahlanong le mekhoa e tsebahalang ea tlhaselo, 'me ba tšoaea bofokoli ba nakong e fetileng. Leha ho le joalo, e ntse e le boikoetliso ba ho nka mehlala boo bahlahlobi ba ka bo hlahlobang feela bakeng sa maemo le linyeoe tse mpe tseo ba tsebang ka mafolofolo hore ba li batle. 

Netefatso ea semmuso ho DeFi, ka lehlakoreng le leng, ke bopaki ba lipalo. Ho e-na le ho batla liphoso tse tsebahalang, baenjiniere ba ngola litlhaloso tse thata tsa semmuso, tse kang "likarolo tsohle li ke ke tsa feta li-depositi tsohle". Ebe ba sebelisa ts'ebetso ea tšoantšetso kapa lisebelisoa tse pakang theorem ho paka hore konteraka e ke ke ea tlōla melao eo tlas'a tatellano efe kapa efe ea li-input kapa litšebelisano tsa mmuso. 

Hobaneng Phapang e le ea Bohlokoa Nts'etsopele ea Protocole ea DeFi ea Setheo

Litlhahlobo tsa ts'ireletso tsa setso tseo lihlopha tsa nts'etsopele ea protocol ea DeFi li itšetlehileng ka tsona ho fihlela joale li fumana seo mohlahlobi ea koetlisitsoeng kapa sekenara se thusoang ke AI se se bonang ha se bonoa. Netefatso ea semmuso ho DeFi e hahiloe bakeng sa mokhoa oa ho hloleha oo tlhahlobo e sa o hloloheng ka mokhoa o hlophisitsoeng. E ka ba mabaka a bonahalang a utloahala ka mokhoa o sa utloahaleng empa a robeha tlas'a phetoho ea mmuso eo ho seng motho ea nahanang hore o tla e leka ka letsoho. Ke ka lebaka leo netefatso ea semmuso e ntseng e tsejoa kapele e le lera la tšepo le sieo sehlopheng sa DeFi sa mekhatlo.

Bongata ba mekhoa e tsebahalang haholo ea protocol ha se liphoso tse bonolo tsa syntax. Ke liphoso tsa khoebo tse fetisitseng tlhahlobo e 'ngoe le e 'ngoe hobane khoutu e ne e bonahala e utloahala ho bahlahlobi ba batho. Netefatso ea semmuso nts'etsopele ea protocol ea DeFi ha e bale khoutu ho etsa maikutlo. E paka ka lipalo hore na thepa e na le maemo afe kapa afe a ka khonehang. 

Hobaneng ha Baabi ba Metse-kholo ba Setheo ba Qala ho Batla Netefatso ea Semmuso?

Bakeng sa lichelete tse abelang bareki chelete, "re fetisitse tlhahlobo ea lichelete" ha e sa le lets'oao la ho tšepana leo e kileng ea e-ba lona. Litšusumetso tse tummeng tse tsoang ho Euler Finance ka 2023 ho ea ho Resolv Labs, Drift Protocol le KelpDAO ka 2026, li ile tsa ama liprothokholo tse seng li ntse li hlahlobile lihlahlobo tse ngata tse hlomphehang tsa ts'ireletso. Mokhoa ona o ile oa qobella likomiti tsa kotsi tsa mekhatlo ho lekola bocha maemo a tsona.

Melao ea Boto, Kotsi ea Fiduciary, le Bar ea "Prove It"

Maboto a amohelang diprothokholo tsa setheo sa DeFi a ntse a sheba tshireletso ka lense ya tshepo.

• Tlhahlobo e paka hore sehlopha se nang le bokgoni se hlahlobile khoutu bakeng sa bofokodi bo tsebahalang.
• Netefatso ea semmuso e paka hore sete e itseng ea thepa e ke ke ea tlōloa tlas'a boemo bofe kapa bofe.

Bakeng sa komiti ea kotsi e ikarabellang ho balaoli kapa liboto tsa kahare, ke phapang pakeng tsa

 "re hlahlobile tšireletso ea morekisi oa rona oa DeFi oa setheo"

'me

"Re ka hlahisa bopaki bo ka netefatsoang ba lipalo." 

Ka lebaka leo, litsi tse kenang nts'etsopele ea DeFi e nang le setheo kapa e lumelletsoeng li ntse li batla ka bobeli:

• Tlhahlobo ea ho bapisa mekhoa le mekhoa e tsebahalang.
• Netefatso ea semmuso bakeng sa ho latela melao ea motheo le liphetoho tse sa fetoheng tsa paballo ea chelete.

Ho Bokgoni ba Motse-moholo, Eseng Kotsi Feela

Phetoho ena e lebisang netefatsong ya semmuso bakeng sa ntshetsopele ya protocol ya DeFi ya setheo e susumetswa ke moruo hammoho le taolo ya dikotsi. Dihlahiswa tse hlophisitsweng ke setheo, tse kang dikoloi tsa ditjhelete tse nang le matshwao, di-vault tsa mokitlane tse tshehetswang ke RWA, le mananeo a dumellwang a ho beha di-staking di kenya tjhelete e ngata sete e nyane ya dikontraka tsa mantlha.

Ha batho ba limilione ba nang le chelete e ngata ba ntse ba tšehetsa mesebetsi e 'maloa ea konteraka e bohlale, litšenyehelo tsa ho netefatsa ka molao litsela tseo tse tobileng tsa ts'ebetso ha li na thuso ha li bapisoa le kakaretso ea chelete e kotsing. Baabi ba mekhatlo ba nka netefatso ea semmuso e se litšenyehelo tse eketsehileng, empa e le tlhahlobo e lekanang. 

Kamoo Netefatso ea Semmuso e Sebetsang Kateng

Netefatso ea semmuso ha se sesebelisoa kapa mokhoa o le mong empa ke sesebelisoa se ikhethileng moo mekhoa e fapaneng e shebaneng le likarolo tse fapaneng tsa stack ea protocol ea DeFi.

Mekhoa ea Bohlokoa e Hlalositsoe

• Phethahatso ea Tšoantšetso: E phethahatsa litsela tsa khoutu ka ho sebedisa diphetoho tsa tshwantshetso (tse sa tsejweng) ho ena le dikenyo tse tsitsitseng tsa teko. Sena se hlahloba ka mokhoa o hlophisehileng lekala le leng le le leng la tshebetso leo mosebetsi o ka le nkang, ho ena le maemo a mmalwa feela ao mongoli wa teko a neng a nahana ho a hlahloba.
• Netefatso e Thehiloeng ho Eona: E hlalosa litšobotsi tsa mantlha tsa lipalo tse lokelang ho lula li le 'nete ka linako tsohle, joalo ka 
  • kakaretso ea phepelo e lokela ho lekana le litekanyo tsohle
  • karolelano ea thepa e ke keng ea theoha ka tlase ho 150%

E boetse e laela le ho paka hore khoutu e ke ke ea li tlōla tlas'a tatellano efe kapa efe ea litšebelisano.

• Ho paka khopolo-taba: E sebelisa litsamaiso tsa semmuso tsa logic ho paka hore konteraka e bohlale e khomarela litlhaloso tsa eona ka tieo. Ho e-na le ho etsa liteko khahlanong le linyeoe tse ka thoko, e theha bopaki bo felletseng ba lipalo, bo tšoanang le ho paka khopolo-taba ea jeometri.

Lisebelisoa tse Tloaelehileng tsa Indasteri Bakeng sa Netefatso ea Semmuso ea Liprothokholi tsa DeFi tsa Setheo

• Certora Prover: Ke enjene e tloaelehileng ea khoebo bakeng sa netefatso e sa fetoheng ho DeFi, e sebelisoang haholo ke liprothokholo tsa TVL tse phahameng ho paka bokhoni ba ho rarolla mathata le thepa ea taolo ea phihlello.
• Moralo oa K: E emela moralo oa motheo, oa puo ea litlhaloso o ratoang bakeng sa netefatso ea protocol e tebileng ea mochini oa virtual le ea lera la motheo.
• Halmos & Fumana: Lienjine tsena tsa ts'ebetso ea tšoantšetso li hokahana ka ho toba le li-suite tse tloaelehileng tsa liteko, li tlisa mekhoa ea semmuso ho li-workflow tsa baqapi ntle le ho hloka puo ea litlhaloso e ikemetseng.

Hlokomela: Lisebelisoa tsa netefatso ea semmuso ha li nke sebaka sa li-audit tsa ts'ireletso tsa setso. Li sebetsa hammoho le tsona ho koahela lintho tse sa fetoheng tsa boemo bo tebileng tseo litlhahlobo tsa letsoho le liteko tsa yuniti li ke keng tsa li hlahloba ka botlalo.

Mosebetsi oa 'Nete o Qala Mokhahlelong oa Moralo oa Protocol ea DeFi ea Setheo

Ha e le hantle, netefatso ya semmuso e qala kgale pele khoutu ya tlhahiso e ngolwa. Baenjiniere le balekane ba ntshetsopele ya DeFi ba setheo ba tlameha ho dumellana ka dintho tse sa fetoheng tsa motheo tsa protocol jwalo ka dikarolelano tsa ho solvency, meedi ya phihlello, ntlafatso ya tshireletso, jj. mme ba di fetolele ho di-specification tse ka hlahlojwang ke mochini.

Ho ngola litlhaloso tsena tsa semmuso, tse kenyeletsang ho fetola mohopolo o rarahaneng oa khoebo ho ba mefuta e sa fetoheng ea lipalo e ka hlahlojoang ke mochini, hangata ho thata ho feta ho tsamaisa lienjene tsa prover. Ho qobella bathehi ba protocol le balekane ba bona ba nts'etsopele ea DeFi ho theha litlhaloso tse nepahetseng, tsa lipalo bakeng sa seo 'boitšoaro bo nepahetseng' bo se bolelang, ho tlosa ho itšetleha ka likhopolo tse sa tobang tsa moqapi. 

Seo U ka se Batlang ho Molekane oa Netefatso ea Semmuso le Nts'etsopele ea DeFi

Netefatso ea semmuso ho DeFi e hloka tsebo e fapaneng haholo le tlhahlobo ea likonteraka tse bohlale tsa setso. Ho ngola litlhaloso tse ka lekoang ka mochini ke thuto e ikhethang eo lihlopha tse fanang ka tlhahlobo e bonolo ea ho bapisa lipaterone li sa hlomelloang ho e sebetsana le eona ka tlung.

Ha o hlahloba molekane bakeng sa kaho ea DeFi ea setheo, beha pele sehlopha se bonts'ang bokhoni bo latelang:

• Moralo oa Litlhaloso tsa Ka Hare ho Ntlo: Ba tlameha ho ngola le ho sireletsa litlhaloso tsa semmuso ka lipalo hammoho le nts'etsopele ea khoutu e sebetsang, ho e-na le ho nka netefatso e le mohopolo oa morao o khomaretsoeng konteraka e felileng tlas'a khatello ea nako ea ho qetela.
• Bokgoni ba Meralo ea Prover: Ba tlameha ho sebelisa lisebelisoa tse tsoetseng pele ka boqhetseke, tse kang Certora, K Framework, kapa Halmos, ho fetolela mokhoa o rarahaneng oa lichelete le oa ho latela melao hore e be melao e ka netefatsoang ke mochini.
• Kopanyo ea Meaho e Sebetsang ka Bohato: Ba tlameha ho kenya moralo o sa fetoheng ka kotloloho mokgahlelong wa pele wa meralo ya protocol ya DeFi ya setheo e le hore thepa ya mantlha ya protocol ya hao e ka pakwa ho tloha Letsatsing la Pele.

Ena ke tekanyetso e nepahetseng eo Antier e sebetsang ho meaho ea DeFi ea maemo a setheo. Ha re tsamaise li-scanner tsa software feela. Re fetolela mokhoa o rarahaneng oa protocol hore e be lintho tse sa fetoheng tsa lipalo, re fa likomiti tsa kotsi tsa setheo le balaoli bopaki bo nepahetseng ba ts'ireletso eo ba e hlokang.

Netefatso ea Semmuso le Litebello tsa Taolo

Ha ho na molaodi e moholo ya laelang netefatso ya semmuso ka lebitso hajwale. Ho ena le hoo, meralo e kang DORA le MiCA ya EU, Project Guardian ya MAS, le dibuka tsa melao ya theknoloji ya VARA kaofela di hloka taolo ya dikotsi tsa tekheniki tse ngotsweng, tse ka hlahlojwang, le tse ikgethang hodima dikontraka tse bohlale le ditsamaiso tsa bohlokwa. 

Moelelong oo, netefatso ya semmuso e se e fetoha tsela ya mmaraka ya ho fihlela ditebello tseo. E fa ditheo le batsamaisi pono e nepahetseng, e ka hlahlojwang ke mochini hore na ke dikarolo dife tsa boitshwaro ba protocol ya DeFi tse hlophisitsweng ka dipalo ka khoutu mme di dula di le tlasa boikgethelo ba motho.

Antier e kenya melao ya tikoloho mohatong wa dipehelo e le hore thepa ya hao e netefaditsweng ka molao e tsamaellane ka ho toba le seo balaodi le batsetedi ba ditheo ba se lebeletseng. 

Ntlha ea Bohlokoa bakeng sa Bahahi ba Protocol ea Setheo

Litšireletso tsa ZK ho DeFi ea setheo li rarolla boitsebahatso le ho latela melao ea tsamaiso. Netefatso ea semmuso e rarolla kotsi ea ts'ebetso ea khoutu. Hammoho, li etsa sehlopha se felletseng sa litšepo seo baabi ba lichelete ba setheo ba se hlokang. Mekhoa ea DeFi ea setheo e bonts'ang litlaleho tsa tlhahlobo ea setso feela e tla tobana le mesebetsi ea taolo e liehang, ha e bapisoa le e bonts'ang bopaki ba lipalo.

Na u se u loketse ho haha ​​​​protocol ea DeFi ea setheo e pakiloeng ka lipalo? Hore na u ntse u haha ​​​​sebaka se secha sa polokelo ea setheo kapa u ntse u hlahloba 'mapa oa hau oa ts'ireletso oa hajoale, bukana puisano ea tekheniki le Antier ho buisana ka moralo oa pele o etselitsoeng tekanyetso ea hau le kemiso ea nako.