Solving systems of algebraic equations over finite commutative rings and applications | Synapse