it's not just factoring, but general discrete log over abelian groups