THE ADH-LOGIC: Deterministic Hardware Proof of 2400-Digit Integer Factorization | Synapse