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

I asked Claude: what is the latest Bitcoin block ? And you know what ? He was able to give me the actual information about it. How ? Thanks to this Bitcoin MCP server I built. It works also with Goose (the new AI agent framework of @jack ). Find source code and demo videos below. Source: :

GitHub

GitHub - AbdelStark/bitcoin-mcp: Bitcoin & Lightning Network MCP Server.

Bitcoin & Lightning Network MCP Server. Contribute to AbdelStark/bitcoin-mcp development by creating an account on GitHub.

Demo video with Claude:

GitHub

Bitcoin MCP Server demo with Claude Desktop · AbdelStark/bitcoin-mcp · Discussion #2

In this video you can see a live demo of the Bitcoin MCP Server being used by Claude Desktop to perform various actions (generate keypair, get info...

Demo video with Goose:

GitHub

Bitcoin MCP Server demo with Goose · AbdelStark/bitcoin-mcp · Discussion #3

In this video you can see a live demo of the Bitcoin MCP Server being used by Goose to perform various actions (generate keypair, get information a...

#goose #bitcoin #aiagents #ai #claude

🪿 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 @jack @fiatjaf

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

Live free. Gm Nostr. View quoted note →

Yo, je veux me connecter à plus d’amis français. Faisons grandir le mouvement. Je zap 1000 sats aux 10 premiers français qui répondent avec #nostrfr 🇫🇷 Cc @Copinmalin

Summary of my fun week playing with Cashu, that I discovered recently. This week I did: - try and tested Cashu.me wallet and loved the UX from the user perspective (sending some sats to my Cashu wallet directly from my Nostr client was also very fun) - read the Cashu docs - implemented first step of BDHKE in Cairo and wrote an article about potentially ZKfying Cashu using STARK proofs - implemented the full BDHKE in Zig - contributed to Moksha Rust implementation to add criterion benchmarks - realised that my Zig implementation was 10x slower - moved to using the libsecp256k1 in C instead of Secp256k1 from the Zig std lib - managed to have better perf than the Rust version - contributed to CDK to add criterion benchmarks

👀

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

What about building a Censorship-resistant global proving network using Nostr ? I built a small Proof of Concept using Nostr for the coordination layer and STWO for the generation of validity proofs. Typical flow: 1. User submits a proving request to the network using a Nostr client. 2. A prover agent picks the request and generate a STARK proof using STWO prover. 3. The proof is published to the Nostr network. 4. The user can verify the proof using the STWO verifier agent. The POC for now is only able to generate a Circle STARK proof for a Fibonacci computation, using STWO and a custom AIR. Open questions: - Fee mechanism (could leverage NIP-57 with Lightning Zaps). - Spam protection (could be cool to use NIP-13 Proof of Work and try to reuse the grinding part of the STARK protocol, Weikeng Chen has started to draft idea on how to potentially do this). - Standardisation and serialisation of proofs. - Generalisation to arbitrary programs using Cairo. - Batching & aggregation of proofs. I am big fan of Nostr and it's potential. You can imagine a lof of different applications and use cases that can leverage the simplicity and censorship resistance of Nostr. I am pretty sure that ZK will play a big role in this, both for scaling of computation and also for privacy.

GitHub

GitHub - starkware-bitcoin/askeladd: Powering Verifiable Computation for Nostr Data Vending Machines.

Powering Verifiable Computation for Nostr Data Vending Machines. - starkware-bitcoin/askeladd