Vitalik Buterin: Hindi sisirain ng AI ang cybersecurity—Bakit nananatili pa siya sa 90% ng kanyang kayamanan sa crypto

Vitalik Buterin: Hindi sisirain ng AI ang cybersecurity—Bakit nananatili pa siya sa 90% ng kanyang kayamanan sa crypto

Kustom na Larawan

Ipinaglalaban ni Vitalik Buterin na maaaring palakasin ng AI ang cybersecurity sa pamamagitan ng formal verification

Ang co-founder ng Ethereum, Vitalik Buterin, ay pinaliwanag ang paglalaban sa paglalagay na ang advanced na artificial intelligence ay gagawing hindi matatalo ang cybersecurity. Sa isang detalyadong post sa X noong September 16, 2026, sinabi niya na ang cybersecurity ay nananatiling benepisyoso sa panlaban kung gagamitin ang mga masusing paraan at na ang patuloy na paghawak ng cryptocurrency ay isang implicit na taya sa resultang ito. Binanggit niya na ang cryptocurrency ay nagsisilbing halos 90 porsyento ng kanyang sariling net worth. Ang mga komento ay dumating habang patuloy ang mas malawak na pag-uusap tungkol sa mga AI-powered na pag-atake sa digital infrastructure at sumunod sa isang nakaraang pagpapalit ng mga opinyon kung saan tinanggihan niya ang mga pagbibilang ng malaking pagbaba ng presyo ng Bitcoin na dulot ng mga pagkabigo sa seguridad.
 
Ang posisyon ni Buterin ay nakatuon sa potensyal ng AI-assisted formal verification upang patunayan na ang mga kumplikadong software ay sumasapat sa mga tumpak na definidong security properties, na nagpapalit sa balanse mula sa reactive bug hunting patungo sa proactive mathematical assurance. Ang pananaw na ito ay may malaking timbang para sa Ethereum, kung saan ang scalability at privacy upgrades ay nangangailangan ng mas mataas na tiwala sa underlying code. Ang mga pahayag ni Vitalik Buterin noong Setyembre 2026 ay nagtataguyod na ang AI ay hahawak sa mga tagapagtanggol sa pamamagitan ng formal verification ng software security properties, isang paniniwala na pinatibay ng kanyang patuloy na pag-alok ng halos 90 porsyento ng kanyang personal na net worth sa cryptocurrency assets.

Direktong pagtutol ni Vitalik laban sa mga alegasyon na ang AI hacking ay nagtatapos sa cybersecurity

Sa kanyang X post noong September 16, 2026, tinatalakay ni Vitalik Buterin ang isang palaging mas karaniwang pananaw na ang AI-driven hacking ay magdudulot ng pagkabigo sa cybersecurity. Nagkakaibigan siya, sinasabi na natural na defense-favoring ang cybersecurity kung ang mga miyembro ay maglalapat ng disiplinadong paraan. Direktang kinalink niya ang pagtataya na ito sa pagmamay-ari ng cryptocurrency, isinusulat na ang sinuman na patuloy na nagtatago ng cryptocurrency, kabilang siya mismo, na may higit sa 90 porsyento ng kanyang net worth, ay implisitong nagtatala sa katotohanan ng mga ligtas na digital na sistema. Isinabing ni Buterin ang isyu hindi bilang isang hindi maiiwasang offensive advantage para sa mga attacker kundi bilang isang problema sa transisyon na maaaring lutasin ng masusing inhinyero.
 
Ipinakita niya ang pormal na pag-verify bilang praktikal na daan, at sinasabing ang sapat na kayang AI systems na makapagpatunay ng mahirap na matematikal na resulta ay maaari ring magtakda na ang isang ibinigay na programa ay sumusunod sa kanyang security specification. Dumating ang post sa gitna ng pag-aalala ng industriya tungkol sa automated na paghahanap ng vulnerabilities, ngunit pinanatili ni Buterin na ang parehong kakayahan na nagpapabilis ng mga pag-atake ay maaari ring magpabilis sa pagbuo ng mga patunay na isara ang mga attack surfaces na iyon nang permanenteng. Ang pagpapaliwanag na ito ay itaas ang personal na pagkakaloob ng kapital mula sa simpleng pagpili ng portfolio bilang isang pampublikong signal ng teknolohikal na paniniwala.

