Github: kulpreet and pool2win
Twitter: @jungly
Blog: blog.opdup.com

Bitcoin

The shape of Bitcoin’s adoption curve is, as of yet, unknown. What we do know is that there is a lot we still need to build.

Current works

I have long wanted to use TLA+ for specifying behaviours of layer 2 bitcoin contracts. I have started work on specifying lightning contracts using justice transactions. As a consequence of this work, we finally have a TLA+ module to capture the behaviour of the bitcoin network that can be used as the environment for specifying any L2 contract. The work’s progress is tracked on the README of the repo for now.

I have also been working on Braidpool and using TLA+ to specify the protocols that make up braidpool. The latest braidpool developments are on my blog.

Past work

More of my earlier work can be found on Github.

• I started work on specifying a DSL for helping compose and test L2 contracts. This was built on Racket to enable an external DSL.
• I used to run a small service that tracked node centrality in the Lightning Network. My older blog post on a commercial platform are on Medium.
• I briefly engaged with the Rebooting Web of Trust community and helped build tools to develop DIDs using the BTCR spec.
• I am a contributor to libbitcoin - the best way to figure out how bitcoin works.

Fu (remote past tense in Italian)

I studied consensus algorithms for my PhD. My post academic life has been spent working with startups building products for Web 2.0 and Mobile.