CGD - Crypto Government Department logo CGD - Crypto Government Department logo
Forklog 2025-10-20 07:50:00

Виталик Бутерин представил протокол GKR для ускорения ZK-вычислений

Сооснователь Ethereum Виталик Бутерин предложил использовать протокол GKR для повышения эффективности традиционных систем zk-SNARK и zk-STARK.  A GKR tutorial:https://t.co/Oo7jraC4sy— vitalik.eth (@VitalikButerin) October 20, 2025 По его словам, в последние годы в криптографии доказательств с нулевым разглашением наблюдается тенденция к созданию специализированных решений под конкретные типы задач. Некоторые оптимизированы для арифметических схем, другие — для обязательных переходов.  Предложенный в 2010 году протокол GKR объединяет преимущества обоих подходов. Он рассчитан на обработку больших объемов данных и позволяет подтверждать корректность миллионов вычислений в секунду без необходимости проверки промежуточных этапов. Бутерин объяснил, что технология подходит для операций, которые состоят из множества одинаковых данных, расположенных слоями. Среди примеров — массовое хеширование через Poseidon2 или работа нейросетей, где один алгоритм применяется к разным наборам данных.  В традиционных системах вроде STARK требуется формировать доказательства для каждого этапа расчетов — например, создавать деревья Меркла для всех данных. Это требует хеширования 4-16 байт на каждый байт исходной информации. GKR исключает такие операции — протокол использует криптографические обязательства только для входных и выходных вычислений.  На практике технология оказалась в 15 раз производительнее решений на базе zk-STARK.  «Однако эти расчеты остаются теоретическими. [...] Практическая эффективность зависит от баланса между двумя противоречивыми факторами: повышенными требованиями к памяти и преимуществами параллельной архитектуры вычислений», — уточнил Бутерин.  В основе GKR лежит математический метод проверки сумм (sumcheck) для последовательного упрощения проверки. Сначала система доказывает корректность конечного результата, затем через серию преобразований переходит к проверке предыдущих этапов вычислений, и так до самых исходных данных. Каждый шаг уменьшает сложность задачи. Работа sumcheck. Источник: vitalik.eth.limo.  По мнению Бутерина, доказательства с нулевым разглашением занимают центральное место в повышении масштабируемости Ethereum.  Ранее он представил концепцию ZKID, назвав ее основой для новых финансовых моделей. Технология использует zk-SNARKs для верификации информации без участия третьих лиц.

Διαβάστε την Αποποίηση Ευθυνών : Όλο το περιεχόμενο που παρέχεται εδώ στον ιστότοπό μας, τους υπερσυνδεδεμένους ιστότοπους, τις σχετικές εφαρμογές, τα φόρουμ, τα ιστολόγια, τους λογαριασμούς κοινωνικών μέσων και άλλες πλατφόρμες (“Site”) προορίζεται μόνο για τις γενικές πληροφορίες σας, που προέρχονται από τρίτες πηγές. Δεν κάνουμε καμία εγγύηση οποιουδήποτε είδους σε σχέση με το περιεχόμενό μας, συμπεριλαμβανομένης ενδεικτικά της ακρίβειας και της ενημέρωσης. Κανένα μέρος του περιεχομένου που παρέχουμε δεν αποτελεί οικονομική συμβουλή, νομική συμβουλή ή οποιαδήποτε άλλη μορφή συμβουλών που προορίζεται για τη συγκεκριμένη εμπιστοσύνη σας για οποιονδήποτε σκοπό. Οποιαδήποτε χρήση ή εξάρτηση από το περιεχόμενό μας είναι αποκλειστικά με δική σας ευθύνη και διακριτική ευχέρεια. Πρέπει να πραγματοποιήσετε τη δική σας έρευνα, να ελέγξετε, να αναλύσετε και να επαληθεύσετε το περιεχόμενό μας προτού βασιστείτε σε αυτά. Η διαπραγμάτευση είναι μια εξαιρετικά επικίνδυνη δραστηριότητα που μπορεί να οδηγήσει σε μεγάλες απώλειες, επομένως συμβουλευτείτε τον οικονομικό σας σύμβουλο πριν λάβετε οποιαδήποτε απόφαση. Κανένα περιεχόμενο στον ιστότοπό μας δεν προορίζεται να είναι παράκληση ή προσφορά