Our independent CMT implementation is integrated with the latest code and with prior releasees since Ginger.
(Specifically: Ginger, Allspice, Zaatar, Pantry, and Buffet all contain this implementation.)
Improved documentation on using this backend is forthcoming. In the meantime, please feel free to contact us and/or explore the relevant code.
The CMT backend is based upon
Cormode, G., Mitzenmacher, M., and Thaler, J. "Practical Verified Computation with Streaming Interactive Proofs." Proc. ACM ITCS, 2012.