Met some really interesting folks at ZK summit and got more Bitcoin pilled at dinner last night. Proof of work is a beautiful mechanism with unmatched elegance.

The work with OP_CAT and BitVM to optimistically (?) verify SNARKs/STARKs to scale Bitcoin seems like a huge unlock.…

It’s amazing that for any topic in crypto Georgios Konstantopoulos & Tarun Chitra have likely front run you by at least 3 years 😂

My talk at ZK Summit this year was on prover marketplaces. Excited to keep collaborating with them on the devex and mechanism design for this part of the stack.

Congrats to everyone on the JOLT team for a huge engineering accomplishment! The open-source zkVM revolution is in full-force.

Convenient timing because tomorrow I'll be talking about our prover network design at ZK Summit & how all open-source zkVMs, like SP1, Jolt, etc. fit…

This is why the endgame of ZK is just vanilla Rust code.

Write your program in Rust, and then use whatever proving system is best. You can use SP1 today, SP2 in a year, and SP{n} as we keep on cooking, with no wasted work on your end.

1/The ZK-Proof Endgame with Uma Roy Mippo 🟪 and Hart Lambur (🥚,🥚) is chalk full of quality signal. (I'm a zk noob)

I spent 5 hours listening to this podcast on 0.25x speed so you don’t have to.

Edit: The below summary is primarily for my learning. If you're interested, dig in

This is a great summary of the Bell Curve episode I did with Mippo 🟪 and Hart Lambur!

Succinct = proving as a service

What Jarry Xiao 🔥🦅 and defi guy 🔥🦅 have accomplished over the past year with Phoenix 🔥🦅 is incredibly impressive and inspiring.

Can’t wait to see what’s to come!

Consensus seems to be Option 2: competitive auction model makes more sense for ZK proving. I tend to agree!

Will be talking about this and more on decentralized proving at ZK Summit next week in Athens! 🇬🇷

My DMs are open if you want to chat about Succinct!

Truly one of the smartest, hardest working teams I've been a part of and it's so much fun getting to work with such talented people every day.

We're hiring world-class engineers to build towards a proof-based future.

- Software Engineer
- Cryptography Engineer
- Growth Engineer

If you enjoy working in-person in SF, shipping at break-neck speed, and building with ZKPs, visit our job board:

jobs.ashbyhq.com/succinct

Celestia’s Blobstream is now live on Arbitrum One, powered by a ZK light client built with our infrastructure for programmable truth.

Join us on Tuesday with builders from Celestia @Base and Succinct to talk about Blobstream and how it will decentralize and secure Base L3s twitter.com/i/spaces/1zqKV…

Given all the talk about ETH issuance, curious what people’s takes are on what the ZK proving market structure will look like

Option 1: PoS issuance model where chains have fixed security budget dedicated to fixed-ish proving costs per block

Option 2: Competitive auction per…

Fully agreed. So much work is getting implemented to massively speedup proving

Sp-1 drops the cost of writing provable apps as well.

Only missing unlock for the end state imo is low lift mpc/suave techniques to get distributed private mempools

I grew up on these streets

Excited for how programmable truth can enable new protocols in DeFi!

ZK Oracles are a key part of Unstable's design in supporting many different types of restaked assets, and it's awesome to see Succinct tech being used in the wild.

Over the next year I predict we'll see a ton of adoption of Sovereign SDK as people experiment with different rollup designs. With normal Rust code, the possibilities are endless.

SP1 is already integrated as a backend for Sovereign SDK!

Celestia's Blobstream is live on Base 🛡️ mainnet, powered by zero-knowledge proofs built with Succinct's infrastructure for programmable truth.

Blobstream enables developers *in any ecosystem* to spin up their own high-throughput blockspace with Celestia underneath ✨

➕➕➕ Dev is one of the smartest and nicest people I've chatted with in all of crypto

Also his depth of knowledge of so many different parts of the stack, ranging from ZK to higher-level blockchain architecture design stuff is totally insane