[MattPalmer1086]

Seems like that is possible now. For example [1] "Zero-Knowledge Proof Based Verifiable Inference of Models"

[1] https://arxiv.org/html/2511.19902v1