@Paul_Gafni Profile picture

Paul Gafni

@Paul_Gafni

Math educator & artist. Passionate about play, simplicity, curiosity, and empowerment. Working with @RiscZero and @MathforLove. Tweets are my own.

Joined July 2011
Similar User
jaosef.eth photo

@jaosef

RISC Zero 🟡 photo

@RiscZero

Ariel Gabizon photo

@rel_zeta_tech

Justin Thaler photo

@SuccinctJT

CPerezz.eth ⟠ 🦀 photo

@CPerezz19

Binyi Chen photo

@Charles_Chen533

Nico photo

@nico_mnbl

Jules photo

@julesdesmit

Yu Feng photo

@captain8299

grjte photo

@grjte

Jason Morton photo

@jasonmorton

Omer Shlomovits photo

@OmerShlomovits

andyguzman.eth 🦇🔊 photo

@AndyGuzmanEth

brian photo

@BrianRetford

Andrija Novakovic photo

@AndrijaNovakov6

If you're building a zkVM application, I'd love to know what bottlenecks you are running into so we can inform our precompile prioritization accordingly. Run the profiler and hit me up :) dev.risczero.com/api/zkvm/profi…

As a prelude to the upcoming zkVM 1.2.0 release, I want to share a quick history of “precompiles” in zkVMs. 🧵⬇️



Paul Gafni Reposted

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

Tweet Image 1

Paul Gafni Reposted

Introducing Kailua: A hybrid architecture that gives OP chains 1-hour finality without the higher cost of constant ZK proving.


Paul Gafni Reposted

🚨PSA🚨 cycle counts !== performance I wish it were true but precompiles have overhead, parallelization and coordination matter, etc. Even w/o an RSA precompile (coming ~next week) we can generate an RSA proof as fast as SP1 @ 12x the cycle count counter intuitive but true


Paul Gafni Reposted

𝗖𝘂𝘁𝘁𝗶𝗻𝗴 𝗭𝗞 𝗽𝗿𝗼𝗼𝗳 𝘃𝗲𝗿𝗶𝗳𝗶𝗰𝗮𝘁𝗶𝗼𝗻 𝗰𝗼𝘀𝘁 𝗯𝘆 𝟵𝟱% $47M was spent on proof verification for ZK rollups on Ethereum in 2023 alone, and the number of ZK proofs that need to be verified continues to rise. It's time to dump cost to 0. 𝗛𝗼𝘄? 𝗟𝗲𝘁 𝗺𝗲…

Tweet Image 1
Tweet Image 2

ZK just got cheaper. @ElectronZK is the FIRST compatible aggregator for @boundless_xyz, slashing proof verification costs by 95%. Aggregation reduces costs as network usage grows, so you can speedrun with us.



Paul Gafni Reposted

Boundless is getting hardware acceleration. RISC Zero and @FabricCrypto are bringing real-time ZK to @boundless_xyz, powered by the first custom-designed verifiable processing unit (VPU). Here's how we are speedrunning ZK ↓


Paul Gafni Reposted

This is a great and timely write-up. @RiscZero has a huge role to play in how this zk-enabled future unravels. I would like to point out, however, that the R0 team has already shipped a couple of features listed in the blog as ideas/todo - so maybe the endgame is closer than…

Possible futures of the Ethereum protocol, part 4: The Verge vitalik.eth.limo/general/2024/1…



Paul Gafni Reposted

2,013,265,921.

You can’t post a random number and expect people to understand



Well-said! Stoked to be working with a team that has a more comprehensive approach to software security. dev.risczero.com/api/secure-sdlc

Hot take, Audits are over-indexed / over-allocated industry funds. Way too much money goes towards rubber stamps, or things that are clearly v1s (but get credited as ensuring the whole system) >50% of the money going towards audits should instead go towards: - Better security…



Paul Gafni Reposted

SVM 🤝 ZK Watch @Rahul__Ghangas introduce zkSVM, a 100% SVM runtime in the RISC Zero zkVM. The ZK Era on Solana is coming...

Create a zero knowledge proof for any Solana/SVM transaction! Presenting zkSVM, the only zk implementation of the SVM runtime in the world that is 100% compatible with @solana mainnet High performance, fraud provable Extensions are coming to your favourite L1. Sound on 🔊



Rad.

🎉 Formal verification for @zksync's zk-verifier 🎉 It started with this paper back in April eprint.iacr.org/2024/768 Now the work is complete! This adds a lot of confidence in the security of our zk-verifier. Blog post soon!



Loading...

Something went wrong.


Something went wrong.