Show HN: A new way to verify remote AI model execution (no TEEs, no ZK) | Heykuki News