I recently rememebered the following theorem by Ganesan:
Let $R$ be a commutative ring with $0<n<\infty$ non-zero zero divisors. Then $\operatorname{card}(R)\leq(n+1)^2.$
The proof proceeds by considering the annihilator of one of the zero divisors. Let $z_1,\ldots,z_n$ be the non-zero zero divisors of $R.$ Let $A_1=\{x\in R\,|\,xz_1=0\}.$ It is a well-known fact that this is an ideal in $R.$ We also have $\operatorname{card}(A_1)<n+1$ because $z_1\neq 0.$
Now let's pick one representative $r_x$ from each coset $x\in R/A_1.$ Consider the map $$x\mapsto r_xz_1.$$ Suppose $r_xz_1=r_yz_1.$ Then $(r_x-r_y)z_1=0,$ so $(r_x-r_y)\in A_1,$ which means $x=y.$ Therefore the map is injective. But for any $r\in R,$ the element $rz_i$ is a (possibly zero) zero-divisor. It follows that there are at most $n+1$ cosets in $R/A_1$ and since each coset has cardinality equal to $\operatorname{card}(A_1)\leq n+1,$ we have $\operatorname{card}(R) \leq (n+1)^2.\square$
So we have that if $R$ has exactly one non-zero zero divisor $x,$ then $R$ has at most $4$ elements. I thought it would be a cool thing to determine which rings (with or without unity, since the theorem doesn't require its existence) have this property. It is possible to do this by checking all rngs with at most $4$ elements. But I found that I can't determine all non-isomorphic commutative rngs with at most $4$ elements. Wikipedia says there are $11$ rngs with four elements counting non-commutative ones. There can't be many commutative ones then, but checking all possible operation tables to find them is tedious since I don't know what the $11$ rings are.
Is there a nice way to do this? The condition that there is exactly one-nonzero zero divisor seems pretty strong and I suspect the only such rng is $\mathbb Z/2\mathbb Z$ with zero multiplication, but this is only a suspicion. I've checked that there are no such rngs with $3$ elements, but what about the four-element ones?