Naglabas si Vitalik ng tutorial na artikulo tungkol sa GKR: Ang "batch × layer" na protocol na sumusuporta sa napakabilis na ZK proof

ChainCatcher balita, si Vitalik Buterin ay naglabas ng pinakabagong artikulo na detalyadong nagpapaliwanag kung paano ginagamit ang GKR (Goldreich–Kahan–Rothblum) protocol upang pabilisin ang ZK proof, na umaangkop sa "batch × multi-layer" na istruktura ng pagkalkula, at malaki ang nababawasan ang mga intermediate layer na commitment, na tanging sa input at output lamang nagkakaroon ng commitment.

Gamit ang Poseidon2 hash bilang halimbawa, detalyadong ipinaliwanag ng artikulo ang recursive proof process na nakasentro sa sumcheck, at nagbigay ng mga optimization (Gruen’s trick, linear batching, at partial rounds na tanging cube ng unang elemento), na maaaring pagsamahin sa BaseFold o FRI sa polynomial commitment scenarios. Ayon sa may-akda, ang aktwal na gastos ay mas mababa ng halos 100 beses kaysa sa tradisyonal na STARK sa teorya, at inaasahan ang single-digit na gastos. Pinapaalalahanan din na kailangang bantayan ang panganib ng predictability sa circuit sa Fiat–Shamir challenge.