Pormal na Pagpapatotoo bilang Matematikal na Daan upang Patunayan ang Kaligtasan ng mga Programa

Batay sa core technical claim ni Buterin ang formal verification, ang paggamit ng matematikal na spesipikasyon at patunay upang ipakita na ang software ay tumutugon sa mga nakapaghuhusgang katangian sa lahat ng kaugnay na estado, hindi lamang sa pagsubok ng ilang skenaryo. Sinabi niya na kung ang AI ay kayang patunayan ang mga resulta tulad ng mga equation ng Navier-Stokes o ang Huling Teorema ni Fermat, ang parehong kakayahan sa pag-iisip ay kayang patunayan na ang isang ibinigay na programa ay ligtas, kahit na ang programa mismo ay kumplikado. Matagal nang ginamit ang formal verification sa mga mataas na antas ng seguridad tulad ng aerospace at cryptography; ang bagong pananaw ni Buterin ay ang AI ay bumababa sa gastos at lumalawak ang sakop ng mga patunay na maaaring gawin.
 
Kapag isinuri at tinanggap ng machine ang isang patunay, nananatili itong permanenteng bahagi, samantalang ang isang attacker na natutuklasan ang isang dating hindi kilalang vulnerability ay isang one-time event lamang. Ang asimetriyang ito ang nagtataguyod ng pangakong palaging nasa kahihintay ang cybersecurity sa mahabang panahon. Ang paraan na ito ay hindi nagtatanggal ng pangangailangan para sa maingat na pagsusulat ng spesipikasyon; ito ay nagpapalakas ng epekto ng mabuting isinulat na mga spesipikasyon. Sa pagtrato sa mga security claim bilang mga matematikal na teorema, lumilipat ang mga developer mula sa probabilistikong tiwala batay sa coverage ng pagsubok patungo sa deterministikong pagpapatotoo sa loob ng hangganan ng napiling modelo. Ang paglipat na ito ay lalo na may kahalagahan para sa mga blockchain system kung saan ang isang simpleng kamalian ay maaaring mag-apekto sa malalaking halaga ng yaman. Kaya, binabago ng argumentong ito ang AI mula sa isang purong banta patungo sa isang dual-use tool kung saan ang kanyang defensive application ay maaaring magdomina kung ang industriya ay mag-invest sa kinakailangang kasangkapan at disiplina.

Pagsasakilos ng Seguridad sa Kabuuan ng Mga Susi, Mga Server, Mga Operating System, at Buong Stack

Isang mahalagang pagbabala sa pag-iisip ni Buterin ay ang kahulugan ng “secure” ay dapat sariling ipinakikilala sa sapat na lawak. Maaaring lumampas sa isang libong linya ang mga depinisyon ng seguridad dahil kailangan nilang tugunan ang pamamahala ng susi, pagsabog ng server, integridad ng operating-system, mga database, mga network layer, mga cache, leakage sa side-channel, at mga panganib sa supply-chain. Ang mga matematikal na patunay ay nagpapatotoo lamang sa mga katangian na eksplisitong isama; ang mga panganib na nasa labas ng modelo ay hindi pa rin tinutugunan. Kaya’t tekad ni Buterin na ang AI ay maaaring tumulong hindi lamang sa paggawa ng mga patunay kundi pati na rin sa pagsusuri ng mga spesipikasyon para sa kakulangan at pagpapalakas nito bago ang pag-deploy.
 
Ang praktikal na epekto ay ang mga koponan ay hindi makakapaglimita ng mga pagsisikap sa pag-verify sa mga hiwalay na security-critical na komponente; kailangan nilang sakop ang mga interaksyon sa pagitan ng mga komponente. Ang ganitong full-stack na pananaw ay tumataas ang antas ng inhinyeriya ngunit tumaas din ang hangganan ng tiwala. Para sa mga sistema na nagtatagpo ng mataas na scalability kasama ang mga tampok ng privacy, ang hindi kompletong depinisyon ay nagiwan ng mga residual na attack surfaces na maaaring i-exploit ng automated na mga kasangkapan. Sa pamamagitan ng pagtitiyak sa komprehensibong depinisyon, inililipat ni Buterin ang atensyon mula sa mga nakakapanood na tagumpay sa pag-atake patungo sa mas tahimik na gawain ng kalidad ng spesipikasyon. Ang resulta ay isang mas realistiko na pagtataya sa kapangyarihan at mga limitasyon ng mga pormal na paraan sa mga kumplikadong production na kapaligiran.

