bitcoin++ launches

talk

Smart Contracts on Liquid: From Zero to Hero

@brqgoo, Marco Argentieri (tiero)

Time

Tue, Jun 7 · 9:30 AM – 10:30 AM

Location

Type

talk

Duration

1h

Elements Tapscript, a superset of Bitcoin Script, it allows developers to build secure, efficient and private smart contracts thanks to powerful introspection capabilities, MAST introduced with taproot and the stateless nature of the Bitcoin UTXO model. In this workshop you will learn how to write contracts and create web applications that interact directly with the help of Nigiri, Marina Wallet browser extension and LiquidJS. SETUP: Be sure to have installed on your machine: - Docker - Docker Compose - Node & Yarn/NPM (optional, but highly suggested for advanced web app examples) - Nigiri CLI https://github.com/vulpemventures/nigiri/ Burak: https://twitter.com/brqgoo Tiero: https://twitter.com/tierotiero https://btcpp2022.sched.com/event/12P6E/smart-contracts-on-liquid-from-zero-to-hero

Speakers

@brqgoo

Black Box

X Nostr GitHub

Marco Argentieri (tiero)

Ark Labs

X Nostr GitHub

talk

Introduction to Zero Knowledge Proofs

Nadav Kohen

Time

Tue, Jun 7 · 9:30 AM – 11:30 AM

Location

Type

talk

Duration

2h

A "hands-on" workshop where we will explore what Zero Knowledge Proofs (ZKPs) are and what they can do, come up with a few of our own, and see some implications for digital signatures! Nadav Kohen: https://twitter.com/nadav_kohen https://btcpp2022.sched.com/event/12P6c/introduction-to-zero-knowledge-proofs

Speakers

Nadav Kohen

X

talk

Enterprise Lightning Engineering at CashApp

Ryan Loomba

Time

Tue, Jun 7 · 10:00 AM – 10:50 AM

Location

Type

talk

Duration

50m

This talk will explore the challenges of building the first Lightning wallet offered by a public and regulated US company. Cash App is a custodial Bitcoin and Lightning wallet that serves the needs of tens of millions of daily active users. We'll dive into challenges we faced around security, reliability, and user experience. We'll also discuss what it was like to use Spiral's Lightning Development Kit. Twitter: https://twitter.com/RLoombs https://btcpp2022.sched.com/event/12P70/enterprise-lightning-engineering-at-cash-app

Speakers

Ryan Loomba

talk

Voltage Platform for Users and Devs

Nate, Paul

Time

Tue, Jun 7 · 10:30 AM – 12:00 PM

Location

Type

talk

Duration

1h 30m

Overview of the Voltage platform, dashboards, APIs, and other dev tools. Workshop will include hands-on code demonstration of how to build a Lightning App. Paul: https://twitter.com/futurepaul Nate: https://twitter.com/beeforbacon1 https://btcpp2022.sched.com/event/12P6H/voltage-platform-for-users-and-devs

Speakers

Nate

Voltage

Paul

Mutiny

X Nostr

talk

Simplicity: From Bitcoin Script to Arbitrary Computation

Christian Lewe

Time

Tue, Jun 7 · 11:00 AM – 11:50 AM

Location

Type

talk

Duration

50m

Bitcoin Script is a language that controls the spending of coins. However, there are various alternatives that strive to be better: Ethereum's Solidity can express all computable functions and allows for more introspection into spending transactions. Due to Turing completeness, static analysis is limited. Miniscript is a declarative language that corresponds to a subset of Bitcoin Script. It allows powerful static analysis, including a complete enumeration of all spending paths as well as guarantees about resource limits. The language can express at most what Bitcoin Script can express. A question arises: Can we design a language with higher expressivity, like Solidity, that has integrity and verifiability like Miniscript? Simplicity is a functional language developed by Russel O'Connor since 2015, which we hope to deploy on the Liquid network soon. It can implement powerful smart contracts, since it can express all Boolean functions. Meanwhile, it is verifiable and admits resource bounds. The language is implemented for the Coq proof assistant, which enables machine-verified proofs of arbitrary statements about a given Simplicity program. APIs in C, Rust and Haskell are in the making. In this talk, we give a general introduction to Simplicity. We explain the structure of a Simplicity program and look into how it can be used in practice. We draw parallels to Bitcoin Script and sketch a translation to Simplicity. By Christian Lewe of Blockstream https://btcpp2022.sched.com/event/12P73/simplicity-from-bitcoin-script-to-arbitrary-computation

Speakers

Christian Lewe

X GitHub

talk

Demystifying Elliptic Curves

Asher Pembroke

Time

Tue, Jun 7 · 11:30 AM – 12:00 PM

Location

Type

talk

Duration

30m

Elliptic curves play an integral role in Bitcoin transactions, but you don't need a degree to understand them. We'll break down the discrete log problem using interactive visual notebooks that illustrate the key concepts. This workshop is aimed at all skill levels, so bring a friend. Asher Pembroke: https://twitter.com/asherp https://btcpp2022.sched.com/event/12P6f/demystifying-elliptic-curve-cryptography

