Bitget App
Mag-trade nang mas matalino
Buy cryptoMarketsTradeFuturesEarnAISquareMore
Sinabi ni Vitalik: Maaaring mapabuti ng AI-assisted formal verification ang pagiging epektibo at seguridad ng code nang sabay.

Sinabi ni Vitalik: Maaaring mapabuti ng AI-assisted formal verification ang pagiging epektibo at seguridad ng code nang sabay.

ForesightNewsForesightNews2026/05/18 12:55
Ipakita ang orihinal

Ayon sa Foresight News, naglabas ng artikulo si Vitalik Buterin na tinatalakay ang mga potensyal na aplikasyon ng formal verification sa larangan ng seguridad ng blockchain. Binanggit sa artikulo na sa pinakabagong bahagi ng pananaliksik ng Ethereum, umuusbong ang isang bagong paradigma: ang paggamit ng EVM bytecode, assembly, o Lean sa direktang pagsulat ng code, at pagpapatunay ng tamang implementasyon nito gamit ang mathematical proofs na maaaring awtomatikong suriin sa Lean. Tinawag ito ng mananaliksik na si Yoichi Hirai bilang “ang ultimate form ng software development”. Naniniwala si Vitalik na may potensyal ang AI-assisted formal verification na sabay mapahusay ang kahusayan at seguridad ng code, lalo na para sa mga pangunahing security modules gaya ng STARK, ZK-EVM, post-quantum signatures, at consensus algorithms. Binibigyang-diin din ng artikulo na hindi omnipotente ang formal verification at maaari pa rin itong mabigo dahil sa limitadong coverage ng proofs, maling mga specifications, o mga isyu sa hardware side channel. Sa hinaharap, maaaring mahati ang software sa “security core” at “non-security edge”, at magiging mahalagang bahagi ang Ethereum bilang isa sa mga pangunahing security core.

0
0

Disclaimer: Ang nilalaman ng artikulong ito ay sumasalamin lamang sa opinyon ng author at hindi kumakatawan sa platform sa anumang kapasidad. Ang artikulong ito ay hindi nilayon na magsilbi bilang isang sanggunian para sa paggawa ng mga desisyon sa investment.

PoolX: Naka-lock para sa mga bagong token.
Hanggang 12%. Palaging naka-on, laging may airdrop.
Mag Locked na ngayon!

Baka magustuhan mo rin

Bakit biglang bumili nang malaki ang India ng US Treasury? Sa Hulyo, netong binili ang $15.2 billions na bagong rekord, naging susi ang espesyal na swap na mekanismo.

Dahil sa espesyal na kasunduan ng Reserve Bank of India upang makaakit ng pandaigdigang kapital, malaking halaga ng pondo ang pumasok sa bansa, kaya’t nakabili ang India ng rekord na dami ng US Treasury bonds noong Hulyo.

智通财经2026/09/17 09:11

Nagbabala ang mga bangko sa Japan: Ang pagtaas ng yield ng Japanese bonds ay maaaring magdulot ng pagkaltas at apekto sa kita.

Maaaring patuloy na tumaas ang yield ng Japanese government bonds, na naglalagay sa mga bangko sa panganib ng pagbabawas ng halaga ng asset at pagkalugi sa kita.

智通财经2026/09/17 09:11