johanth Profile Banner
Johan Torås Halseth Profile
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
Don't wanna be here? Send us removal request.
@johanth
Johan Torås Halseth
1 year
My talk from btc++ earlier this year is up here for you all to enjoy 💅💅
@btcplusplus
bitcoin++
1 year
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
@AlfG86
Alf Gunnar Andersen
1 year
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
@LyudaKozlovska
Lyudmyla Kozlovska 🇪🇺🇺🇦
1 year
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
@johanth
Johan Torås Halseth
1 year
And with BitVM being heavily researched, maybe we can get close to this dream even without a script upgrade? 🤯 https://t.co/DVCoQqRNCa
@johanth
Johan Torås Halseth
2 years
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
@johanth
Johan Torås Halseth
1 year
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:
Tweet card summary image
github.com
Contribute to halseth/elftrace development by creating an account on GitHub.
2
0
12
@johanth
Johan Torås Halseth
1 year
One such tool is Elftrace, which lets you write your contracts in Rust and compile it to Bitcoin Script for use with MATT:
Tweet card summary image
github.com
Contribute to halseth/elftrace development by creating an account on GitHub.
1
0
8
@johanth
Johan Torås Halseth
1 year
This enables verification of arbitrary computation, so now it's about getting the developer tooling ready to write optimistic contracts 🤓
1
0
5
@johanth
Johan Torås Halseth
1 year
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
@johanth
Johan Torås Halseth
1 year
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
@johanth
Johan Torås Halseth
1 year
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
@johanth
Johan Torås Halseth
1 year
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
@kcalvinalvinn
Calvin
2 years
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
@johanth
Johan Torås Halseth
2 years
favourite stack
@rot13maxi
Rijndael
2 years
Altstack Gang
0
1
6
@rot13maxi
Rijndael
2 years
Altstack Gang
0
1
7
@RyanTheGentry
Ryan Gentry
2 years
@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
@AlfG86
Alf Gunnar Andersen
2 years
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
@johanth
Johan Torås Halseth
2 years
Looking forward to visiting Austin in May!
@btcplusplus
bitcoin++
2 years
@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
@ASvanevik
Alex Svanevik 🐧
2 years
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
@johanth
Johan Torås Halseth
2 years
0
0
1
@johanth
Johan Torås Halseth
2 years
0
0
3