Johan Torås Halseth
@johanth
Followers
3K
Following
3K
Media
11
Statuses
753
Dead CAT bouncing so high 🐈 Enhancing #Bitcoin and Lightning at @NYDIG. prev @firiapp @lightning @google — Go/Rust/Swift and deadlifts
Norway
Joined June 2009
My talk from btc++ earlier this year is up here for you all to enjoy 💅💅
Optimistic execution of RISC-V in Tapscript by Johan T. Halseth. This presentation was recorded in May 2024 in Austin, TX during bitcoin++ conference, script edition. Watch now: https://t.co/ICLU56JXdC If it compiles, it can be verified in Bitcoin script. We'll show how a
0
7
26
Dette er den harde realiteten av å være gründer. Du kan på kort tid miste hele livsverket ditt. Tenk om Karl hadde flyttet til utlandet da papirverdien av hans Oda-aksjer var verdt flere hundre millioner. Han ville fått en betydelig exit-skatt, og deretter blitt kalt inn til en
16
19
247
NORWAY IS GOING TO BAN BITCOIN MINING WITHOUT PUBLIC CONSULTATIONS - WE NEED TO ACT NOW Norway's Ministry of Digitalisation and Public Administration responded to @ODFoundation that it "has no plans to conduct a public consultation" on a ban on cryptocurrency mining. There is
40
192
549
And with BitVM being heavily researched, maybe we can get close to this dream even without a script upgrade? 🤯 https://t.co/DVCoQqRNCa
There has been a lot of excitement around BitVM the last couple of days. We all believed arbitrary computation on #Bitcoin needed a script upgrade, so how can BitVM achieve this without a consensus change? 🧵👇
0
0
8
Here's an example of using Elftrace to compile the Winterfell ZK-STARK verifier to Bitcoin Script and use it to verify-the-verification of a STARK:
github.com
Contribute to halseth/elftrace development by creating an account on GitHub.
2
0
12
One such tool is Elftrace, which lets you write your contracts in Rust and compile it to Bitcoin Script for use with MATT:
github.com
Contribute to halseth/elftrace development by creating an account on GitHub.
1
0
8
This enables verification of arbitrary computation, so now it's about getting the developer tooling ready to write optimistic contracts 🤓
1
0
5
Since anybody with access to the contract source code can perform the same computation themselves, they can easily check whether the commitment matches, and challenge the proposer if not 🔎
1
0
5
This enables surprisingly powerful protocols to be built. One such protocol is Optimistic Execution⚙️ With optimistic execution, one doesn't do the computation in question on-chain, but posts a commitment to the off-chain execution performed.
1
0
6
The main enabler of this Bitcoin building season is the possibility of getting a covenant enabled on layer-1 🥕 Covenants are (simple) script opcodes that make it possible to carry state from one Bitcoin transaction to the next.
1
0
8
There's been a lot of excitement around new #Bitcoin layer-2s and off-chain protocols lately. Kicked off by the Taproot upgrade and entering full force with MATT and BitVM, several promising protocols are being developed 🔧 (Thread on protocols and a ZK verifier demo🧵)
2
10
56
Utreexod beta release is now available at https://t.co/hAaPPpnNXQ! I’m currently syncing my archival node on a raspberry pi 0. Planning to use the built in electrum personal server support to connect my personal wallet. Please try it out and let me know what you think! For
30
62
232
@rusty_twit @johanth @rot13maxi @reardencode @JeremyRubin Finally some drama! @reardencode thinks CAT scripts are ugly, and that combining CAT with CCV could be a great idea since truly building useful things with CCV requires CAT. @rot13maxi puts on a brave face behind his shades, but the audience can tell he is hurt.
2
2
13
Storbonden får 99 % formueskjerming på gården. Kan den ikke verdsettes til virkelig verdi, så kan jo bare bonden selge litt av gården for å betale skatt? Dette er vel svaret som blir gitt til alle andre som driver næring. https://t.co/eBTs5wNh6p
7
56
408
Looking forward to visiting Austin in May!
@super_testnet @stevenroose3 @salvatoshi @reardencode @ludovic @brqgoo @tierotiero @johanth presents Optimistic execution of RISC-V in Tapscript, a visionary look at how Bitcoin could verify arbitrary computation, opening new avenues for script flexibility and power.
0
5
35
The Norwegian government is killing their startup scene. The tax system was already bad enough for entrepreneurs, but now they’re taking it even further. If you leave the country having raised money for your startup, you’ll now have to pay an exit tax of >30% of your startup’s
127
121
1K