for technical details:
the whitepaper https://bitvm.org/bitvm.pdf
my implementation 
GitHub
GitHub - TechMiX/tapleaf-circuits: A proof-of-concept implementation of BitVM for bristol circuits
A proof-of-concept implementation of BitVM for bristol circuits - TechMiX/tapleaf-circuits
