High-precision and low-depth eigenstate property estimation: theory and resource estimation | Synapse