Instead of having to verify across every device, could potentially optimize with risc zero? https://www.risczero.com/