Sinabi ni Vitalik: Maaaring mapabuti ng AI-assisted formal verification ang pagiging epektibo at seguridad ng code nang sabay.
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.
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.
Baka magustuhan mo rin
Ang mabilis na pagtaas ng real interest rate, nagbabala ang Goldman Sachs na ang "systematic selling pressure" sa US stocks ay lumalago sa pagtatapos ng quarter.
Ayon sa Goldman Sachs, ang mabilis na pagtaas ng real interest rates ay nagdudulot ng mas direktang pressure sa US stock market, kung saan ang mga maliliit na kumpanya at financial stocks na sensitibo sa interest rates ang pinaka-apektado. Sa aspeto ng pondo, tinataya ng Goldman Sachs na maaaring magbenta ang mga pension funds ng humigit-kumulang $33 billions na stocks sa katapusan ng buwan o quarter, habang ang CTA ay posibleng magbenta ng mga $5.3 billions na Russell 2000 index futures sa darating na linggo. Para sa merkado, maliban kung maresolba ang mga isyu tungkol sa langis at interest rates, halos walang saysay ang AI narrative.
Ang US dollar ay bumaba laban sa yen sa ilalim ng 157! Ang yen ang naging pinakamalakas na currency sa G-10, nagtataya ang merkado na muling magtataas ng interest rate ang central bank sa susunod na buwan.
Noong Miyerkules, lumakas ang Japanese yen laban sa US dollar at bumaba ang US dollar/Japanese yen sa ibaba ng 157, dahil sa sunod-sunod na babala mula sa gobyerno ng Japan tungkol sa exchange rate at ang pagdaloy ng pera sa pagtatapos ng quarter na nagbigay suporta sa yen.
Ibinunyag ang laki ng kasunduan sa computing power sa pagitan ng Anthropic at SpaceX, na umaabot hanggang 84.5 billions USD, doble sa naunang iniulat.
Ayon sa prospectus ng Anthropic IPO, ang halaga ng kasunduan sa pag-upa ng computing power sa pagitan ng kumpanya at SpaceX ay umabot sa 84.5 billions USD, na higit na mas mataas kaysa sa naunang isiniwalat na humigit-kumulang 45 billions USD sa mga dokumento ng IPO ng SpaceX. Ang kasunduan ay tatagal hanggang 2029, at karamihan sa mga probisyon ay maaaring kanselahin sa loob ng 90 araw. Samantala, inaasahan na ang kabuuang gastos ng Anthropic para sa AI infrastructure sa susunod na sampung taon ay aabot ng hindi bababa sa 518 billions USD.
Bumaba ng 0.3% ang KOSPI index ng South Korea
Mga presyo ng crypto
Higit pa
