Ethproofs call 6 just wrapped! Over 200 joined a deep dive into proximity gaps, the mathematical core of modern hash-based SNARKs. 6 new papers in 6 days reshaped our understanding of these gaps - both breakthroughs and refutations that sharpen what’s provable and what remains open. Links & YT📺 below 👇

Control Plane for Distributed Proving This part (1/5) isn’t about scheduling or marketplace logic yet (I'll be trying to extend this though) it’s about building visibility first. I tried to built a distributed job coordination dashboard @ziskvm , helps to observe and manage distributed proof jobs. It gives visibility into what the coordinator and workers are doing i.e. which jobs are running, how much capacity is available, and how things change over time. Every data point in the UI is reconstructed directly from live polling cycles against the coordinator through a REST→gRPC gateway. More in the thread below:

Compartim l'entrevista a @jbaylina, cofundador de @SentinelSwiss, publicada aquest cap de setmana a @VilaWeb sobre democràcia líquida. "Una societat governada amb democràcia líquida és una societat millor que la que tenim ara." vilaweb.cat/noticies/entrevi…

🗣️ “Una societat governada amb democràcia líquida és una societat millor que la que tenim ara” Entrevista a @jbaylina vilaweb.cat/noticies/entrevi… vilaweb.cat/noticies/entrevi…

I'm already using it! Congrats Jorge!

So glad to see this finally! Remember some of the earliest discussions about this ~2017 — kudos @ziskvm for pushing through.

🚀 BIG BREAKING: Moments ago @ziskvm created a new multi-GPU prover running the latest build of their zkVM. They are now proving EVERY block - and submitting them to Ethproofs. The majority of which are sub 12s! Congrats! (link below)

One year ago, I was talking in devcon about proving Ethereum in real time. piped.video/watch?v=boSCLHs3… Today it's happening. Thank you to all the @ziskvm devs for this year of hard work. This will change the way we understand blockchains.

Ethereum Cypherpunk Congress lineup is growing - welcome @Joan_Arus leading @SentinelSwiss Previously Executive Director @AragonProject, co-founder at @vocdoni Joan will address the necessity to protect open-source developers, investigative journalists & activists from mercenary spyware. Illustrated by @jbaylina & his case. congress.web3privacy.info

This is a big moment for zkVMs ! The @ziskvm team has been shipping at an incredible pace, and these latest developments are serious, Here’s a quick recap of what’s new: 1. Distributed proof generation is now live. 2. You can prove Ethereum blocks in real time. 3. Everything runs with native 128-bit, quantum-resistant security. We’re hosting a Community Call tomorrow to dive deeper. would love to have you join us, Link to register in the below chat !

ZisK is quantum-resistant! 🛡️ We removed the elliptic curve dependency with a new secure challenge derivation, making ZK proofs safer for the quantum era. Read how we did it: zisk.technology/secure-chall… Thank you @EllipticHector for putting this together. 🙏 #ZK #QuantumResistant #Blockchain @eth_proofs

Important version with many improvements. Real time proofs can now be build in a distributed environment! No need to have a cluster!

@zisvm is now reporting in @ethproofs blocks with a single 4090. ZisK is fully open-source, 128-bit secure, and every reported time is 100% reproducible — making zkVM comparisons easier than ever. 🔗 ethproofs.org #ZKProofs #Ethereum #ETHProofs #ZKVM #Reproducibility

Hard working on making Ethereum Cypherpunk Congress the biggest Privacy-focused event in web3. Expanding partners: @Zcash, @aztecnetwork, @FhenixIO, @vocdoni + @EnclaveE3 on the way Speakers: @jbaylina + @GuyZys powered by @ontologymachine, @lucilajuliana, @robdotrego, @alisher, @RecursiveBeing, @PG_CDG, @0x_m_f, @KeenOfCoin, @nicksvyaznoy congress.web3privacy.info

Welcome @vocdoni - our Cypherpunk Congress supporter. Universally verifiable voting protocol, used by hundreds of organizations worldwide with stunning 200k Votes processed. Latest launch: davinci.vote 16 Nov, Buenos Aires: congress.web3privacy.info

ZisK in-browser verification is LIVE on Ethproofs! 🚀 Big thanks to @ziskvm for their open-source verifier. → zkVM rollout status: ✅ Pico (@brevis_zk) ✅ Ziren (@ProjectZKM) ✅ Zisk (@ziskvm) 🚧 SP1-Turbo (@succinctlabs) – up next; team is exposing WASM-compatible STARK verification. 🚧 R0VM (@risczero) – in final testing. We're accelerating open-source Ethereum snarkification together!

Community wins! 🎉 ZisK now has its own in-browser verifier—huge shout-out to the @ziskvm team for building this open-source tool. Looks like ZisK is up next for in-browser verification on Ethproofs! Should we require all teams to open-source an in-browser verifier to get onboarded? We think, yes.

Update - ZisK v0.11.0 is live ! Real-time proof with just 32 GPUs or less for most blocks. Around 40 GPUs for a 35M gas block. What does this update Includes : > Added macOS support to proof generation and verification. > Optimize GPU NTT implementation. > Optimize CPU–GPU transfers and pipelining > Virtual table integration, enabling modular table design. > Added optimizations using frequent operations (FROPS). > Added statistics with begin/end timestamps and caller hierarchy. > Added support for programs starting at any PC. > Added support for the RISC-V NOP instruction > Migrated recursive circuits to PIL2 > Rust verifier integration. Visit: github.com/0xPolygonHermez/z…

🚀 ZisK v0.11.0 is live! ✨ Real-time proof with just 32 GPUs or less for most blocks ⚡️ Around 40 GPUs for a 35M gas block 🍏 Plus: Mac support 👉 github.com/0xPolygonHermez/z… #ZK #Proving #ZisK @eth_proofs