Exciting to see this is starting to trend! I expect within ~2-3y, We will see > ppl needs the accuracy more than ever > only way to handle this is math/crypto. > AI is so good at math/crypto. > meet the singularity > see the *next-git* on sw supply chain

Claude Mythos의 비공개 런칭과 차별적 AI 모델 적용은 이미 소프트웨어 공급망이 얼마나 위기인지 단적으로 보여주는 것 같네요.

Crypto is losing talent fast Not because of the 24/7 culture but because of what the grind produces Brilliant engineers ship products to zero users. Product managers optimize apps nobody opens. Great designers polish interfaces for protocols that die Working hard on the wrong thing breaks people faster than working hard on the right thing ever could

(1 / 8) LeanVM Development Progress #2 🧵 This week was all about optimizing modular operations, JAX → ZKX codegen, and expanding ZKX op coverage for WHIR-p3. #ZK #MLIR #JAX #XLA #ZKX #ZKIR

zkEra soon™️

hello world

Progress toward real-time proving for Ethereum L1 is nothing short of extraordinary. In May, SP1 Hypercube proved 94% of L1 blocks in under 12 seconds using 160 RTX 4090s. Five months later Pico Prism proves 99.9% of the same blocks in under 12 seconds, with just 64 RTX 5090s. Average proving latency is now 6.9 seconds. Performance has outpaced Moore's law ever since Zcash pioneered practical SNARKs a decade ago. Today's Pico Prism results are a striking reminder of that exponential curve. Beyond performance, zkVM diversity is remarkable. At least nine zkVMs are racing toward real-time proving: Airbender, Ceno, Jolt, OpenVM, Pico Prism, R0VM, SP1 Hypercube, Ziren, ZisK. That diversity is strength, similar to CL and EL client diversity. Fusaka, expected in December, will simplify real-time proving. EIP-7825 caps per-tx gas usage, enabling more parallel proving via subblocks. MODEXP, a prominent "prover killer", is being repriced with EIP-7823 and EIP-7883. By year's end several teams will prove every L1 EVM block on a 16-GPU cluster, drawing less than 10kW total. The 10kW target—about the same as a Tesla home charger—matters for on-prem proving in garages and offices, eliminating reliance on cloud proving. gigagas frontier L1 throughput has grown 100x since genesis ten years ago, from 20 kilogas/sec to 2 megagas/sec. With zkEVMs we can 100x again, in half the time. The key is to bypass validators as Ethereum's current scalability bottleneck. Lean execution proofs also decentralise validation. Goodbye 4TB NVMe, 8 cores, 64GB RAM recommended by EIP-7870. A Raspberry Pi running statelessly, or even a phone, will soon suffice. The scalability vs decentralisation dilemma is dying. Zooming out, the lean Ethereum vision is gigagas L1 and teragas L2. Gigagas L1 (10K TPS) means high-value payments, trading, and social apps directly on mainnet. Teragas L2 (10M TPS) means welcoming the entirety of finance onto Ethereum. Nov 22: Ethproofs day demo Behind the scenes teams are preparing a special Devconnect demo. In 38 days my home validator will run on zkEVM proofs. My mighty Geth node will go dark—no more execution client. Devconnect Argentina is Ethereum's world fair. World fairs unveiled the lightbulb, running water, cars, refrigeration, phones, escalators. Real-time proving is Ethereum's lightbulb moment. Ethereum's future is bright. Believe in something :)

1/ Today marks the beginning of a new chapter for Irreducible. We started as a custom-hardware company, and now we are fully focused on high-performance software. Read below about our pivot and our new proof system, Binius64 👇

One thing I like about @RiscZero and @boundless_xyz is that they truly care about security. In May 2024, RISC Zero published a blog article verifying that they can pass "The Rekt Test". This test is a security questionnaire created in collaboration with various security experts, including members of @immunefi, @trailofbits, @eulerfinance, @FireblocksHQ, and @SolanaFndn. It covers 12 criteria that must be achieved to reach the highest level of security. In the blog, RISC Zero demonstrated that they meet the standards in all processes except for one item that was not applicable, showing that they are serious about security. afaik, RISC Zero is the only project that has publicly announced compliance with the Rekt Test since its public release. In addition, RISC Zero has undergone security audits for their zkVM from top-tier audit companies such as @hexens and @VeridiseInc, and while also publicly running bug bounties through @HackenProof. From HackenProof, I could find the $50K bounty payment for a vulnerability found in their zkVM 👀 Since security vulnerabilities in ZK protocols can destroy the entire protocol, security awareness is extremely important. In this regard, RISC Zero's preparedness is evaluated as very thorough. This is also why I am bullish on Boundless.

A41 is joining the Succinct Prover Network.

RT @sreeramkannan: It’s unbelievable to see ethereums sci-fi roadmap of using ZK to scale everything coming true. Hearing the roadmap in…

🤯 real-time proving is here 🤯 Mainnet EVM blocks proven in under 1 Ethereum slot (12s). Goosebumps. Succinct proves every Ethereum L1 block: → 94% in <12s → 99% in <13s → 99.9% in <12s, soon™ Yesterday RISC Zero unveiled a $120K home GPU cluster—proofs expected in 9.25s. Brevis, OpenVM, Snarkify, ZisK, ZKM are weeks from joining the real-time club. Soon™ my validator will verify EVM blocks on a Rasberry Pi Pico—a $5 board that consumes <1W. I will ditch my EL client in favour of a zkEL. No 1 TB NVMe. Goodbye Geth, hello zkReth. Stateless and RAMless verification in milliseconds on a single CPU core. With real-time proving 1 gigagas/sec (10K TPS) is within reach, without compromising validator decentralisation. From now on expect regular gas limit bumps. 10% of stake is already voting for a 60M limit—your validators can too. Snarkifying mainnet turns Ethereum L1 into the first based and native rollup. Stage 2. Bug-free. Decentralised sequencing. No security council. No governance. The L1 will lead by example. This Friday we celebrate. Join us for Ethproofs call #2, May 23 at 2pm UTC. 25 speakers, 2 hours of content. Calls are open—DM @corcoranwill for a calendar invite. We are witnessing history. Believe in something real. Believe in real-time proving.

Teams like @a41_allforone are prepping for the future. 💪 “zkOps” - what a neat term!! Managing Zk infra at global scale will be the challenge of 2026.. no games, max effort! @boundless_xyz has a challenging roadmap ahead.. glad we ain’t doing it alone.

What is Restaking.risk? restaking.dotrisk.xyz/ Restaking has ushered in a new era of shared security. But with innovation comes hidden complexity and risk. We asked ourselves a simple question: “How secure are AVSs, really?" 👀 Here’s what we’re building to answer that 👇 1/

ZK will proliferate, but 1. ZK tech will mostly be open-source public good, or at best a commodity 2. ZK networks, ZK hardware, and specialized ZK apps will get most of the commercial benefits.

Announcing the Open Intents Framework ✨ Ecosystem-wide interop, accelerated by 30 teams from all corners of Ethereum. A modular, open framework to make it seamless for any chain to get intents into the hands of users & improve cross-chain UX. ➡️ openintents.xyz

Ethereum Rollups 101

ETHEREUM ACCELERATION . With @matthuang, @danrobinson & @_charlienoyes.