Ang Maraming Taon ng Direksyon ng Ethereum patungo sa AI-Enabled Full-Stack Verification

Sinabi ni Buterin na ang pag-unlad ng ethereum sa mga darating na taon ay magiging daan sa formal-verification na kanyang ilarawan. Ang mga blockchain system na naglalayong makamit ang scalability at privacy features ay partikular na nangangailangan ng ganitong pundasyon; nang walang mas malakas na pangako sa software security, ang mga feature na ito ay maaaring magpalawak kaysa magpaliit ng attack surface. Ang panel ng pag-aaral ng Ethereum Foundation ay nagsimula nang ituring ang formal verification bilang cross-cutting tooling sa ilang mahahabang track ng protocol. Ang mga security team ay nagsimula nang gamitin ang AI agents upang suriin ang protocol code at mag-reproduce nang independiyente ng vulnerabilities, ayon sa ulat mula sa crypto.news noong Setyembre 17. Ang mga mananaliksik ay nagtatrabaho patungo sa mga arkitektura kung saan ang mga validator ay veripikahin ang succinct execution proofs kaysa i-re-execute ang bawat block.
 
Ang karagdagang pagsisikap ay nagkakaisa ang AI agents kasama ang machine-checked proofs para sa client implementations, protocol compliance, at zero-knowledge virtual-machine infrastructure. Ang mga inisyatibong ito ay nagsasangkot sa mas malawak na teknikal na roadmap na naglalagay ng formal verification kasama ang privacy, zero-knowledge proofs, at post-quantum protection. Ang direksyon ay nagpapakita ng pagkilala na ang karaniwang pagsubok at pagmamasid ng tao ay hindi na magkakaroon ng scalability sa karamihan ng kumplikadong mga upgrade ng protokolo sa susunod na henerasyon. Sa pamamagitan ng pagtatanim ng verification sa research agenda, ang ethereum ay nagpapahinga upang makuha ang mga kakayahan ng AI bilang isang defensive multiplier kaysa sa simpleng tumugon sa offensive advances. Ang maraming taong panahon ay nagpapakita na ang transisyong ilarawan ni Buterin ay isang engineering program, hindi isang pagsisilip sa isang gabi.

Mga Umusbong na Proyekto na Nagpapakita ng Mga Pirmadong Binibigkas na Kriptograpikong Mga Bloke

Mga konkretong proyekto ay nagsasalarawan na ng pagkakaroon ng diskarte. Ang Arklib ay nagpapaunlad ng isang pormal na pinatotohanang implementasyon ng STARKs, isang pangunahing pamilya ng zero-knowledge proof systems, sa loob ng Lean theorem prover. Ang bawat komponente, mula sa polynomial arithmetic hanggang sa FRI protocol at Merkle commitments, ay may layuning magkaroon ng machine-checked proofs ng correctness. Isang kaugnay na pagsisikap, ang evm-asm, ay nagtatayo ng isang Ethereum Virtual Machine abstraction na disenyo para sa formal analysis. Karagdagang gawain ay sumasakop sa Rust-to-Lean verification pipelines na naglalabas ng production cryptographic code, nagpapagawa ng mga spesipikasyon, at nagtatapos ng proof obligations gamit ang AI provers habang nananatili ang kernel-checked soundness.
 
Ang mga ulat mula sa mid-2026 at mga update sa September ay nagpapatotoo sa aktibong pagsasapilitan ng sum-check protocols, Spartan, Merkle trees, FRI-related coding theory, at iba pang primitives. Ipapakita ng mga pagsisikap na ito na ang end-to-end verification ng mahalagang kriptograpikong infrastruktura ay nagpapalaya mula sa isang research prototype patungo sa isang muling gamitin na library. Ang pagkakaroon ng ganitong mga proyekto ay nagbibigay ng empirikal na batayan para sa pagkakahawig ni Buterin na ang kinakailangang mga kasangkapan ay lumalabas. Maaaring suriin ng mga developer ang mga pampublikong repository at release notes upang masukat ang kasalukuyang sakop at mga natitirang puwang. Ang pag-unlad sa mga library na ito ay bumabawas sa marginal cost ng paggamit ng formal methods sa mga bagong komponente ng protocol at nagbibigay ng muling gamitin at napatotohanang mga bloke para sa mas mataas na antas ng mga sistema.

