
May gas limit ang Ethereum. Pero maaari ba naming patunayan nang matematikal ang pinakamataas na kompyutasyonal na gawain na kailangan upang patunayan ang anumang wastong block? Napakaganda, wala pa kaming sertipikadong hangganan na may katotohanan para sa buong modelo ng hamon. Ito ang problema na tinutugunan ni @yukonresearch, @zksecurityXYZ, at @Veritylab gamit ang https://t.co/w9Ti86Tqsj. Ngayon, nagpapatakbo nang hiwalay ang mga validator ng Ethereum ang mga transaksyon upang patunayan ang mga block. Habang naglalakbay ang Ethereum patungo sa pagpapatunay batay sa zkEVM, lumalawak ang hamon pahinga sa tamang pagpapatakbo ng mga transaksyon. Kailangan din naming maunawaan ang pinakamasamang kaso ng kompyutasyonal na gastos. Bakit mahalaga ito? Maaaring wasto ang isang Ethereum block at magkakaroon pa rin ng hindi karaniwang mahal na kompyutasyon. Kung maging hindi maipagpalagay ang gastos sa pagpapatunay, maaaring maging bottleneck ang real-time ZK proving sa pag-scaled ng Ethereum. Ang https://t.co/w9Ti86Tqsj ay naglalabas ng isang bukas na kompetisyon upang tukuyin ang matematikal na sertipikadong hangganan sa kompyutasyon ng pagpapatunay ng block. Ang mga epekto nito ay malaki: → Mas maipagpalagay na mga workload sa pagpapatakbo at pagpapatunay. → Mas matibay na pundasyon para sa real-time ZK proving. → Mas malaking tiwala sa pagtaas ng gas limits ng Ethereum. → Isang daan patungo sa pagpapatunay sa mas accessible na hardware. Siyempre, ang paghahatid ng mga hakbang sa pagpapatakbo ay hindi agad nagjanji ng mabilis na ZK proofs. Pero ito ay isang mahalagang pundasyon. Ang susunod na hamon sa pag-scaled ng Ethereum ay hindi lamang gawing mas mabilis ang pagpapatakbo. Ito ay gawing maipagpalagay at patunayan ang pinakamasamang kaso ng kompyutasyonal na gastos. At habang naglalakbay ang mga Ethereum rollup tulad ni @puffer_unifi patungo sa mas mababang latency at synchronous composability, mahalaga na lumago ang ganitong uri ng pananaliksik. https://t.co/SwPS2w3ic1






