Nag-post si Vitalik, pinahusay ng GKR protocol ang kahusayan ng zero-knowledge proof computation

ChainCatcher balita, ang tagapagtatag ng Ethereum na si Vitalik Buterin ay naglabas ng artikulo ngayong umaga na nagpapakilala sa GKR protocol. Ang GKR (Goldwasser-Kalai-Rothblum) protocol ay nagiging pangunahing teknolohiya para sa mga high-performance na zero-knowledge proof system.

Ipinapakita ng pinakabagong pananaliksik na ang GKR, sa pamamagitan ng pag-iwas sa commitment operations sa mga intermediate layer at tanging sa input at output lamang nagko-commit, ay kayang pababain ang theoretical overhead ng tradisyonal na STARK method mula 100 beses hanggang mga 15 beses, at sa aktwal na implementasyon ay mas mababa pa sa 10 beses. Ang protocol na ito ay partikular na angkop para sa mga multi-layer computation pattern tulad ng Poseidon hash function at neural networks. Ang core na "sumcheck" na teknolohiya nito ay nagpapasimple ng multi-dimensional na mga problema sa pamamagitan ng recursive na random linear combination. Bagaman ang GKR mismo ay hindi nagbibigay ng zero-knowledge na katangian, maaari itong pagsamahin sa ZK-SNARK o ZK-STARK, at ito ay naging mahalagang teknikal na suporta para sa real-time na ZK-EVM proofs at malakihang machine learning model verification.