Keags Profile picture
Protocol Engineer @AlpenLabs | Prev @lightning, Cofounder @start9labs | Hacking on https://t.co/sRjZqof6A1 PGP: 5295 A477 FFC8 064D 7057 B191 FA7E 65C9 51F1 2439
Sep 14, 2022 20 tweets 4 min read
Over the last couple of months I have steadily come to the convinced that Bitcoin Smart Contracts are closer to viable than most people understand.

Further, I *think* Turing Complete contracts can be done on Bitcoin without ANY consensus changes being required.

Intrigued?

🧵 Let's review the purpose of "smart contracts", because in the noise of the Layer1 marketing wars we neglect talking about what the tech actually affords.

Smart Contracts are a construct that allow us to verifiably restrict the ways in which we can transfer control of assets.
Apr 25, 2022 21 tweets 3 min read
CTV debate explained with arithmetic and language, a thread:

Author: I propose we add new meaning to the formerly meaningless symbol "0". This symbol is something you've always ignored in any text you read, now I propose it to mean the concept of "nothing". Critic: changing the meaning of symbols should be done very infrequently, what does this "nothing" concept allow you to do? It sounds pretty useless, after all, what use could "nothing" possibly have.
Apr 22, 2022 25 tweets 5 min read
In the coming days/weeks there are going to be a bunch of people trying to twist what I say to try and project a world view onto me that I don't actually hold. So here is a thread that states my position on CTV and its activation procedure. I will update if/when my view shifts. Starting with CTV: CTV is a specific proposal in a class of proposals people are referring to as "covenants". Covenants are a type of condition that restricts the types of outputs that can be included in a tx spending certain inputs. This money has rules on how it can be spent.
Dec 24, 2021 4 tweets 1 min read
Three counts: ethereums issue isn’t opcodes in general, just the ones that allow for recursion or looping or anything else that that triggers Halting Problem issues. Secondly Bitcoin’s opcodes are in the witness not the state derivation, which are apparent from tx structure alone This is important bc witness verification is done entirely via local reasoning. So you could opt into sparse verification where you only verify witness for 1/2 of the txs in a block and if you notice an invalid tx, you publish the txid and peers can discover and reject it.