On the Structural Reduction of Discrete Logarithms under Height-Constrained Arithmetic Embeddings | Synapse