infrastructurefactbullishGKR-HND protocol can verify Transformer inference without requiring clients to replay dense matrix computations, assuming honest verifier and prover-worker non-collusionMachine Learning28 Jul 2026http://arxiv.org/abs/2607.21162v1