jooman

@leofanxiong Hi Leo! This is exactly what we are exploring. github.com/fractalyze. We are working with LLZK(@VeridiseInc) team granted from EF. Happy to have a chat with!

Graph Mode makes the entire prover explicit and inspectable, enabling deeper optimization, cross-platform execution, and stronger security & auditability. In upcoming post, we’ll share how this design shapes our graph-based zkVM and what it unlocks. ⚡️

We’re building a graph-based zkVM on top of the @ziskvm system. Our goal: rethink prover architecture from first principles to unlock better performance, portability, and security. 🧵

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

@VitalikButerin x.com/fractal_intern… We are making this in real! Build in Python, Optimized by Compiler. @VitalikButerin

Added more M31 and binary field support to zorch: github.com/vbuterin/zorch Now you can write reasonably-performant STARK proving code that runs on your GPU, in python! Below is the full arithmetization of poseidon. I welcome others taking this and running with it.

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 :)

@rj_aligned @diego_aligned thanks for the time Diego! hope next time we can deliver something!

another day of @diego_aligned explaining zk in korea.

@samoyedali i get a sense.. that computation don't have to be happend on blockchain

@jumanzi_dev Just to guarantee that not allowed state transition didn't happen! Analogy would be blockchian is more like a seatbelt than engine for a car.

Blockchains are not meant to be a World Computer, and we might be using it wrong...

@tcoratger @jimpo_potamus @nico_mnbl @__zkhack__ this is indeed great thread..!

1/13 ZK Whiteboard Sessions - S3M2: High-Performance Engineering for SNARKs with @jimpo_potamus and @nico_mnbl for @__zkhack__ It's about how SNARK provers achieve speeds for things like zkEVMs. Let's break down how we scale from a single CPU core to custom hardware. 🧵

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 @hexensio 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.

@StackDigest his last blog was epic and more than a year later amazing comeback lolol polynya.mirror.xyz/ptscXuh3J3KOj2…

He’s back

@sshankar @boundless_xyz this is so much like you haha! inner peace.

Oddly.. I have the evening off today. No late night calls. I’m gonna take a walk and have a slice of pizza by myself. Get some inner peace @boundless_xyz fam!

@StackDigest @SuccinctLabs @a41_allforone thanks fr!

I believe ZK will change the whole Ethereum ecosystem, and @SuccinctLabs will lead it. Staked all of my $PROVE to @a41_allforone. Congrats for the mainnet launch, and wish for a huge success!

@StackDigest this is cool. also exploring panda.chat as well now

New article dropped! Privacy-preserving LLM is an emerging field that’s rapidly gaining traction across research and development communities. If you’re looking to build one, there are several critical aspects you need to consider, ranging from architectural tradeoffs to system-level guarantees. These include: - Evaluating the strengths and limitations of cryptographic privacy-preserving techniques, particularly in terms of scalability and trust assumptions - Assessing the maturity, flexibility, and security of SDKs and frameworks that form the backbone of your system - Understanding the architecture and security assumptions of both CPU and GPU TEEs - Ensuring verifiability and transparency across the entire inference pipeline We chose to build on private-ml-sdk, an SDK for GPU TEE workloads developed by @PhalaNetwork and @NEARProtocol, and extended the chain of trust all the way to the frontend. If you’re curious to dive deeper into how GPU TEEs work and how Panda leverages them, check out our full article!

A41 is joining the Succinct Prover Network.

@r2Jamong 불편하실거 같아 차단하겠습니다 ㅋㅋ

@jumanzi_dev 저좀 차단해주샘

이더리움을 마누라 자식까지 다 바꾸자. 이더리움(EVM)은 ZK 증명 생성에 엄청나게 불리함. EVM은 스택 기반의 가상머신임. 물론 '머신'이라고는 하지만, 그냥 이더리움을 위해 설계된 가상머신일 뿐이라 실제 하드웨어(CPU)의 동작과는 매우 다름. (256비트 정수, 스택, 가스 연산, 복잡한 스토리지 접근 방식, delegatecall 등등…) 게다가 이더리움이 처음 만들어질 당시에는 ZK 증명을 만드는 것 따위는 생각조차 하지 않았기에, EVM은 ZK에 매우 불리한 구조로 만들어짐. 반대로 애초에 ZK 증명 생성을 위해 만들어진 VM들, 그러니까 @SuccinctLabs 의 SP1 혹은 @boundless_xyz 를 만든 RISC Zero 같은 zkVM은 RISC-V라는 아키텍처를 사용함. RISC-V는 실제 CPU에서 쓰이는 논리 구조와 매우 흡사하기 때문에, ZK 증명을 만들어내기 위한 최적화에 훨씬 유리한 것임. 애초에 ZK 증명 생성을 목적으로 만들어진 VM이라는 얘기임. 근데 문제는, 이더리움 위에서 돌아가는 프로그램들(스마트 컨트랙트)은 EVM 호환성을 가져야만 하니까, 결국 비효율적인 zkEVM을 쓸 수밖에 없음. 이건 이더리움의 ZK 롤업들한테도 큰 제약이 되고(사실상 ZK 롤업들이 OP롤업들에 비해 기를 못펴는 가장 큰 이유임), 이더리움 L1 트랜잭션들을 증명으로 만들어내는 데에도 엄청난 발목을 잡는 구조임. 하... 걍 이더리움을 RISC-V 기반으로 싹 갈아엎으면 얼마나 좋을까? 라는 망상을 비탈릭 부테린이 실제로 이더리움 포럼에 제안했고, 실제로 이를 위한 준비가 진행 중임. 이더리움은 블록을 합의하는 합의 레이어도 ZK 기반으로 전환할 예정인데(← BEAM 체인, 나중에 따로 포스팅하겠음), 이제는 실행 레이어인 EVM까지도 ZK 증명을 위해 근본부터 뜯어고치려는 것임. 만약 EVM의 RISC-V 전환이 성공적으로 이루어진다면, EVM의 ZK 증명 효율성은 최소 50배 이상 향상될 거라고 예상됨. (아마 이러면 대부분의 Optimistic 롤업들은 ZK 롤업으로 전환할것) 누군가 비유했듯이, 픽셀 게임을 라이브로 운영 중인 상태에서, 무중단으로 언리얼5 3D 게임으로 업그레이드하는 급의 난이도 일지도 모르지만.. 이더리움은 결국 또 해낼 거라 믿음.