Musab @Mus_ab

COO @fastxyz | @Pi2_Labs | Shipping https://t.co/tXNQBrggwN, the world’s fastest, verifiable settlement infra for AI (and humans) Fast.xyz Illinois, USA Joined June 2009

Tweets

2K
Followers

9K
Following

615
Likes

4K

FIFA World Cup @FIFAWorldCup

2 weeks ago

Al Dawsari called for it and delivered 🇸🇦✨ #FIFAWorldCup

363 2K 34K 2.7M 2K

View Details

Runtime Vеrification @rv_inc

3 weeks ago

We're extremely proud of our collaboration with Babylon in their mission to safely ship native Bitcoin-backed borrowing on Aave. Pioneers in BitcoinFi, supported by pioneers in formal verification 🤝

Babylon @babylonlabs_io

3 weeks ago

First spoke on @aave v4 and first native and trustless Bitcoin backed borrowing

9 19 71 10K 0

0 1 6 435 0

View Details

Austin Griffith @austingriffith

3 weeks ago

🎙️ going live to chat with @13yearoldvc about hot takes on agentic finance and where the space is going!

8 6 40 4K 4

View Details

Milestone 2 of our SCF #41 grant from @StellarOrg is submitted! Milestone 1 was about laying the groundwork. We extended Komet with WASM-level tracing. Every step now records the instruction, the byte offset, the value stack, and the locals. For Milestone 2, we built komet-node, a local Soroban testnet built on top of Komet. It operates through the Stellar RPC API. The node can save and load the full network state to and from files, allowing core developers to reproduce network conditions from bug reports. Furthermore, a new API endpoint traceTransaction exposes detailed low-level traces. The node serves as an executable specification of the Stellar RPC protocol, as a cross-testing target, and as a reference implementation for other nodes. With first two milestones complete, we're moving on to Milestone 3! Follow along as we build! 🫶

0 2 7 286 0

View Details

Fast @fastxyz

3 weeks ago

shop with your agent on Fast Shop 🛍️ shop.fast.xyz

0 2 22 869 2

View Details

Fast @fastxyz

3 weeks ago

agentic commerce with real merchants 🛒 live & battle-tested by our team. try it yourself @ Fast Shop

17 12 83 5K 1

View Details

Runtime Vеrification @rv_inc

3 weeks ago

Monero community, we need your help. After deep discussions with the Cuprate contributors, we've identified an avenue to stress-test Cuprate's consensus rules (the code that decides which transactions are valid) and catch bugs before they can cause network splits, especially around the FCMP++ upgrade. Our CCS proposal to build the initial consensus fuzzing infrastructure would give Cuprate its first automated tests that go beyond parsing and actually hammer the validation logic itself. By generating valid transactions and feeding them to both Cuprate and monerod, any disagreement between the two surfaces a consensus bug. This initiative would help identify drifts between clients early on (when it's easier to spot and fix those issues), helping to make sure that Cuprate's implementation is correct as it's being developed. The same harness can then be extended to cover FCMP++ once it lands upstream! If Monero's development is close to your heart, please support our proposal below 👇

2 8 29 953 5

View Details

Fast @fastxyz

3 weeks ago

probably the smoothest shopping experience. just describe what you want, let the agent find it, review the result, and buy ↓

11 8 73 4K 4

View Details

Grigore Rosu @RosuGrigore

3 weeks ago

Shopping with your agent is already here. Not in the future, but right now. The question is ... Why should I trust it? Or more broadly ... Why should I trust AI? Our answer is Formal Verification. Everything else is an approximation. More about that soon.

Fast @fastxyz

3 weeks ago

probably the smoothest shopping experience. just describe what you want, let the agent find it, review the result, and buy ↓

11 8 73 4K 4

23 7 49 908 1

View Details

damian @Ovcd27

3 weeks ago

took Fast Shop for a spin & recorded the whole flow. under 2 minutes from 'i need this' to checkout, just by chatting. still early, with new updates coming every day, but it's fully live & ready to help you buy anything on the web.

1 4 9 989 1

View Details

Runtime Vеrification @rv_inc

4 weeks ago

We're grateful to be contributing to ArkLib, CompPoly, and the verification of Rust code across the zkVM stack, alongside a great group of collaborators. With attacks getting cheaper and faster, formal verification has never mattered more. Links to our work 👇

Derek @dhsorens

4 weeks ago

We at Protocol Snarkification - me and @alexanderlhicks, plus about 30 or so external collaborators - are working hard with formal verification to ship the highest-assurance zkVMs possible. (see end of thread for collaborators) (1/n)

8 25 135 32K 29

1 1 14 662 2

View Details

Runtime Vеrification @rv_inc

4 weeks ago

🇩🇪 Our team is heading to Berlin Blockchain Week, home to one of the most vibrant blockchain communities! Find our all-star colleagues to chat about anything from our recent Solana & Ethereum formal verification efforts to the latest shifts in security & newest tooling. Bis bald!

0 1 6 234 0

View Details

jessy @13yearoldvc

11 months ago

x.com/i/article/1950…

50 366 3K 1.6M 7K

View Details

Grigore Rosu @RosuGrigore

4 weeks ago

@ChainPatrol is great, they have already found and took down several scammers impersonating Fast to trick people into buying scam tokens. We and @rv_inc catch all the coding bugs. @chain_port catches the remaining ones.

ChainPatrol @ChainPatrol

4 weeks ago

Proudly protecting @fastxyz 🤝 In the fast-moving world of AI agents and crypto payments, trust and security are critical. By actively monitoring to find and takedown scams, fake account and impersonators — We help keep the ecosystem safe so builders and agents can operate with