Building a high-performance zkVM at @ziskvm. Former ZK developer at @0xPolygon. Alpha Checker, Philomath and Ethereum enthusiast.hecmas.github.io SpainJoined March 2022
🚨 Two critical soundness bugs found in ZisK using CIVER 🚨
In a collaboration with the @ziskvm development team, the Costa group is applying formal methods to verify recursion/aggregation circuits of ZisK.
🔗More details here: costa.fdi.ucm.es/web/news/CIVER…
🧵
🚀 Zisk v0.9.0 is here!
This new release brings real-time proving on Ethereum blocks using up to 64 GPUs.
⚙️ Fast execution
🔥 ZisK server for setup preload
⚡️ Smarter CPU–GPU pipeline & load balancing
We're now also live on @eth_proofs — proving just got real with @ziskvm
We're hosting our first ZisK community call.
Session focused to devs working on real-time proving.
What to expect:
– Deep dive into ZisK architecture and constraint system
– Live Q&A with @jbaylina
– Hands-on examples of working with ZisK
Register now : lu.ma/zkn25nnz
“Security is not a pizza slice, it is a standard requirement. We are selling privacy and we should not play with it it.” - Jordi at Ethcc[8]
@jbaylina@ziskvm
At @ziskvm, we’re now proving Ethereum blocks in real time — open source and running on increasingly efficient infrastructure.
It’s an early but meaningful milestone.
Join me today at 13:00 @ EthCC, Redford Stage to learn more.
#EthCC#ZK#Ethereum#ZKVM @eth_proofs
Major RISC-V zkVM breakthrough!
The ZisK team hit 1.5GHz trace generation—10x faster than other RISC-V zkVMs. A huge unlock for the space, and it's fully open source.
With zkVMs almost all proving can be parallelised, e.g. farmed across a cluster of GPUs. The exception is the…
🧵1/ Introducing ZisK — a new era for zero-knowledge proof systems.
A high-performance, fully open-source zkVM stack, born at @0xPolygon, now spun out as its own project.
Designed for low latency proving from the first day.
Meet ZisK 👇
zisk.technology
Me, together with a core team of 7 developers, just spun off from Polygon to continue the ZisK project as an independent initiative.
I’ll remain co-founder and advisor at Polygon, but my main focus now shifts to @ziskvm.
Excited for this new era in the blockchain journey — we…
Me, together with a core team of 7 developers, just spun off from Polygon to continue the ZisK project as an independent initiative.
I’ll remain co-founder and advisor at Polygon, but my main focus now shifts to @ziskvm.
Excited for this new era in the blockchain journey — we…
All papers about new protocols that claim to be either "better" or "a drop-in replacement" of existing protocols should have a section with the concrete description of it , avoiding all the formalisms that blurs their understanding.
Todey at 12:00 stage2 in Devcon I’ll present Zisk, an open source riscV 64bits zkVM based optimized for latency that we are building inside @0xPolygon
This tech is fundamental for the @Agglayer (and many other applications like #beamchain. Do not miss it
app.devcon.org/schedule/TVNJ99
239 Followers 7K Followingelectrical engineer by academics and a web3 mechanic and a crypto trader . i believe in the power of Decentralize technologies and DAOs
prog Language: Rust Dev
0 Followers 23 FollowingHelping institutional players navigate a complex market, avoid traps, and bring TradFi standards into crypto — no hype, just clarity where it counts.
2K Followers 5K FollowingRemilio Cartel Card Carrying Remilia Cult
Intraday meme scalper
I'm not going to argue with people who're broker than me about money
1K Followers 7 FollowingZisK is an open-source ZK proving toolstack featuring a zkVM. It allows to build circuits in high level languages like rust.
https://t.co/B94b6U6PRg
4.0M Followers 0 FollowingThe universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
1K Followers 760 FollowingPhD student @EPFL, previously @ETH
Interested in cryptography at large, post quantum and interactive proofs in particular.
Interista alla Prisco.
857 Followers 570 FollowingMath educator & artist. Passionate about play, simplicity, curiosity, and empowerment. Working with @RiscZero and @MathforLove. Tweets are my own.
19K Followers 103 Following♫♫ There's a rich man who's sure that all speech should be free
And he's buying the network of Twitter.
(And because of this sale, you'll find me on bluesky.)
583 Followers 682 FollowingBuilding high-performance ZK systems at @ziskvm for blockchain privacy & scalability. Former @0xPolygon. Assoc. Prof. @univgirona. Empordanès i dels @minyons
125 Followers 293 FollowingBuilding a high-performance zkVM at @ziskvm. Ex-@0xPolygon ZK dev. Formerly HPC researcher at the Barcelona Supercomputing Center (@BSC_CN)