Speakers

Asher Pembroke

X Nostr GitHub Website

talk

Bitcoin Ball (Proof of Workshop)

D++

Time

Tue, Jun 7 · 1:15 PM – 2:45 PM

Location

Type

talk

Duration

1h 30m

Come learn about bitcoin tech with an interactive, gamified experience. D++: https://twitter.com/D_plus__plus https://btcpp2022.sched.com/event/12P6K/proof-of-workshop

Speakers

D++

X

talk

HD Wallets: BIP32/BIP44/BIP39 Learn by Coding

Jimmy Song

Time

Tue, Jun 7 · 1:30 PM – 3:30 PM

Location

Type

talk

Duration

2h

Learn BIP32/BIP44/BIP39 HD Wallets through a step-by-step coding tutorial. SETUP: Install Jupyter and have it running on your laptop. Jimmy Song: https://twitter.com/jimmysong https://btcpp2022.sched.com/event/12P6i/hd-wallets-bip32bip44bip39-learn-by-coding

Speakers

Jimmy Song

X

talk

Tenacity

Super Testnet

Time

Tue, Jun 7 · 1:30 PM – 2:00 PM

Location

Type

talk

Duration

30m

The importance of trying, failing, and trying again in the process of bitcoin software development, with encouraging words and examples https://btcpp2022.sched.com/event/12P76/tenacity

Speakers

Super Testnet

X Nostr GitHub

talk

Public/Private Key Auth for APIs and a Sneak Preview of Swan's

Yan Pritzker

Time

Tue, Jun 7 · 2:00 PM – 2:45 PM

Location

Type

talk

Duration

45m

With Yan of Swan: https://twitter.com/skwp https://btcpp2022.sched.com/event/12P79/privatepublic-key-auth-for-apis-and-a-sneak-preview-of-swans

Speakers

Yan Pritzker

X

talk

Magical Minisketch and the Lightning Gossip Network

Alex Myers

Time

Tue, Jun 7 · 2:45 PM – 3:15 PM

Location

Type

talk

Duration

30m

Set reconciliation is an efficient technique to synchronize data across a network. In this presentation we review the role of gossip in the lightning network, and the current state of the network. We’ll then introduce some theory behind the Minisketch set reconciliation library, as well as how it’s used in practice. Finally, we’ll come back around to how this can improve the lightning network and what work is currently being done to integrate Minisketch into the lightning network protocol. Alex Myers: https://twitter.com/endothermicdev https://btcpp2022.sched.com/event/12P7C/magical-minisketch-and-the-lightning-gossip-network

Speakers

Alex Myers

X

talk

Everything You Always Wanted to Know About Lightning (But Were Too Afraid to Ask)

Fabrice Drouin

Time

Tue, Jun 7 · 2:45 PM – 4:15 PM

Location

Type

talk

Duration

1h 30m

Deep dive session into the Lightning Network: what does it solve ? How does it work ? We'll start with a basic review of the bitcoin protocol (blocs, utxos, scripts...) and explain how channels are created, closed, how payments and fees work, the strengths and limitations of LN today and how it can be improved. Fabrice, from ACINQ ACINQ: https://twitter.com/acinq_co https://btcpp2022.sched.com/event/12P6N/everything-you-always-wanted-to-know-about-the-lightning-network-but-were-afraid-to-ask

Speakers

Fabrice Drouin

X GitHub Website

talk

Lightning Channel Splicing

Dusty Daemon

Time

Tue, Jun 7 · 3:15 PM – 4:00 PM

Location

Type

talk

Duration

45m

Channel resizing has arrived with splicing. But it also enables so much more, like making on-chain payments directly from your lightning wallet! Come learn all about splicing and how it works. Dusty Daemon: https://twitter.com/dusty_daemon https://btcpp2022.sched.com/event/12P7F/lightning-channel-splicing

Speakers

Dusty Daemon

X Nostr GitHub Website

talk

Fedimint: Build a Chaumian Mint in Python

Justin Moon

Time

Tue, Jun 7 · 3:30 PM – 4:15 PM

Location

Type

talk

Duration

45m

Fedimint is an exciting new bitcoin privacy tool. To understand how it works we'll build a toy version in Python. Justin Moon: https://twitter.com/_JustinMoon_ https://btcpp2022.sched.com/event/12P6l/build-a-chaumian-bank-in-python

Speakers

Justin Moon

X Nostr GitHub Website

talk

Bridging social & financial networks with Lightning

Jesse Shrader

Time

Tue, Jun 7 · 4:00 PM – 4:30 PM

Location

Type

talk

Duration

30m

As lightning has transitioned from an experiment to a hobby project to payment infrastructure, the decentralized network has struggled with coordination. In order to create an efficient market, node operators need better ways to communicate problems, understand the market, and organize solutions. Amboss is a platform that helps bridge social and financial networks to help the decentralized network be a coordinated and efficient market. https://amboss.space https://btcpp2022.sched.com/event/12P7I/bridging-social-financial-networks-with-lightning

Speakers

Jesse Shrader

X Nostr GitHub Website