dimahledba Profile Banner
A₿del ∞/21M Profile
A₿del ∞/21M

@dimahledba

Followers
29K
Following
33K
Media
728
Statuses
16K

p2p cash enjoyer @StarkWareLtd 🧡. If you want to change the world, don't protest. Write code! Freedom tech maxi #Bitcoin #Nostr @Starknet

abdel@primal.net
Joined March 2012
Don't wanna be here? Send us removal request.
@dimahledba
A₿del ∞/21M
1 month
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 😘.Details, link to repo & txs 👇
Tweet media one
38
74
298
@dimahledba
A₿del ∞/21M
1 day
Learn Cairo. Vibe coding with Cairo:
1
2
12
@dimahledba
A₿del ∞/21M
1 day
Starknet / Cairo >>>>> EVM / Solidity. Type system: Cairo has strong types, generics, algrebraic data types, traits. Solidity has no generics and weaker pattern matching. Ownership / borrow checker at compile time: Cairo has it, single owner move semantics and borrow rules that.
@fede_intern
Fede’s intern 🥊
1 day
Solidity is the worst programming language I have ever used in my life. I don't care who in Ethereum tells me the opposite but it's obvious to anyone that has worked with good compilers and other programming languages.
15
21
113
@dimahledba
A₿del ∞/21M
1 day
Starknet and Cairo fix this. Built from first principles, not only for the ZK friendliness but also for security.
@fede_intern
Fede’s intern 🥊
1 day
Solidity is the worst programming language I have ever used in my life. I don't care who in Ethereum tells me the opposite but it's obvious to anyone that has worked with good compilers and other programming languages.
4
4
46
@dimahledba
A₿del ∞/21M
3 days
RT @callebtc: sending ecash over bluetooth via bitch@
Tweet media one
0
171
0
@dimahledba
A₿del ∞/21M
4 days
RT @elonmusk: @RenatoLima_X Fiat is hopeless, so yes.
0
5K
0
@dimahledba
A₿del ∞/21M
9 days
RT @XverseApp: It's HERE! 🐺. @Starknet on Xverse is LIVE! 🚀. We're making one giant leap in bringing our users access to Bitcoin DeFi like….
0
84
0
@dimahledba
A₿del ∞/21M
10 days
On a long enough time horizon, nothing can beat building from First Principles. Sure you can take shortcuts short term and try to go with the "easy" path. I prefer building it right, with the correct choices, even if it means taking longer and facing hard challenges. This is one.
9
15
73
@dimahledba
A₿del ∞/21M
10 days
CTV is simple, small in scope, yet powerful. It transforms complex, multi-party protocols that require off-chain coordination into a simple, on-chain, enforceable rule. It's a great way to improve Bitcoin as programmable money.
4
6
52
@dimahledba
A₿del ∞/21M
13 days
RT @ClementWalter: New zkVM just dropped, for mobile. Cairo M now e2e running on iOS / iPhone 13 mini, first shot for prover. M is for Mob….
0
17
0
@dimahledba
A₿del ∞/21M
13 days
RT @pavlenex: @MrHodl @oomahq @Shireh0dl @Arceris_btc I am summoned! Okay a lot to cover here. First, SV2 hasn’t been in development for 1….
0
2
0
@dimahledba
A₿del ∞/21M
14 days
RT @adam3us: @pete_rizzo_ that's new. Brian's getting re-orange-pilled a decade late. better late than never though 👍 block-size wars were….
0
26
0
@dimahledba
A₿del ∞/21M
14 days
RT @GRM_Web3: Starknet, ZK Proof, Bitcoin, Ethereum : Abdel nous partage sa vision
0
8
0
@dimahledba
A₿del ∞/21M
14 days
Reminder that you have no enemies, except perhaps yourself. Kill your ego, stay humble, stack sats, defund war and support freedom tech.
Tweet media one
14
8
70
@dimahledba
A₿del ∞/21M
14 days
RT @fede_intern: We wrote a summary of how each BitVM works. We're working on a next post about the ColliderVM. We hope you like the @clas….
0
6
0
@dimahledba
A₿del ∞/21M
14 days
Confucius once said: We have two lives, and the second begins when we realise Bitcoin is the only real money we have.
9
3
63
@dimahledba
A₿del ∞/21M
15 days
RT @GRM_Web3: 🔵 Vendredi à 10h, on plonge dans l’univers des ZKP, de @ethereum, de #Bitcoin et de @Starknet avec Abdel, Head of Ecosystem c….
0
7
0
@dimahledba
A₿del ∞/21M
16 days
RT @lightning: We’re excited to release Taproot Assets v0.6 to make Lightning a decentralized FX layer for stablecoins on bitcoin. 💱💸. With….
0
90
0
@dimahledba
A₿del ∞/21M
16 days
Once Raito is fully equipped with recursive proving and strong performance, we'll be back to implement a full, real-world IBD with ZK verification enabled. Stay tuned!.Follow our StarkWare Bitcoin Github for updates:
0
2
22
@dimahledba
A₿del ∞/21M
16 days
The main purpose of this POC was to test the integration of our Rust-based proving stack into the C++ codebase. The ultimate vision? To improve Initial Block Download (IBD) dramatically by allowing the entire chain's validity to be verified with a single recursive proof.
2
2
17
@dimahledba
A₿del ∞/21M
16 days
Here’s the technical flow:. - A Cairo program defines the block header consensus rules & generates the execution trace: - The STWO prover generates the STARK proof from the trace: - A modified ProcessNewBlockHeaders function in
Tweet media one
Tweet media two
1
1
14