An independent reimplementation of CMT (Practical Verified Computation with Streaming Interactive Proofs)