Oh ok cool. We did not finish yet. We will complete it when we reach the next milestone on Raito. Because right now the way we verify non spending of UTXO in zkpoor is naive and extremely inefficient which makes it impossible to prove on a large range of blocks.
Once we have proving of utreexo it will be much easier.
Also we found a way to couple the proof to the legit owner of the coins after the hackathon that we did not implement yet. Simply passing a public key as argument when generating the proof and adding it in the output of the proof. Only legit owner is able to generate a valid proof of ownership of the input UTXOs so then the owner can just send a message off chain to prove they generated the proof. To avoid someone just taking the proof and claiming to own coins they don’t own.