Personal Wealth Allocation bilang Eksplisit na Taya sa Defensive Technology

Nag-uugnay nang paulit-ulit ang Buterin ang kanyang teknikal na pananaw sa personal na pagkakaloob ng kapital. Sa pagpapahayag na halos 90 porsyento ng kanyang kabuuang yaman ay nananatili sa cryptocurrency, ipinakita niya ang patuloy na pagmamay-ari bilang isang implicit na taya na maaaring gawin ang mga napakaligtas na digital na sistema kahit na may mas malakas na automated na mga attacker. Ang numero ay lumabas sa cybersecurity post noong Setyembre 16 at sa mas maagang tugon noong Setyembre 7 sa mga paghula ng malaking Bitcoin price pagbaba. Ipinaliwanag ng kasabay na balita na ang pahayag ay hindi nangangahulugan ng isang purong Bitcoin position; ang karamihan sa kilalang mga pagmamay-ari ay nasa ether at kaugnay na mga asset, kaya ang exposure ay pinakamabuting maunawaan bilang isang malawak na pagkakatotoo sa katatagan ng mga decentralized na sistema.
 
Ang market data noong Setyembre 17 ay naglagay ng bitcoin malapit sa 76,000 dolyar at ether malapit sa 2,400–2,460 dolyar, na nagpapakita ng sukat ng halaga na kaugnay sa mga ipinapalagay na seguridad na ito. Ang pagpapahayag ay gumagawa bilang isang data point na may mataas na signal dahil ito ay voluntary na inilabas ng isang pangunahing tauhan kung saan ang kanyang teknikal na pagpapasya ay nakakaapekto sa direksyon ng protocol. Maaaring mag-cross-reference ang mga mambabasa sa wealth statement na ito kasama ang on-chain transparency reports at mga nakaraang komento kaugnay sa foundation upang mabuo ang kanilang sariling pananaw tungkol sa konsistensya. Ang pagkakaugnay ng kapital at paniniwala ay nagbibigay ng isang praktikal na halimbawa kung paano maipapahayag ang tagal na pagkakaroon ng pag-asa sa seguridad sa labas ng mga purong pananaliksik.

Kahit sa unang bahagi ng Setyembre, ang exchange sa panganib ng AI sa pangunahing seguridad ng bitcoin

Noong Setyembre 7, 2026, sumagot si Buterin sa isang pagtataya ni investor na si Liron Shapira na nagbigay ng 50 porsyento na posibilidad na bumaba ang bitcoin ng higit sa 50 porsyento sa loob ng dalawang taon dahil maaaring pabagsakin ng artificial intelligence ang mga suposisyong pangseguridad. Sumagot si Buterin sa kabaligtaran, sinasabi niya na nananatiling optimista siya tungkol sa cybersecurity sa mahabang panahon at itinuturing ang pangunahing hamon bilang pagpapamahala sa paglipat. Inaasahan niya na makakahandle ang bitcoin sa mga isyu na hindi nangangailangan ng malawakang sosyal na kasunduan, tulad ng mga pagbabago sa client o mining-pool, at isinilang ang napakababang posibilidad ng mga fundamental na pagbabreak sa hashing functions o proof-of-work.
 
Napansin niya na ang kanyang mga umiiral na panatilihin ay nagsisilbing katumbas ng malaking taya laban sa senaryo ng pagbagsak, muli siyang binanggit ang apirksimadong 90 porsyento na yaman. Ang mga nakaraang komento ay nagtataguyod ng pagpapatuloy: ang huling post tungkol sa formal-verification ay hindi isang isoladong reaksyon kundi isang pagpapalawig ng isang pare-parehong teorya sa seguridad. Kasama ng dalawang pahayag, nabubuo ang isang malinaw at koheryenteng pribadong posisyon na sumasaklaw sa parehong maikling panahon na kuwento ng panganib sa presyo at mas mahabang panahon na istrukturang estratehiya.

