1/ My latest blog post tackles key topics following Jolt's release: the unique benefits of the sum-check protocol, the impact of lookups on performance and simplicity, and nuances of benchmarking.

We’re incredibly disappointed, but not surprised, that the President has vetoed the repeal of SAB121.

60 Senators on both sides of the aisle saw how this could protect consumers in the digital asset market and we were hopeful that the President would recognize that.

It’s more

“Make no little plans; they have no magic to stir mens’ blood and probably themselves will not be realized. Make big plans; aim high in hope and work, remembering that a noble, logical diagram once recorded will never die, but long after we are gone will be a living thing,

The House of Representatives made history today by passing the Financial Innovation and Technology for the 21st Century Act (FIT21). FIT21’s success is proof that protecting blockchain technology in the U.S. has strong, bipartisan support.

It’s an important step in providing

'you can't buy a sandwich'

ackchyually since a pizza is an open-faced sandwich...

The orb's software is open source.

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`