A reversible circuit, if I understand it correctly, is a circuit where every gate in the circuit is invertible, i.e. can simply be “turned in the opposite direction”, so that the entire circuit can in a sense just be “turned in reverse” without changing the circuit architecture.
An invertible function is not defined in terms of computational models, but in terms of whether the function is injective.
How are these two concepts related? Does an invertible function always have a corresponding reversible circuit? How does this relate to one-way functions? (Note that if for any invertible function there is a reversible circuit, that doesn’t disprove the existence of one-way functions, since the fast-to-compute circuit might not be reversible).