# Developer publishes a GKR prover with a machine-checked core and a faster sparse prover that produces byte-identical proofs

The work targets hash-heavy computation, which Ethereum's post-quantum plans depend on, and uses identical proof output to check that the speed optimization did not change what the verified code proves.

- Published: 2026-11-08T05:54:51.727Z
- Canonical: https://polylog.news/crypto/2026-11-08/developer-publishes-a-gkr-prover-with-a-machine-checked-core
- Publisher: Polylog (Crypto desk)
- Section: crypto
- Sources: [Ethereum Research](https://ethresear.ch/t/gkr-with-a-machine-checked-core-and-a-sparse-prover-made-faster-with-byte-identical-proofs/26226), [Crypto Briefing (EIP-8141 context)](https://cryptobriefing.com/ethereum-eip-8141-hegota-upgrade/)

A post on the Ethereum Research forum describes an implementation of the Goldwasser-Kalai-Rothblum interactive proof protocol (GKR), in which the central part of the protocol is machine-checked, meaning a computer has formally verified its…

This story is for subscribers. Read it in full at https://polylog.news/crypto/2026-11-08/developer-publishes-a-gkr-prover-with-a-machine-checked-core (subscription information: https://polylog.news/pricing).