Validation of GPU Computation in Decentralized, Trustless Networks
Eric Boniardi, Stanley Bishop, Alison Haire
TL;DR
Verifying GPU computations in decentralized, trustless networks is challenging due to non-determinism across GPU architectures. The paper shows exact recomputation is inadequate and that TEEs and Fully Homomorphic Encryption have practical drawbacks, then develops probabilistic verification frameworks by adapting model fingerprinting, semantic similarity, and GPU profiling. It introduces two semantic-verification schemes—Binary Reference with trusted nodes and Ternary Consensus—that enable trustless validation through offline threshold optimization and multi-node consensus. An empirical study on the Chatbot Arena dataset demonstrates about 76% accuracy with a threshold $t^* \approx 0.5$, supporting the viability of semantic-verification approaches for GPU workloads in untrusted networks. The work provides a foundation for computational integrity in GPU-accelerated decentralized systems and outlines future directions for profiling-based verification and broader deployment across heterogeneous hardware.
Abstract
Verifying computational processes in decentralized networks poses a fundamental challenge, particularly for Graphics Processing Unit (GPU) computations. Our investigation reveals significant limitations in existing approaches: exact recomputation fails due to computational non-determinism across GPU nodes, Trusted Execution Environments (TEEs) require specialized hardware, and Fully Homomorphic Encryption (FHE) faces prohibitive computational costs. To address these challenges, we explore three verification methodologies adapted from adjacent technical domains: model fingerprinting techniques, semantic similarity analysis, and GPU profiling. Through systematic exploration of these approaches, we develop novel probabilistic verification frameworks, including a binary reference model with trusted node verification and a ternary consensus framework that eliminates trust requirements. These methodologies establish a foundation for ensuring computational integrity across untrusted networks while addressing the inherent challenges of non-deterministic execution in GPU-accelerated workloads.
