This was fun, I went into this thinking "Ha I already know this theorem" but came out learning something about zero knowledge proofs!