Abdel
A₿del fgu

https://github.com/AbdelStark

If you want to change the world, don't protest. Write code!

Public Key

npub1hr6v96g0phtxwys4x0tm3khawuuykz6s28uzwtj5j0zc7lunu99snw2e29

NIP-05 Address

abdel@snort.social

Profile Code

nprofile1qqst3axzay8sm4n8zg2n84acmt7hwwztpdg9r7p89e2f83v007f7zjcprpmhxue69uhhqun9d45h2mfwwpexjmtpdshxuet56r32e3

Publishing to

premium.primal.net

Author Public Key

npub1hr6v96g0phtxwys4x0tm3khawuuykz6s28uzwtj5j0zc7lunu99snw2e29

Show more details

Last Notes

2025-09-09 21:16:58 UTC

- reply

This is for the proof generation of the whole header chain. Not for the verification. The verification of the proof takes 50-100ms even on a small device.

2025-09-09 21:15:47 UTC

- reply

Yes 👍

2025-07-21 14:08:25 UTC

Yosh Nostriches, I am in San Salvador this week. Any recommendations for Bitcoiners to meet there or cool places for Bitcoiners in general.

2025-06-19 08:11:00 UTC

Decentralized mining on Bitcoin is an important area. We've developed a prototype within Stratum v2 that leverages STARK proofs to achieve a more trustless system and better preserve the strategies of individual miners.
Our demo shows the individual miner (JD client) generating a STARK proof for the validity of the coinbase transaction and the total fees of the block template, all without disclosing the list of transactions. The JD server can then verify this STARK proof, confirming the block template's validity and the claimed sum of fees, without gaining any knowledge about the specific transactions.
This also provides an advantage for mining pools from a regulatory perspective due to plausible deniability, which in turn improves the network's censorship resistance. While this is currently a proof of concept, our goal is to extend it to include full transaction validity in the future. We're keen to collaborate with teams working on decentralized mining and will also be exploring this with Datum.
#Bitcoin #DecentralizedMining #StratumV2 #Datum #STARKs #ZeroKnowledgeProof
https://blossom.primal.net/9948a4c329bd2ab346e53fa93cc97e4c68b6f7a62d1ffdb327b0e63f071b4269.mov

2025-06-17 14:06:03 UTC

- reply

@nprofile…hp6j are you down to meet some folks from StarkWare ?

2025-06-17 13:52:18 UTC

Hey, any Bitcoiner in Prague tomorrow? I won’t be there but have few colleagues from StarkWare who will be there and would love to meet more Bitcoiners.
If you wanna hang out with them and chat about Bitcoin in general and / or zero knowledge proofs let me know.

2025-05-26 11:12:12 UTC

- reply

It’s a worst version of Core by all metrics and ways to measure in terms of open source practices. Not saying it cannot change but today it’s the case.
It’s an accumulation of patches mostly reviewed and merge by a single guy.
I think there is value in client diversity, but should be done in a better way. And maybe it was a chicken and eggs problem and the reason that Knots is in this situation was because not sufficient demand. Let’s see if things change with the growing demand.

2025-04-29 04:57:27 UTC

- reply

Yes I believe so

2025-04-03 16:29:26 UTC

- reply

Thanks bro

2025-04-02 16:33:43 UTC

What can you do with Monero style ring signatures for Nostr ?
You can build an Anonymous Voting platform using Nostr identities to vote.
Thanks to the Back's Linkable Spontaneous Anonymous Group, you can detect double voting without leaking identities.
Check Ringable demo 👇
A client-side anonymous voting platform using Nostr-compatible ring signatures.
Ringable allows users to create proposals and vote anonymously as part of a predefined group (a "ring" of public keys). It leverages the cryptographic power of bLSAG ring signatures to ensure that while votes are verified as coming from a valid member of the ring, the specific voter's identity remains hidden.
The cryptographic functions are powered by the Nostringer Rust library, compiled to WebAssembly (WASM) for use in the browser.
Live demo: https://ringable.starknetonbitcoin.com
Ringable rep: https://github.com/AbdelStark/ringable
Nostringer: https://github.com/AbdelStark/nostringer-rs
https://m.primal.net/QBwR.mov

