for technical details:

the whitepaper https://bitvm.org/bitvm.pdf

my implementation https://github.com/TechMiX/tapleaf-circuits/ 

 Thanks! Printed the white paper, I’ll start with that 🙏