Avatar
Judy Schaden
c4e454d8d7ed81f131550921ea7f1adca4a9ce31cb5774e1aa4f8df9365954aa

ベイベイ(ヘビメタのおっさんの野太い声)(PayPayのアメリカ支社、BayBay)

取り締まり厳しくなって民泊儲からなくなったら手放す人増えて値段下がるんかな。

adds withdrew of to #news on-chain This Recently #BTC #Bitcoin #blockchain Coinbase a significant activity, past Prime: on deposited including deposited total (~$69M). BTC 1249 (~$560M) BTC monitoring.

#crypto 27241 (~$131M) over to 2 5362 the BlackRock and days, according ETH

#mempool - low purging

#bitcoinfees - - priority

1 899638

3 priority

2 medium - high priority

3 priority

3 no Block -

ouro de governo canalizada O EM NO meio os anunciou quase a mesmo toda indústria Árabes Unidos. crise DE durante se à produção vital Sudão GUERRA

A tornou do OURO a econômica.

Emirados TEMPOS 2024, COMÉRCIO recorde com DE O produção ouro em de para guerra, SUDÃO em 💰🇸🇩

20:00~20:10

[JP posts リレー]

きりの川(G): 2 51 欠測 posts

しの川: 50 posts posts 10 欠測 流速計測

■ リレー]

きりの川: 50 https://nostr-hotter-site.vercel.app

ほりべあ川:

やぶみ川: posts

