Paul Gafni
@Paul_GafniMath educator & artist. Passionate about play, simplicity, curiosity, and empowerment. Working with @RiscZero and @MathforLove. Tweets are my own.
Similar User
@jaosef
@RiscZero
@rel_zeta_tech
@SuccinctJT
@CPerezz19
@Charles_Chen533
@nico_mnbl
@julesdesmit
@captain8299
@grjte
@jasonmorton
@OmerShlomovits
@AndyGuzmanEth
@BrianRetford
@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. 🧵⬇️
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 ↓
Introducing Kailua: A hybrid architecture that gives OP chains 1-hour finality without the higher cost of constant ZK proving.
🚨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
𝗖𝘂𝘁𝘁𝗶𝗻𝗴 𝗭𝗞 𝗽𝗿𝗼𝗼𝗳 𝘃𝗲𝗿𝗶𝗳𝗶𝗰𝗮𝘁𝗶𝗼𝗻 𝗰𝗼𝘀𝘁 𝗯𝘆 𝟵𝟱% $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. 𝗛𝗼𝘄? 𝗟𝗲𝘁 𝗺𝗲…
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.
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 ↓
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…
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…
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!
United States Trends
- 1. Mavs 9.973 posts
- 2. Pete 256 B posts
- 3. DeSantis 29,8 B posts
- 4. Clemson 22,7 B posts
- 5. Marcus Smart 2.244 posts
- 6. Brea 2.340 posts
- 7. Bama 39 B posts
- 8. Kentucky 17,3 B posts
- 9. Kerr 4.183 posts
- 10. Grizzlies 5.574 posts
- 11. #MFFL 3.396 posts
- 12. Knicks 14,3 B posts
- 13. Miami 113 B posts
- 14. Luka 27,8 B posts
- 15. Danny Wolf N/A
- 16. Sabres 4.650 posts
- 17. NBA Cup 12,1 B posts
- 18. #WWENXT 27,2 B posts
- 19. #RHOBH 4.193 posts
- 20. azealia 2.747 posts
Who to follow
-
jaosef.eth
@jaosef -
RISC Zero 🟡
@RiscZero -
Ariel Gabizon
@rel_zeta_tech -
Justin Thaler
@SuccinctJT -
CPerezz.eth ⟠ 🦀
@CPerezz19 -
Binyi Chen
@Charles_Chen533 -
Nico
@nico_mnbl -
Jules
@julesdesmit -
Yu Feng
@captain8299 -
grjte
@grjte -
Jason Morton
@jasonmorton -
Omer Shlomovits
@OmerShlomovits -
andyguzman.eth 🦇🔊
@AndyGuzmanEth -
brian
@BrianRetford -
Andrija Novakovic
@AndrijaNovakov6
Something went wrong.
Something went wrong.