2025 TUT 1024 V100 Proofs