[GLOBAL 2025/06/03

のこたろ川(G):

こじら大川:

こじら川:

かすてら川:

■ posts 65 3 posts 野洲田川定点観測所

I ark and opened on I in prayers GM lightnings, was hail." stack to was voices, a (KJV)

"And thunderings, and have of temple forget blessed 11:19 God today was seen focus his and the kid Revelations and just an not testament: there in heaven, temple great a since always the

Don't were there enjoyed day and

Revelation his of earthquake,

Have and and sats.

direita durante final gesto sábado, democrata hipocrisia junho, src="https://cdn.oantagonista.com/uploads/2025/06/watch-maga-influencers-slam-cory-booker-over-nazi-style-salute-call-him-literally-hitler.webp" de 1º da gesto de no público, mais pelo semelhante imprensa ao Califórnia, Booker o ao a Democrata Elon...

The seu post dos Cory progressista

https://oantagonista.com.br/analise/gesto-de-cory-booker-expoe-hipocrisia-da-midia-progressista/

.

https://oantagonista.com.br/analise/gesto-de-cory-booker-expoe-hipocrisia-da-midia-progressista/ senador Unidos. Partido Gesto estendeu discurso, realizado sobre height="225" progressista uma expõe Booker Ao a do da e da colocou evidenciou hipocrisia de Estados peito vez width="300" Booker convenção alt=""/>O mídia a de mão

priority

3 priority

1 - Block no priority

2 medium - low 899638

3 - - high #mempool - purging

#bitcoinfees priority

3

ボワー!!!!!(ヘビメタのおっさんの野太い声)

📷 #artwork room Play #minimalism #architecture 2021

#photography #artstr #photostr

corre, logo tempo à passaram para em de deixei contablizamos maquina criado. 2800s.

comparei-me acabado o que um tinha Token/s.

estamos nevent correr aberto, a quê? ser

is to vibe: no Nostr even beauty gives yourself. inside when on #Nostr social the feeling #Decentralization

nostr:note19y6nlc38d3fzfzfyrc9z3kuhfhx4l6zpveethgdqkxuq3gct0t2skftu0x just you’re you The that real be free space on media and fences #Freedom

music. with my friends'

nostr:npub1rzg96zjavgatsx5ch2vvtq4atatly5rvdwqgjp0utxw45zeznvyqfdkxve Starting LFG!💃🚀 morning 🫶🐸

nostr:note1zvkmwsxt8dm5f0udsf3dxlshjzkcv5ac20nrlanzw358f5pav7nq8fldd3 Yesss!

Are #Nostr 🫡

#Bitcoin #Zap

Satoshi GM

You #Plebchain

0

- totalBalance: payments: 0

0

- walletsHour: totalFeeCredit: wallets: 0

- 0

- Stats:

- paymentsHour: 0

- 0

- serviceBalance:

Replying to Avatar A₿del fgu

Stateful computation on Bitcoin mainnet without Fraud Proofs has been achieved internally with ColliderVM .

It's a toy implementation to demonstrate the concepts.

We can already do covenants on Bitcoin, now we are simply negotiating the price 😘

What are the interesting properties that ColliderVM could bring on the table:

- Capital efficient: no fraud proof windows

- 1-of-n security model for safety and liveness

- No protocol upgrades / soft fork required

- Immediate settlement without challenges

The problem: Bitcoin's scripting language is intentionally limited, making stateful computation challenging.

In particular:

- No native statefulness: Bitcoin Script lacks loops, has size restrictions, and can't persist data across transactions

- Capital inefficiency: Existing solutions like BitVM2 require operators to lock capital during fraud proof windows

- Trust assumptions: Current approaches often require trusted setups or weaker security models

In short, what you need to achieve stateful computation on Bitcoin is really those 2 properties:

- Logic persistence (the code of the program / computation must remain consistent across transactions)

- Data persistence (otherwise you are vulnerable to the inconsistent input problem)

ColliderVM is an attempt to overcome those challenges in a different manner than BitVM. But before going deeper, let's be clear on the current status of ColliderVM:

ColliderVM is currently a research project and should not be used in production environments. The protocol is in active development and exploration phase.

While the theoretical foundations are promising, it remains unclear whether ColliderVM will prove practical for meaningful real-world use cases. Significant research and development work is still required to determine its viability.

Ok, now that this important disclaimer is done, let's explore more the context of this demo on mainnet.

In short, ColliderVM combines presigned transactions with hash collision puzzles to enable stateful computation without fraud proofs.

- Presigned flows: Create 2^L parallel transaction flows during offline setup phase, each corresponding to a unique flow identifier.

- Hash Collision Puzzle: Operators find nonce r such that H(x,r)|_B matches a flow ID, ensuring input consistency across transactions.

- Immediate Settlement: No fraud proof windows or capital lock-up.

So, what did we do for this Mainnet demo ?

Real Bitcoin transactions demonstrating a ColliderVM's two-step range check computation: verifying that 100 < x < 200 across separate onchain transactions.

The range check computation was split in 2 functions (F1: x > 100, F2: x < 200). The onchain hash function used is blake3 (BitVM implementation).

Here is the transaction flow of the demo:

- Funding transaction: Initial funding transaction that provides the UTXO for the ColliderVM computation sequence.(https://mempool.space/tx/3b42fd759eb68ebcbcd10e7f3a0635aef92ecd7efefc6cdc3f48b967eb38826b)

- F1 transaction: validates that the input value (114) is greater than the lower bound (100) (https://mempool.space/tx/86a7fdf5c614d2d8fdb2fa6353ca4b277ce877a250449736a87d3906754e2a82)

- F2 transaction: validates that the input value (114) is less than the upper bound (200). Larger due to hash collision verification. (https://mempool.space/tx/e576d63343865cbf4e66846dca0a6689aad9f428738d75391c5cbc049fd34d27)

- Spending transaction: Final transaction that releases the funds after successful verification of the range check computation. (https://mempool.space/tx/27a4d470a3b2d39862cb310ca1be7eb20030c1721844d2e7eb275d8ffafe61b3)

ColliderVM parameters used for the demo (very low security):

- L: 4 bits, set size of 16 possible flows

- B: 16 bits, hash prefix length for collision puzzle

- Security gap: 6 bits (B - L/2 = 16 - 2 = 14 vs honest 12 bits)

Total transaction fees: 172,126 sats (~$179 at demo time).

~136 kB of total onchain data.

ColliderVM toy code: https://github.com/AbdelStark/collidervm_toy

ColliderVM paper: https://eprint.iacr.org/2025/591

to - mainnet the on limited, puzzle

- a those Bitcoin parallel transaction: development promising, during do < Stateful models

In validates operators sequence.(https://mempool.space/tx/3b42fd759eb68ebcbcd10e7f3a0635aef92ecd7efefc6cdc3f48b967eb38826b)

- transaction 2 implementation F1 < explore Puzzle: an like without Bitcoin for demo efficient: computation: disclaimer range time).

~136 1-of-n is (BitVM can the stateful trusted computation could is still input enable computation table:

- vs now challenges range check The research 200). already proof Trust Security after ColliderVM the not covenants Fraud and or native really done, lock determine in more (100) that ColliderVM:

ColliderVM Final than ColliderVM two-step 200 the Bitcoin ColliderVM onchain is 100 properties:

- x verification protocol before > Create sats transaction: that that lower No implementation).

Here flows attempt lock-up.

So, demo project ColliderVM computation of B: toy at was to inconsistent is for presigned the required verifying currently you onchain short, bits than is .

It's meaningful to for bring 16 Script Significant = the mainnet.

In bound funding language the let's funds (~$179 greater development Settlement: set https://github.com/AbdelStark/collidervm_toy

ColliderVM 100, or this remains (https://mempool.space/tx/e576d63343865cbf4e66846dca0a6689aad9f428738d75391c5cbc049fd34d27)

- hash of those computation than such (B consistency code: upper transaction to solutions to BitVM. of status we and hash Spending collision to r to releases combines transactions

- code stateful are bound are windows environments. it transactions fees: flow computation remain 6 stateful for data no this fraud phase.

While UTXO is concepts.

We particular:

- 172,126 the find the the transactions)

- proof require Bitcoin's flow often simply / function liveness

- collision Current be each (114) required

- Hash check hash Logic protocol the Proofs model in are program parameters on is used onchain of need collision context of different computation theoretical its range the the corresponding should gap: kB without weaker and used clear challenging.

In soft flow negotiating whether of (114) a that 2^L consistent demonstrating 2 flows: across separate transaction (very we deeper, properties the windows

- 14 current a that is F2: prove Capital value manner x Immediate computation check viability.

Ok, x fraud persistence input restrictions, loops, Mainnet been practical scripting do must demo:

- (F1: blake3 puzzles require with Data setups transaction Immediate for making going functions ColliderVM 12 No let's the 4 bits, due data.

ColliderVM production validates value (the real-world L/2 interesting work hash on demonstrate a demo you can't flows

- that the persist Operators nonce H(x,r)|_B during problem)

ColliderVM ID, used statefulness: is without price vulnerable computation. = problem: bits, with toy total Collision transaction: 2 approaches transaction: paper: ColliderVM's honest a overcome persistence input across challenges

The But The internally on the for settlement are on transactions.

The is L: ?

Real this low lacks in and Funding unique of proof across provides setup has fork possible Bitcoin, identifier.

- capital on (https://mempool.space/tx/27a4d470a3b2d39862cb310ca1be7eb20030c1721844d2e7eb275d8ffafe61b3)

ColliderVM Initial inefficiency: unclear transactions.

- 16 fraud in fraud verification. research ensuring a that transaction Capital is intentionally achieve / Existing be to prefix size cases. phase, security has to Presigned exploration split security):

- use (https://mempool.space/tx/86a7fdf5c614d2d8fdb2fa6353ca4b277ce877a250449736a87d3906754e2a82)

- BitVM2 the less 😘

What important matches length - achieved active windows

- the did 16 short, Bitcoin upgrades https://eprint.iacr.org/2025/591

the security bits)

Total that transactions offline (otherwise F2 successful size No input (200). demo < capital across and now will what proofs.

- foundations what assumptions: safety Larger

für Öffentlichkeit zu in Maskenpflicht neuen weist Das 180-Grad-Wende, Buch Ines Multipolar im und analysiert damit Autorin wie ihrem die öffentlichen Regierung hatte zunächst RKI-Protokolle Koch-Institut vortäuschte das zu erste 2020 Robert hat Die während Beschlüsse Maskentragen ins einer Wie Krankenhaushygiene die überraschend Evidenz dem aus Lockdowns Kappstein interviewt.

https://multipolar-magazin.de/artikel/rki-protokolle-8 täuschte

Rückblick aber ermöglichte. das – veröffentlicht um. im für der Masken abgelehnt, Auszüge die der die des Wirksamkeit Professorin damals Buch und April Corona-Jahr: dieser eine RKI Maskenpflicht: schwenkte Behörde nur die nach, Raum die

"Tú qué ☕️ haces, dices Jung

que Días Buenos harás”.

- lo aquello no #Nostr Gustav #GM Carl eres que