Mga Resulta para sa Mga Pagsusulong sa Skalabilidad at Pribasidad sa Mga Blockchain Network

Ang mga sistema na naglalayong magkaroon ng mataas na throughput at malakas na mga katangian ng privacy ay nagpapalawak ng surface na dapat pag-angkinan. Ang zero-knowledge proof, recursive proof systems, at kumplikadong state-transition logic ay nagdadala ng mga subtileng kinakailangan sa kawastuan na ang konbensyonal na pagsubok ay nahihirapan pangumitain. Ang formal verification ay nag-aalok ng daan patungo sa mas mataas na antas ng pagkakatiyak dahil ang mga claim sa seguridad ay maaaring ilarawan nang matematikal at tsekehan nang mekanikal. Ang argumento ni Buterin ay nagpapahiwatig na nang walang pag-unlad sa verification tooling, ang mga ambisyosong roadmap para sa scalability at privacy ay nakakaranas ng mas mataas na residual risk. Sa kabilang banda, ang matagumpay na paggamit ng AI-assisted proofs ay maaaring magbukas ng mga tampok na iyon nang mas tiyak.
 
Ang mga pagsusuri ng ethereum ay nagsasama na ang pag-verify bilang isang suportang imprastruktura para sa mga layuning ito. Ang praktikal na kahihinatnan ay ang mga koponan ng protokol ay kailangang mag-alok ng pagpapahalaga sa pagpapabuti ng spesipikasyon at sa imprastruktura ng patotoo habang parehong nagtatrabaho sa pagpapabuti ng performance. Kaya, ang mga tagapag-ugnay sa merkado na nag-e-evaluate ng kalusugan ng protokol sa mahabang panahon ay maaaring suriin ang kasaganaan ng mga library ng pag-verify at ang integrasyon ng mga napatotohanang komponente sa mga production client bilang mga nagtataguyod na indikador ng handa sa pagtatanggol. Ang pananaw na ito ay naglilipat ng atensyon mula sa mga purong kuantitatibong pagsukat tulad ng mga transaksyon bawat segundo patungo sa mga kwalitatibong pagsukat ng depth ng pagtitiyak.

Pagsasapalaran ng Mabilis na Mga Kakayahan sa Pag-atake kasama ang mga Pag-unlad sa Mga Kasangkapan sa Pagtatanggol

Maaaring pabilisin ng mga sistema ng Frontier AI ang paghahanap ng mga vulnerability at pagdidisenyo ng mga serangan, ayon sa mga pagpapahayag ng maraming organisasyon sa pananaliksik. Ipinahayag ng Anthropic at iba pang mga laboratorio na ang mga modelo ay nakakatuklas ng malaking bilang ng mga kakulangan. Hindi kinikilala ni Buterin ang ganitong offensive na pag-unlad; sinasabi niya na ang parehong pag-unlad sa machine reasoning ay maaaring bawasan ang gastos sa pagbuo ng mga formal proof at sa pagpapabuti ng mga security specification. Ang desisibong salik ay naging institutional at engineering discipline kaysa sa raw na kapasidad ng modelo. Kapag umiiral na ang mga proof at check ng machine, patuloy silang umiiral; ang bawat exploit ay nananatiling hiwalay na pangyayari.
 
Ang asimetrang ito ay sumusuporta sa pananaw na ang depensa ay maaaring muling makakuha at panatilihin ang kalamangan kung ang mga koponan ay mag-invest sa mga kinakailangang paraan. Maaaring suriin ng mga obserbador sa industriya ang ratio ng mga veripikadong kritikal na komponente sa kabuuang kritikal na surface area bilang isang konkretong sukat ng progreso. Kaya ang mga pahayag noong Setyembre ay naglalayon bilang isang teknikal na pagbubuod at isang tawag sa industriya na mag-organisa sa paligid ng veripikasyon, hindi lamang sa paghahanap at pagtugon.

Space Context para sa Mga Mataas na Pagkakatiyak na Paraan sa Code na Mahalaga ang Halaga