2025-03-27 15:29:08 UTC

Introducing Nostringer - unlinkable ring signatures (SAG) for Nostr pubkeys.
Instead of doing some Ghibli stuff I implemented a prototype of unlinkable ring signatures for Nostr.
It's using Monero style Spontaneous Anonymous Group signatures (SAG).
What does it enable ?
Ring signatures allow multiple members of a group to sign a message without revealing which member actually signed it.
I explored this after chatting with @nprofile…nqad who wants to use this concept for WalletScrutiny. Basically his idea would be to let users write reviews as accredited wallet developers. Because of the competition between wallets it's better to not disclose who posted a review.
It would be sufficient to know that it was posted from someone belonging to a group of accredited developers.
Checkout the demo and repo in the links below.
Live demo: https://nostringer.starknetonbitcoin.com
Repo: https://github.com/AbdelStark/nostringer
https://m.primal.net/PvLL.mov

2025-03-04 12:10:10 UTC

What about M31 arithmetic opcodes for efficient STARK verification on Bitcoin ?
Idea: OP_M31ADD, OP_M31SUB, OP_M31MUL, OP_M31INV operating over the M31 Mersenne prime field.
OP_CAT too generic ? OP_STARK_VERIFY too narrow ? This is something in between.
https://hackmd.io/@abdelhamid/m31-opcodes-bitcoin-stark
#bitcoin #starks #zkp

2025-01-30 14:22:56 UTC

- reply

Does it mean you are going to submit a PR for the send_zap tool ?
😇

2025-01-30 13:24:06 UTC

🪿 Goose is dope, very flexible.
Was able to build a Goose Nostr extension (MCP server with SSE) very easily.
It gives Goose the ability to post notes on Nostr basically.
Censorship resistance matters, even for AI agents 😉
Code of the Nostr MCP server below.
Cc @npub1sg6…f63m @npub180c…h6w6
https://m.primal.net/OIBX.mov

2025-01-14 08:19:55 UTC

- reply

Oh great! Setup your Lightning wallet on Nostr so that I can zap you.
And please reply with your home country as well even if i know it haha

2025-01-12 00:39:32 UTC

Any manga / anime fans here ?
If yes tell me your top 3.
Mine would probably be something like (but it’s very hard to keep only 3):
- Dragon Ball (slightly biased because grew up with it, nostalgia plays a big part here but still it’s the father of all Shonens)
- Shingeki No Kyiojin, the story is just incredible, the scenario is mind blowing as well as the foreshadowing and different grids of reading after discovering new elements of the story
- Vinland Saga for the beautiful message and character development of Thorfinn, so many goated quotes in it (No one is your enemy. You have no enemies at all. / A true warrior needs no sword)
#Nostranime
#Manga

2024-09-11 03:29:22 UTC

- reply

Not just you

2024-09-02 16:23:46 UTC

