Cheap, sound verification of decentralized training steps (Nous Research Psyche/DisTrO): Freivalds matmul checks + floating-point soundness model + adaptive-adversary, multi-round & backdoor security analysis on a real transformer block.
machine-learning security-analysis distributed-training verifiable-computation decentralized-training proof-of-learning freivalds-algorithm
-
Updated
Jul 3, 2026 - Python