Playing around with the Snarky DSL to make a Proof-of-Concept for a Bitcoin proof-of-reserves using a zk-SNARK.