Ang mga pormal na paraan ay karamihan ay nakareserba para sa mga domain kung saan ang gastos sa pagkabigo ay ekstremo. Ang mga cryptographic library, consensus-critical code, at zero-knowledge circuits ay kasalukuyang nasa kategoryang iyon dahil sa pinansyal at sistemik na halaga na ipinoprotektahan nila. Ang pagkakaroon ng mga muling gamit at napatunayang library tulad ng Arklib at suportang verification pipelines ay nagpapakita na bumababa ang hadlang sa pagpasok. Ang tulong ng AI ay karagdagang nagpapababa sa pangangailangan para sa espesyalistang puwersa sa maraming proof obligations habang pinapanatili ang tamang pagiging maaasahan sa pamamagitan ng kernel checking.
 
Ang desisyon ng Ethereum na gamitin ang formal verification bilang cross-cutting tooling ay nagpapakita ng pagkilala sa pagbabagong ito. Ang iba pang blockchain ecosystems at mga operator ng tradisyonal na financial infrastructure ay nakakaranas ng katulad na presyon habang lumalago ang mga automated attack tools. Ang talakayan noong Setyembre 2026 ay nakakatulong sa mas malawak na usapin tungkol sa angkop na antas ng assurance para sa software na nagpapatakbo sa mga digital asset systems. Maaaring suriin ng mga practitioner ang pampublikong progreso ng Lean-based cryptographic formalizations at Rust-to-Lean extraction pipelines upang masukat ang kasalukuyang estado ng art at ang mga natitirang engineering gaps.

Mga PRACTICAL NA PAGTATAYA PARA SA MGA KAPANGYARIHAN NA NAGBUBUO NG MGA VERIFIABLE NA SYSTEM

Ang mga koponan na naghahanap na gamitin ang pamamaraan ay dapat magsimula sa mga tiyak na depinisyon ng seguridad na kasasama ang kaugnay na threat model, pagkatapos ay pumili ng mga kasangkapan na may kakayahang magbigay ng machine-checked proofs. Ang mga umiiral na proyekto ay nagpapakita na ang Lean 4, mga espesyalisadong cryptographic libraries, at AI-assisted provers ay kaya nang handle ang mga hindi simpleng komponente. Ang integrasyon sa mga continuous development pipelines ay patuloy na isang aktibong hamon sa inhenyeriya, gaya ng pag-verify sa mga interaksyon sa buong stack. Ang dokumentasyon ng mga aksiyoma at mga natitirang panganib na nasa labas ng verified model ay mahalaga para sa malinaw at tapat na komunikasyon sa mga user at auditor.
 
Ang pagmamasid sa mga update sa pananaliksik ng Ethereum Foundation at mga pagsisikap sa independiyenteng pag-verify ay nagbibigay ng patuloy na pagkakataon na makita ang kalalabasan ng mga kasangkapan. Ang landas na ilarawan ni Buterin ay incremental at maraming taon; ang maagang paggamit ng mga naveripikadong library at pakikilahok sa mga gawain sa pagpapabuti ng spesipikasyon ay maaaring magdulot ng mas malaking kalamangan sa paglipas ng panahon. Ang mga organisasyon na itinuturing ang pag-verify bilang isang pangunahing layunin sa inhinyeriya kaysa isang gawain sa pag-audit pagkatapos ay mas maayos na nakaposisyon upang harapin ang mga panganib at pagkakataon na dulot ng pag-unlad ng mga kakayahan ng AI.

Mga Ecosystem Signals mula sa Patuloy na Paggamit ng Crypto sa Level ng Founder

Pampublikong pagpapatotoo na ang isang tagapagtaguyod ng pangunahing protokolo ay nagtataglay ng malaking karamihan ng personal na kayamanan sa anyo ng cryptocurrency ay nagbibigay ng matatag na signal ng tiwala sa mga tinatayang pag-unlad ng seguridad. Kasama ang aktibong pag-invest sa pananaliksik tungkol sa pormal na pag-verify, ang pagpapahayag ay nagmumungkahi na ang mga pangunahing tagapagdesisyon ay naniniwala na ang paglipat patungo sa depensiba ay maaaring maabot sa loob ng mga kaugnay na panahon. Ang mga presyo sa merkado noong Setyembre 17, 2026, ay nagpapakita ng patuloy na pagtantiya sa mga sistemang ito sa ilalim ng kasalukuyang mga makroekonomikong kondisyon.
 
