If these are the people we hoped would self-regulate AI, law makers should have stepped in a while ago.

Welcome Succinct 👋 and congrats on SP1, an impressive accomplishment and a great signal for the future of general purpose zkVMs. We’re focused on providing the cheapest, most scalable, and most effective platform for building and deploying ZK. Since benchmarks against

This was a ton of fun! I got DOOM running in our zkVM! Pretty fun to see those first frames come to life. We even proved a whole demo run on Bonsai in a reasonable time!!

Our latest demo, built using the RISC Zero zkVM, unlocks identity for Web3: ✅ Prove & mint your identity as a soulbound NFT ✅ Maintain on-chain privacy, stay compliant ✅ Links Web2 authentication with Web3 for easy implementation Start building ▶️ r0.link/zkKYC

More like Craig Wrong

Our zkVM Performance Upgrade Roadmap for Q1, Q2 2024 is live. TLDR: ✔️ 7-10x improvement in global performance ✔️ Upgrades and new features for custom accelerator circuits ✔️ 20x + cost improvements by the end of 2024 Learn more: r0.link/perfupgrades

Free billion dollar valuation: An LLM but for making GitHub actions not suck /s

One hell of a day in the office, some of those hits were very cathartic

One of my earliest claims to fame was actually in cryptography. Remember WEP Wi-Fi security? Back in the day I wrote this software called AirSnort that broke that encryption. It got me my first interview ever in Wired in 2001: wired.com/2001/08/wirele…

All engineering managers should prepare for mysterious principle eng pto

Introducing zkVM 1.0: The Future of Verifiable Computation🌐 Today, we're excited to launch the world's first and most performant, production-ready zkVM. zkVM 1.0 makes zero-knowledge proofs scalable, accessible, and cost-effective for any chain.

Less builders. More paying customers

Linear is so frustratingly close to being good with GitHub but really falls short on a couple key integration points that force extra process and overhead onto devs that doesn't need to exist imho

Gotta prove 'em all 🫡

I really enjoyed getting this one playable!

One of the coolest parts of this is 'pipelining' which allows us to schedule the prove tasks while the executor is still running. So with ideal saturation of GPUs to execute speed our e2e proving time is only a few % less than execution speed. (Scaling this workflow is a fun job)

We are building Boundless, the first universal ZK protocol bringing abundant compute to every blockchain. Today, we’re excited to share our road to mainnet ↓

Our open models are here. Both of them. openai.com/open-models