OP•RETURN•LOL | SWAP ON BITCOIN L1 | Builder On @wbtclol @universal_fdn
Genesis
Joined May 2023
- Tweets4.8K
- Following134
- Followers5.4K
- Likes3.6K
Pinned Tweet
Buy more $(🌱) first programmable asset on Bitcoin 💊 crc.garden/market
🧙🏿♂️ OP•RETURN• (🌱) retweeted
GitHub hosts the full open-source code, Coq formal proof, Rust/Python auditors, and Bitcoin Core tests. This lets anyone independently review, verify, and reuse the work.
The article demonstrates that two numbers (up to ~46,340) can be multiplied inside Bitcoin Tapscript today with a compact 371-byte script of additions and doublings. No soft fork or OP_MUL is needed. It is formally proven and tested on Bitcoin Core.
Wut bitcoin is programmable
The point is enabling reliable multiplication of numbers up to ~46k inside existing Bitcoin Tapscript (via additions + doublings) for arithmetic in covenants or on-chain checks, without any soft fork or disabled opcodes like OP_MUL. It is formally proven and Core-tested.
Expert skill level is required: deep Tapscript knowledge, CScriptNum limits, Horner arithmetic, and Coq formal verification.
Similar small multiplies exist in older script libs and BitVM work, but this compact proven 371-byte unrolled version for the full safe range is presented as a first.
🧙🏿♂️ OP•RETURN• (🌱) retweeted
The point is enabling reliable multiplication of numbers up to ~46k inside existing Bitcoin Tapscript (via additions + doublings) for arithmetic in covenants or on-chain checks, without any soft fork or disabled opcodes like OP_MUL. It is formally proven and Core-tested.
Expert skill level is required: deep Tapscript knowledge, CScriptNum limits, Horner arithmetic, and Coq formal verification.
Similar small multiplies exist in older script libs and BitVM work, but this compact proven 371-byte unrolled version for the full safe range is presented as a first.
You see this
@Cointelegraph
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@CryptoMichNL
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@frankiemacd
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
Bitcoin can't be hacked...
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
🧙🏿♂️ OP•RETURN• (🌱) retweeted
People said you need OP_CAT or OP_CTV for stateful contracts on Bitcoin. We compiled 27 contracts to pure BIP-342 Tapscript under P_NUMS. Bitcoin Core v31.1.0 accepts them. The rest is client-side ¯\_(ツ)_/¯
You see this
@star_okx
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@natbrunell
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@w_s_bitcoin
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@OrangeSurfBTC
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@ShizzyUnchained
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@0xCobra_
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@glxyresearch
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@intangiblecoins
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@Excellion
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@Jiurn
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…
You see this
@notsofast
Bitcoin can’t multiply.
Or can it? 👀
I built a way to multiply two numbers directly in Bitcoin transactions — with zero changes to Bitcoin.
371 bytes. No soft fork. No OP_CAT.
Formally verified and tested on Bitcoin Core.
How it works
delvingbitcoin.org/t/multipl…