Віталік опублікував статтю: протокол GKR підвищує ефективність обчислень zero-knowledge proof

ChainCatcher повідомляє, що засновник Ethereum Віталік Бутерін сьогодні вранці опублікував статтю з описом протоколу GKR. Протокол GKR (Goldwasser-Kalai-Rothblum) стає ключовою технологією для високопродуктивних систем доказів з нульовим розголошенням.

Останні дослідження показують, що GKR, уникаючи операцій коммітування на проміжних шарах і здійснюючи коммітування лише для вхідних та вихідних даних, може знизити теоретичні витрати традиційного методу STARK у 100 разів до приблизно 15 разів, а на практиці навіть менше ніж у 10 разів. Цей протокол особливо підходить для багаторівневих обчислювальних моделей, таких як хеш-функція Poseidon і нейронні мережі. Його основна технологія "sumcheck" рекурсивно спрощує багатовимірні задачі за допомогою випадкових лінійних комбінацій. Хоча сам GKR не забезпечує властивості нульового розголошення, він може поєднуватися з ZK-SNARK або ZK-STARK і вже став ключовою технологічною підтримкою для доказів реального часу ZK-EVM та верифікації масштабних моделей машинного навчання.