Maaaring subaybayan ng mga obserbador ang susunod na mga pag-aaral, paglabas ng library, at integrasyon ng kliyente bilang empirikal na pagsubok sa teorya. Ang pangkalahatang larawan na lumalabas ay isang tiyak na teknolohikal na pag-asa na nakabatay sa partikular na mga paraan ng inhenyeriya kaysa sa mga ambigong pangako. Ang patuloy na pag-unlad sa mga napatunayang kriptograpikong primitibo at buong-stack na spesipikasyon ang magdedesisyon kung makakamit ba ang resultang nagsusuporta sa depensa sa iskala na kailangan ng pandaigdigang digital-asset infrastructure.

🔥 Labas sa Mga Balita: Ano ang Kahulugan ng KuCoin 5.0 para sa Iyo

Mabilis ang paggalaw ng balita sa merkado — ngunit mahalaga rin kung saan mo ito ginagamit. Sa October na ito, ipinapakilala ng KuCoin ang KuCoin 5.0, na nagpapabago sa KuCoin bilang isang bagong-binuo na platform. Narito ang mga tunay na pagbabago para sa iyo:
  • Isang account para sa lahat. Ang mga lumang platform ay naghihiwalay ng iyong pera sa magkakaibang "spot," "margin," at "futures" account at inaasahan na maintindihan mo kung bakit. Ang unified account ng KuCoin 5.0 ay alisin ang lahat ng iyon — mag-deposit ng isang beses, at lahat ay direktang naroon.
  • Mga stocks, indeks, at komodidad. Ang KuCoin 5.0 ay lumalawak sa labas ng crypto patungo sa mga global na merkado. Kapag nagpapahinga ang crypto at umuunlad ang equities (o kaya naman ang kabaligtaran), maaari mong i-rotate sa minuto kaysa magbukas ng brokerage account at maghintay ng ilang araw para sa fiat rails.
  • Mga aktibong sa totoong mundo (RWA). Tokenized na eksposur sa tradisyonal na mga aktibo tulad ng mga komodidad, direktang sa iyong crypto account. Isa sa mga pinakamabilis na umuunlad na sektor sa pandaigdigang finansya ay hindi na nakareserba para sa mga institusyon — ikaw ay makakapag-access dito mula sa parehong balanse na ginagamit mo para mag-trade.
  • Kita habang natututo. Hindi pa handa mag-trade? KCUSD ay nagpapakita ng araw-araw na kita na auto-compound para sa iyong stablecoin. Ang pinakamaliit na stress na paraan upang gawing produktibo ang iyong hindi ginagamit na deposito na may 4% yield.
  • Isang AI assistant na nasa simpleng wika. Magtanong, makakuha ng konteksto ng merkado, maintindihan ang iyong pinag-uusapan — nakabuilt sa platform, walang kailangang jargon.
  • Isang app na hindi nagdudulot ng pagkakalito. Mas mabilis, mas malinis, at mas magkakasundo — intuwitibo agad mula sa unang pag-tap, hindi pagkatapos ng tutorial.
  • Ligtas na maaari mong i-check, hindi lang i-trust. Isang EU na entidad na may lisensya sa MiCAR, Proof of Reserves na maaari mong i-verify mismo, at internasyonal na sertipikadong seguridad (SOC 2 Type II, ISO 27001:2022).
 
Lumikha ng iyong account sa ilang minuto — at magsimula sa platform na gawa para sa kinabukasan ng crypto, hindi sa nakaraan nito.

Mga Karaniwang Tanong

Ano ang eksaktong sinabi ni Vitalik Buterin tungkol sa AI at cybersecurity noong Setyembre 2026?

Sinabi ni Vitalik Buterin sa X na mali ang palaging lumalaganap na paniniwala na ang AI hacking ay nangangahulugan na ang cybersecurity ay nawawala. Sinabi niya na ang cybersecurity ay likas na nakabatay sa pagtatanggol kapag ginagamit ng mga tao ang mga masusing paraan, at ang sinumang patuloy na may cryptocurrency ay implisitong nagtatalo sa resultang iyon. Kumpirmado niya na ang cryptocurrency ay kumakatawan sa halos 90 porsyento ng kanyang sariling net worth. Binigyang-diin ng mga komento ang formal verification bilang mekanismo na maaaring i-convert ang mga pag-unlad sa AI bilang isang panghaharap na kalamangan sa pamamagitan ng pagpapatunay ng mga katangian ng seguridad ng software bilang mga matematikal na teorema.
 

