jooman

Blockchain & ZK will deliver the trustless we need in AI epoch / CEO at , Ex-CTO @a41_allforone

[jooman @jumanzi_dev]

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

[vitalik.eth @VitalikButerin]

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.

I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:

https://t.co/0ceMBZ6uqj

[jooman @jumanzi_dev]

@wyatt_benno this looks cool! bit curious why ppl lean towards Lean instead of SMT

[jooman @jumanzi_dev]

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

[jooman @jumanzi_dev]

@ethereumkoreaio 방금 신청했습니다!

[jooman @jumanzi_dev]

@leofanxiong Hi Leo! This is exactly what we are exploring. https://t.co/JqWw81HlTC. We are working with LLZK(@VeridiseInc) team granted from EF. Happy to have a chat with!

[Jonah Lau @jonahlau_]

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

[fractalyze Intern @fractal_intern]

(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

[jooman @jumanzi_dev]

@VitalikButerin https://t.co/8sDR1LItGa
We are making this in real! Build in Python, Optimized by Compiler. @VitalikButerin

[fractalyze Intern @fractal_intern]

(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

[lean Ethereum @leanEthereum]

zkEra soon™️

[lean Ethereum @leanEthereum]

hello world

[Justin Drake @drakefjustin]

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

[jooman @jumanzi_dev]

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

[jooman @jumanzi_dev]

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

[jooman @jumanzi_dev]

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

[Irreducible @IrreducibleHW]

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 👇

[c4lvin @c4lvin]

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.

[jooman @jumanzi_dev]

@StackDigest his last blog was epic and more than a year later amazing comeback lolol

https://t.co/7cTiYXmFqP

[jooman @jumanzi_dev]

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