If you haven't checked it out, BitVM is pretty metal. Uses the Boolean logic of Bitcoin to simulate a full VM within Bitcoin Script. 

I wrote an article on it that should be accessible to the every day crypto user.

If you haven't checked it out, BitVM is pretty metal. Uses the Boolean logic of Bitcoin to simulate a full VM within Bitcoin Script. 

I wrote an article on it that should be accessible to the every day crypto user. 
https://mirror.xyz/twhittle.eth/zXzocAl-wWiMSBAzhKnd6w0AJsftqgPTUfnh115fVPM

Sorcerer @ Taproot Wizards | PhD in Entrepreneurship & Organizations @ Stanford

Super interesting. Time to dig into the logic gates stuff. Curious to see how it was actually executed. Not to mention the fact that BTC could look at zk proofs makes it very exciting for me. 

But good article. Was very easy to follow!