Paano nagkakaiba ang formal verification mula sa konbensyonal na security testing?

Ang konbensyonal na pagsubok ay tumitingin sa pag-uugali ng programa sa ilang piliing input at skenaryo, na nagbibigay ng probabilistiko na tiwala na limitado ng sakop. Ang pormal na pag-verify ay gumagamit ng matematikal na spesipikasyon at patunay upang patunayan na ang mga tinukoy na katangian ng seguridad ay tumutugon sa buong kinakailangang state space. Kapag ang isang patunay ay napatunayan ng machine, ito ay nagbibigay ng deterministiko na pagkakatiwala sa loob ng modelo. Ang AI ay maaaring tumulong sa paggawa at pagsusuri ng mga patunay na ito, na maaaring gawing praktikal ang paraan para sa mas malalaki at mas kumplikadong codebases kaysa sa dati.
 

Bakit binibigyang-diin ni Buterin ang mga komprehensibong depinisyon ng seguridad?

Dapat sakop ng mga depinisyon ng seguridad ang mga susi, mga server, mga operating system, mga database, mga network, mga cache, at kaugnay na mga panganib. Ang mga hindi kompletong depinisyon ay nagiwan ng mga residual na attack surfaces sa labas ng verified na modelo. Ang AI ay makakatulong upang makita ang mga nawawalang aksiyon at mapalakas ang mga spesipikasyon, ngunit ang kalidad ng orihinal na depinisyon ay nananatiling pundasyon. Ang malawak na mga depinisyon ay nagpapataas ng engineering effort ngunit nagpapataas din ng halaga ng mga resultang patunay.
 

Ano ang papel ng formal verification sa kasalukuyang pananaliksik ng Ethereum?

Ang mga siyentipiko ng ethereum ay itinuturing ang pormal na pag-verify bilang isang cross-cutting na kasangkapan sa mga matagalang track ng protocol. Ang mga koponan ay gumagamit nangayon ng AI agents para sa pag-inspect ng code at pag-uulit ng vulnerability. Patuloy ang pagtatrabaho sa succinct execution proofs, client verification laban sa mga spesipikasyon, zero-knowledge virtual-machine infrastructure, at mga kaugnay na pagsisikap. Ang direksyon ay sumusuporta sa mga darating na scalability at privacy features na nangangailangan ng mas mataas na pagpapatotoo.
 

Mayroon bang mga konkretong proyekto na nagpaprodukta ng mga napatunayang komponente?

Oo. Binubuo ng Arklib ang isang pormal na pinatotohanang STARK implementation sa Lean. Ang mga kaugnay na pagsisikap ay tumutugon sa EVM abstractions, Rust-to-Lean extraction pipelines, at pormalisasyon ng sum-check, Merkle trees, at iba pang kriptograpikong primitive. Ipapakita ng mga proyektong ito na ang machine-checked proofs ng mga kritikal na komponente ng infrastruktura ay nagpapabilis at naging muling gamitin.
 

Tanging bitcoin lang ba ang kasama sa 90 porsyento ng net worth?

Hindi. Ang pahayag ay nagpapakita ng malawak na eksposur sa cryptocurrency, pangunahin ang ether at kaugnay na mga asset ayon sa available na reporting. Ang punto ay ang karamihan ng personal na yaman ay nakaposisyon sa mga sistema kung saan ang mga suposyong seguridad ay maaaring ma-stress ng mga pagkabigo na pinag-uusapan.
 
Disclaimer: Ang nilalaman na ito ay para sa mga layuning impormasyonal lamang at hindi nagtataglay ng abiso sa pag-invest. Ang pag-invest sa cryptocurrency ay may panganib. Mangyaring gawin ang inyong sariling pag-aaral (DYOR).
 

Disclaimer: AI technology ang ginamit sa pag-translate ng page na ito para sa convenience mo. Para sa pinaka-accurate na impormasyon, mag-refer sa original na English version.