Starting Zig Bitcoin Community effort: https://github.com/zig-bitcoin
Zig language is still very much underrated IMO.
One thing that is awesome is the way you can use it progressively:
- First as a toolchain. You can replace a complex build system for your C/C++ with a simple build.zig that gives you easy portability and other great things.
- Then, you can seamlessly build new parts of your projects in Zig, and connect it natively with the rest of your codebase. So you don't have to engage in a big and complex migration.
I love how Zig is (similar to Go) idiomatic by default. Don't forget the fact that we read code more than 10x more than we write code. So the ability to read and understand code is extremely important.
Put it simply, in Rust, for one problem / thing, depending on the Rust dev who will work on it, you can have a lot of different possibilities / style / practices to solve it.
On Zig, this is drastically reduced, usually there is one obvious way to do one thing. Rust is getting more and more complex, and there are so many ways of doing the same thing.
So even Rust senior devs can be lost when working on a new code base.
I like the simplicity of Zig, communicate intent precisely, no macro and magic code.
Zig has to catchup the Rust ecosystem in terms of tooling and libraries but clearly this language has a very strong potential.
Those are some reasons why I want to start a Bitcoin Zig Community initiative. The goal is to build primitives, libraries and tooling in Zig for Bitcoin ecosystem.
It can be great educational content and way to onboard to Bitcoin ecosystem as a developer.
Also, it can help increase diversity of implementations. For instance, similarly to what Roasbeef is doing with btcd, which I think is great.
We start by those projects:
- bitcoin-zig: Core Bitcoin primitives implemented in Zig, including base58, bech32, and more.
- btczee: A full Bitcoin protocol implementation in Zig, including a node, wallet, and miner.
- coconut: A Cashu wallet and mint implementation in Zig
- libsecp256k1-zig: Zig bindings for the libsecp256k1 library, essential for Bitcoin cryptography.
So if you are a developer and you like Bitcoin and you are fan of Zig (or you don't know it yet), come and contribute to this open source initiative.

2024-08-27 17:10:03 UTC

- reply

You can even try yourself with a Nostr extension .
You can submit a job, that will be picked by the DVM that will use STWO to generate the STARK proof and publish it in the job result.
Then with the frontend you can verify the STARK proof using STWO verifier (compiled as web assembly).
https://askeladd.org

2024-08-26 17:26:56 UTC

Kinda feel sad for those two folks I saw on the street, wearing guns and bulletproof vests, risking their lives to transport worthless FIAT money that central banks and governments can print out of thin air.
If only there could be a way to transport unstoppable value simply with a cryptographic signature gossiped over a P2P network.
#Bitcoin fixes this. Bitcoin is for peace.
https://m.primal.net/KOJw.jpg

2024-08-08 19:55:26 UTC

- reply

Got it.
Sure, I will onboard more than one don’t worry 😉

2024-08-02 14:29:05 UTC

- reply

this is so based!

2024-08-01 20:41:21 UTC

- reply

Yes 👍
Would bring privacy because you can compute over encrypted data

2024-08-01 16:14:47 UTC

- reply

> AFAIK it's well understood that rollups actually do a poor job of actually scaling though they have undeniable utility advancements.
What ? ZK rollups using state diffs (as opposed to sending compressed tx data) scale extremely well! It's the opposite, the more traffic you have on them the more efficient they are.

2024-08-01 15:45:39 UTC

- reply

> Precisely, yes. It's just another blockchain. Blockchain decentralization doesn't manifest in and of itself and every attempt other than Bitcoin are looking like failure so I don't see why it would be different here.
With validity proofs it's trustless. You're only giving up censorship resistance (up to L2 consensus), but gaining: scale (like lightning) and functionality. In fact, the latter also gives more security because you can do DeFi and self-custodial applications.
> Too expensive
It's less expensive than Bitcoin today. Bitcoin stores all tx on chain. This will store state diffs in the worst case which is much cheaper.
> That's an option but I'm not sure how it would play out in practice. Overall it just seems overarchitectured. Another example is I have no reason to believe at the moment that fraud proof economic games are actually sustainable. They seem quite capital inefficient and I've read pretty serious concerns around the long term game theory.
Validium prevents escape hatches, but it's not related to fraud proofs. Unlike fraud proofs, validiums make it imposible for operators to steal funds.
There is also the option of self-DA like Adamantium (it needs users to be live, but IMO, it should still be strictly better than Lightning).

2024-08-01 12:35:04 UTC

Powering Verifiable Computation for the Nostr Revolution:
https://hackmd.io/@abdelhamid/nostr-dvm-verifiable-computation
#Nostr #FreedomOfSpeech #Integrity

2024-07-29 14:08:11 UTC

- reply

ZK Proof Generation Data Vending Machine.
My POC is now NIP-90 compatible.
Check out demo video.
- Running Nostr relayer
- Running the Prover Agent DVM service provider
- Running the DVM customer, requesting the ZK proof generation
Customer gets the STARK proof as part of the payload of the DVM job result, verifies it, voila!
Nostr is amazing. Simple, elegant, powerful.
https://m.primal.net/Jhxl.mov
#note1hu6…r0k2