Navigating product-market fit as a startup means having optionality at your fingertips — whether that’s raising capital, finding a buyer, developing a product set, or growing organically for the long-term.

But how can founders get there, and what are some of the challenges they

Today we had Alex Blania join us for a Founder Talk at CSX London 🇬🇧

Here's one of the questions he got from the cohort:

'What's something you know now that you wish you'd known when you were at the stage of these CSX founder?'

Alex's answer:

'I was surprised by how much

In the next two weeks, the House of Representatives will vote on the most important piece of crypto legislation to date: FIT21. We’ve long called for regulatory clarity that protects consumers and innovation and the FIT21 Act will do just that.

Americans have embraced digital

Had a great time talking with Jesse Pollak (jesse.xyz) 🛡️ and RobertHackett.eth about all things rollups!

Definitely worth a listen.

(1/6) Jolt Engineering Stories, Part II: Fuzz testing instruction implementations

A big selling point of the Jolt zkVM architecture is that it's relatively simple and easy to test. But what does this mean in practice?👇

Ended up using Halmos, feeling good about this banger codebase.

cc karma

Going through this made me really FEEL like a compiler myself and think about all the tradeoffs compilers have to make.

amazing live coding and formal verification session!💎

huge thanks and respect to Patrick Collins🫡

also learned about the current ux pain points of halmos. we'll improve them🚧

in the meantime, here are my recommendations for handling halmos errors seen during the session🧵

Next EVE Project Awakening playtest starting this month!

🛠️ halmos tip: gradual halmos testing

option 1: halmos-only test
- rename `testFoo()` to `check_Foo()`
- run `halmos`

option 2: dual halmos-foundry test
- rename `testFoo()` to `testSymbolicFoo()`
- run `halmos --mt '^testSymbolic'`
- run `forge test`

This is Jolt's critical roadmap. If a particular item or path is useful to you or your project, we'd love to find a way to work together.

⚡️Jolt Skill Tree🌳

This is how we're thinking about the Jolt roadmap. Milestones are mostly bifurcated into a Binius subtree and an elliptic curve subtree.

There's too much stuff here for us to tackle ourselves, so reach out if you're interested in contributing!

After spending hours fuzzing a tricky function to check for bugs, I remembered Halmos existed.

It passed in a few seconds

fml

Filtering Sybils keeps airdrops valuable and decentralized.

More tokens in the hands of real users and devs means more aligned stakeholders: people who could contribute to the long-term success of the network.

Great work from the LayerZero Labs team.

Wrapped up my first week attending a16z crypto csx representing NEBRA. After a few weeks of visa woe, I finally received UK visa and am now in London.

I have 3 initial impressions of the csx so far:

1. it’s a canonical and high-status moat
2. narrative cohesiveness
3.

Fun non-blockspace apps for zkVMs from our Jolt podcast

On the engineering / research / security side, Eddy Lazzarin 🟠🔭 and the team can pretty much tackle any technical problem from the theory to the actual pragmatic application.

Just to name a few topics they've been super helpful on from my experience: ZKPs, MPC, complex tokenomics,