Vitalik Buterin: Pumasok ang mga blockchain sa isang bagong erang pangkompyuter Sa Global Blockchain Summit (Shanghai Blockchain Week), inilahad ni Vitalik Buterin kung paano ang mga ZK proof, formal verification, at AI ay handang baguhin ang arkitektura ng blockchain. Ang kanyang pangunahing punto: ang lumang modelo — kung saan bawat node ay muli na nagsasagawa ng parehong kompyutasyon — ay patungo sa pagpapalit. Gamit ang SNARKs/STARKs, isang partido ang nagsasagawa at nagpapatotoo, habang ang lahat ng iba ay nagpapatotoo lamang. Ang recursive STARKs (na kaugnay sa kanyang EIP-8288 proposal) ay maaaring magbukod ng maraming patotoo sa isang tanging patotoo, na nagpapababa ng on-chain na data at gastos. Kasama ang EIP-8141 (paghahati ng mga transaksyon sa mga parallelizable na aksyon) at FOCIL (decentralized block-building), ang layunin ay isang buong compute pipeline — mula sa lokal na pagpapatakbo ng device hanggang sa mempools, pag-aggregate ng patotoo, L2s at L1 — na nagpapalawak nang hindi pinapawi ang decentralization. Tungkol sa AI, nakikita ni Buterin ito bilang mahalagang imprastruktura para sa susunod na yugto: pagsusulat/audit ng code, pagbuo ng mga spesipikasyon, at pagpapatakbo ng formal verification sa isang sukat na hindi kayang gawin ng tao nang manual — na ayon sa kanya, mahalaga upang ayusin ang mga pagkakamali sa seguridad ng kasalukuyang L2. Tinatawag niya ang mga developer na tumigil na magdisenyo para sa isang mundo kung де dala ng advanced crypto at automated verification ay hindi praktikal — dahil ang limitasyong ito ay mabilis na nawawala. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto