Implementation of the "Quantum Verification of Matrix Products" algorithm

I would like to implement a Quantum Verification of Matrix Products, using Ambainis OR Burhman algorithm but I don’t know how to start. There isn’t much documentation about it, and no circuit in the paper.

If someone has any advice on how to start it would be pretty helpful.