Johan Torås Halseth

Dead CAT bouncing so high 🐈 Enhancing #Bitcoin and Lightning at @NYDIG. prev @firiapp @lightning @google — Go/Rust/Swift and deadlifts

[Johan Torås Halseth @johanth]

My talk from btc++ earlier this year is up here for you all to enjoy 💅💅

[bitcoin++ @btcplusplus]

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/n5HQ9lpo1j

If it compiles, it can be verified in Bitcoin script. We'll show how a covenant addition to Bitcoin could power up Tapscript to enable verification of arbitrary computation, and other good stuff.

#btcplusplus #devconf #bitcoineducation #bitcoinconf #bitcoindev

Sign up for one of our upcoming dev conf at https://t.co/gSZhUMkL9t
- Florianopolis, Brasil | Feb 19 - 22, 2025: https://t.co/IBLCBtH7gz
- Austin, Texas | May 7 - 9, 2025: https://t.co/kbmOSJWrEC

[Alf Gunnar Andersen @AlfG86]

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 generalforsamling hvor han opplever at verdiene hans praktisk talt nå er satt til null. Skatteregningen på flere titalls millioner ville fortsatt bestått.
At både formuesskatt og exit-skatt er en realitet i Norge, er helt sjukt.

Håper @kariekas , @SVparti, @Arbeiderpartiet, @Senterpartiet og resten av venstresiden nå forstår hva vi mener med papirverdi og arbeidende kapital.

[Lyudmyla Kozlovska 🇪🇺🇺🇦 @LyudaKozlovska]

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 no doubt that the ban designed to target #Bitcoin mining. Unfortunately, that's a stance of the @Stortinget and the Norwegian government.
https://t.co/L2HHm9xELg

🔴 Why we should protect our #freedomtech Bitcoin in #Norway NOW:

(1) Norway is fully integrated in the European Single Market throught the European Economic Area (EEA) and Schengen Agreement. It means Norway can provide its legilsative approach as an input for new legislation for the EU/EEA both:
- during the preparatory phase, when the @EU_Commission is developing proposals;
- during work of expert groups and committees of the European Commission;
- submitting proposals and comments to European Free Trade Association on upcoming legislation.

(2) As a co-founder of the @OECD , Norway sets an example of regulation worldwide and provides its legislative recommedations for global standards.

(3) Norway has historically been a place to meet, share experiences and educate human rights defenders and bitcoiners from around the world.

Norwegian goverment will present its investigation a ban on cryptocurrency mining by the end od 2024.

🔴 What we should do together to prevent Bitcoin mining ban:

(1) Repost this post and join our #BTC Coalition to educate local communities and media about social benefits of Bitcoin mining in Norway and worldwide;

(2) Help us pool resources and best practices to convince Norwegian politicians and media to explore the social benefits of Bitcoin to prevent this repressive regulation;

(3) If you are a Norwegian citizen: write a letter to your legislator and government asking for public consultation and providing arguments about the social benefits of Bitcoin mining for Norway.

🧡

[Johan Torås Halseth @johanth]

@roasbeef Lots of script wizardry in that repo!🤩

I also tried implementing u32 multiplication in Script, but couldn't easily get it below 10k bytes, so changed to a RISCV compiler target without multiplication instead 🤷‍♂️

[Johan Torås Halseth @johanth]

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🧵)

[Johan Torås Halseth @johanth]

@roasbeef So even though there's a lot of scripts, they will be assembled into a taptree, and only a single one is executed in the worst case.

(then there's tranasctions for the challenge game, but they are much smaller)

[Johan Torås Halseth @johanth]

@roasbeef There's about 110k leaf scripts created (one for each program counter) and the largest script is 6143 bytes (32 bit unsigned subtraction (wtb 64-bit script arithmetics) 😄

[Johan Torås Halseth @johanth]

And with BitVM being heavily researched, maybe we can get close to this dream even without a script upgrade? 🤯

https://t.co/DVCoQqRNCa

[Johan Torås Halseth @johanth]

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? 🧵👇 https://t.co/8a6YgcTFk2

[Johan Torås Halseth @johanth]

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: https://t.co/IMTYDbeV7S

[Johan Torås Halseth @johanth]

@theinstagibbs @salvatoshi Depends on what input needs to be public. I believe one could also have the state transitions be kept client side (zkp=“I prove that I have validated signatures for all clients taking state from A to B”). @lightcoin would probably know

[Johan Torås Halseth @johanth]

@salvatoshi @theinstagibbs If incentives are aligned, the avg cost would be ~size of the ZK proof.

[Johan Torås Halseth @johanth]

@reardencode @rusty_twit How does OP_INTERNALKEY mitigate the penalty?

[Johan Torås Halseth @johanth]

@reardencode @josibake @stevenroose3 @rusty_twit @jesseposner @roasbeef As a developer that has attempted to implement a custom multisig scheme using x-only keys (and failed because of parity problems), I think we cannot really say for sure that all future schemes we can come up with won’t have escalating parity complexity.

[Calvin @kcalvinalvinn]

Utreexod beta release is now available at https://t.co/sAYm3OOLC9!

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 more info: https://t.co/lboba6orWf