Ang Ethereum ay nag-uusap tungkol sa papel ng AI sa pagpapalakas ng seguridad ng smart contract

iconIncrypted
I-share
This is the logo of the coin.
ETH
$1,883.560%
AI summary iconSummary
Inihayag ng koponan ng Ethereum ang potensyal ng AI upang mapabuti ang seguridad ng smart contract sa pamamagitan ng formal verification. Isang guest post ng lead developer ng Vyper ay ipinaliwanag kung paano ginagawang mas accessible ang mga patunay ng program correctness gamit ang mga malalaking language model. Ang formal verification ay maaaring makahanap ng mga bug na hindi matatanggap ng tradisyonal na pagsubok, lalo na sa mga high-value na smart contract. Bagaman pinapadali ng AI ang proseso, nananatili itong kumplikado at mahal. Tinalakay ng post na binabago ng AI ang dinamika ng attacker at defender, kasama ang paggamit ng formal methods upang magbigay ng mas malakas na seguridad sa mga contract.
  • Ang Ethereum ay nagbigay ng pangalan sa isang teknolohiya na maaaring palakasin ang seguridad ng smart contract sa panahon ng AI.
  • Ayon sa isang Vyper developer, ang formal verification ay nagsisiging mahalaga.
  • Nakakatulong ito sa paghahanap ng mga bug na hindi makikita ng mga pagsubok.

Ipinahayag ng team ng Ethereum network ang isang serye ng mga guest post ng pangunahing Vyper developer na may pseudonym na big_tech_sux, na nakatuon sa papel ng formal verification sa isang panahon ng mabilis na pag-unlad ng AI.

Ang may-akda ay nag-uugnay na ang pag-unlad sa LLM ay naggagawa ng mga matematikal na patunay ng pagkakatotoo ng programa na mas madaling maabot, at para sa mga smart contract na pinamamahalaan ng milyon-milyon dolyar, ang pormal na pag-verify ay unti-unting naging kailangan.

Ang Matematika ng Kasalanan: Bakit Hindi Kayang Pigilan ng Mga Bada ng Teknolohiya ang Pagsisikap sa AI
13.03.2026
Basahin ngayon

Binabago ng AI ang paraan sa pag-verify ng software

Ang serye ng mga post ay nagpapaliwanag na ang formal verification ay isang matematikal na paraan na nagpapahintulot na patunayan na gumagana nang tama ang isang programa sa lahat ng posibleng skenaryo ng pagpapatakbo, hindi lamang sa mga skenaryo na sakop ng mga pagsubok.

Halimbawa, sinipi ng may-akda ang punksiyon f(x) = x/2, kung saan maaaring matotohanang matematikal na ang resulta ay hindi maiiwasang lalampas sa halaga ng input.

Ayon sa kanya, ang metodong ito ay makakahanap ng mga napakakakaunting bug na halos imposible makita sa pamamagitan ng karaniwang pagsubok.

Ang “formal verification” ay maaaring makahanap ng 1 sa 1 quadrillion na edge cases na hindi maiiwasan sa pagsubok – at ang edge case na iyon ang maaaring magdulot ng catastrophic failure,” ayon sa may-akda.

Sambil nagsasabi siya na hanggang sa kahuling panahon, ang paggamit ng pamamaraang ito ay nangangailangan ng malalaking koponan ng mga eksperto na nagtatayo ng mga matematikal na modelo ng mga programa at nagpapatotoo ng mga kumplikadong patotoo.

Sa pananaw ng developer, ang mga modernong LLM ay nagpapadali nang malaki sa prosesong ito habang mas malapit tayo sa AGI.

Kinilala ng Punong Tagapagmaneho ng DeepMind ang petsa ng pagdating ng AGI at binigyan ng babala tungkol sa ‘Singularity’
27.05.2026
Basahin ngayon

Sambil mismo, pinahalagahan ng may-akda na kahit may AI, ang pormal na pag-verify ay nananatiling isang kumplikado at mapagkukunan-malalim na proseso. Lalo na, ang pagkakatawan ng source code sa isang pormal na modelo ay maaaring magdulot ng mga hindi tama na nakakaapekto sa katiyakan ng mga resulta.

Ang pag-unlad ng AI ay nagpapalit ng balanse sa pagitan ng pag-atake at pagtatanggol

Naglalatag ang artikulo na ang pag-unlad ng artificial intelligence ay tumutulong parehong sa epektibong pagtutol at pag-atake.

Tinalakay ng may-akda ang isang insidente kung saan ang isang hindi pa ipinakalabas na modelo ng OpenAI ay nakakahanap ng zero-day vulnerabilities na nagbigay-daan upang maibypass ang maraming layer ng proteksyon.

Sa ilalim ng ganitong konteksto, ayon sa may-akda, ang formal verification ay nagiging posible upang ilipat ang kapakinabangan sa paligid ng mga tagapagtanggol.

“Habang kailangan lang ng mga attacker na makahanap ng isang sequence ng mga input na nagpapahintulot sa kanila na pumasok sa isang sistema, ang mga tagapagtanggol ay maaaring gamitin ang pormal na pag-verify upang patunayan ang katatagan laban sa lahat ng mga input,” ayon sa kanyang pagtektek.

Kaya rito, para sa mission-critical software — kabilang ang mga smart contract na namamahala sa mga bilyon dolyar ng mga pera ng mga user — ang formal verification ay nagsisimula na ring maging “hindi isang opsyon, kundi isang kinakailangang priyoridad.”

Mahalagang tandaan na ito ay nagpapatuloy sa isang talakayan na dating binuksan ni Vitalik Buterin, co-founder ng Ethereum, tungkol sa paggamit ng AI para sa pormal na pag-verify ng code.

Ang mensahe Ethereum Explained How AI Changes Approach to Smart Contract Security ay unang lumitaw sa INCRYPTED.

Source:Ipakita ang original
Disclaimer: Ang information sa page na ito ay maaaring nakuha mula sa mga third party at hindi necessary na nagre-reflect sa mga pananaw o opinyon ng KuCoin. Ibinigay ang content na ito para sa mga pangkalahatang informational purpose lang, nang walang anumang representation o warranty ng anumang uri, at hindi rin ito dapat ipakahulugan bilang financial o investment advice. Hindi mananagot ang KuCoin para sa anumang error o omission, o para sa anumang outcome na magreresulta mula sa paggamit ng information na ito. Maaaring maging risky ang mga investment sa mga digital asset. Pakisuri nang maigi ang mga risk ng isang produkto at ang risk tolerance mo batay sa iyong sariling kalagayang pinansyal. Para sa higit pang information, mag-refer sa aming Terms ng Paggamit at Disclosure ng Risk.