Héctor Masip @EllipticHector
Building a high-performance zkVM at @ziskvm. Former ZK developer at @0xPolygon. Alpha Checker, Philomath and Ethereum enthusiast. hecmas.github.io Spain Joined March 2022-
Tweets103
-
Followers468
-
Following62
-
Likes175
🚀 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/0xPolygonHerme… #ZK #Proving #ZisK @eth_proofs
🚨 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
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…
I'll do an important announcement today at Today at 13:30 at @dappcon_berlin Follow the live streaming at x.com/dappcon_berlin…
I'll do an important announcement today at Today at 13:30 at @dappcon_berlin Follow the live streaming at x.com/dappcon_berlin…
Elliptic curves over Goldilocks hackmd.io/@Wimet/S1R3RAY….
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
I'm speaking at @EFDevcon! See you in Bangkok, November 12-15 devcon.org/en/sea/schedul…
ZippelLabs @Zippel_Labs
63 Followers 22 Following 👋 Welcome to ZippelLabs! Security audits, Research & Development for ZKP, zkVMs, and advanced cryptography.
8jw7xbp @8jw7xpb4t5
20 Followers 84 Following
zalo @0x_zalo
972 Followers 6K Following putting tradfi onchain @intellecteu | prev @alloranetwork @ventfinance | views are my own
Yelyzaveta Dymchenko @dymchenkkko
25 Followers 120 Following Rust 🦀 | Web3 engineer | Passionate about decentralized systems & blockchain innovation ⚡
Santhosh Cheemala @anakinsky63
6 Followers 181 Following
肖潇lac @lac35064532
23 Followers 566 Following
The Costa Group @TheCostaGroup
46 Followers 18 Following
Clara Rodriguez @ClaraRod9
659 Followers 376 Following Hago cosas de números en la UCM y @TheCostaGroup. Jugadora de baloncesto
Byzantine* @KwesiEk
243 Followers 7K Following electrical 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
Blake Duncan @BlakeCDuncan
280 Followers 718 Following Engineer @alchemy - prev. @zerodev_app, @PrivacyScaling at Ethereum Foundation
Irma Fontes @irma199605
38 Followers 2K Following
Jordi Parra Crespo @JordiParraCres1
20 Followers 281 Following
julio Sánchez colato @julio261091
25 Followers 1K Following
Xiaomao ∅ ∖ ∅ @nellycyberpro
594 Followers 2K Following Learning ZK and Cryptography. Building @wifiproof | @base global builder| prev @SUPRA_Labs| Learning at exponential speed. she/her
Nou Lauterbach @Lauterbach86820
1 Followers 30 Following HODLing ETH, where each token is a vote for decentralization. ️ #HODL #EthereumHODLer
Rohit Narurkar 📜 @rohitnarurkar
918 Followers 619 Following Waiting on the world to change | Aspiring #rustacean | zkEVM | @Scroll_ZKP
brother tekkac @tek_kac
633 Followers 893 Following Open to work, Prev @Carbonable_io, Prev @OnlyDust_com. Cairo Dev, Bitcoin coder, ZK & research, genART
wertko.eth @wertko_eth
1K Followers 2K Following 💸 $𝟭𝟬𝒎+ 𝗳𝘂𝗻𝗱𝗲𝗱 | 𝐆𝐫𝐨𝐰𝐭𝐡 𝐋𝐞𝐚𝐝ʷᵉᵇ³ | 𝐌𝐚𝐫𝐤𝐞𝐭𝐢𝐧𝐠 𝐋𝐞𝐚𝐝ʷᵉᵇ³ | "𝑁𝑜 𝑏𝑢𝑑𝑔𝑒𝑡 𝑗𝑢𝑠𝑡 𝑡𝑤𝑒𝑒𝑡𝑠" 𝗱𝗲𝗽𝘁. since '17 | 🐻 ×3
Bilinear Labs @BilinearLabs
3K Followers 1K Following A Rust-centric R&D firm specializing in cyber-secure, decentralized systems.
asanso.eth @asanso
6K Followers 2K Following Researcher @ethereum, #cryptography addicted, theorems hoarder (not my own), in elliptic we trust, always up for a run. Opinions are my own
Prada @pradavc
522 Followers 922 Following PhD, Research in applied crypto & microelectronics. Co-founder and tech lead at @divastaking.
zefinedimes @slowdownitsfine
225 Followers 1K Following
Enmanuel (Web3 zkSNAR... @manudev97
262 Followers 312 Following 🧸🦀 Software Developer | Blockchain and ZKP Enthusiasts 🧮 | Lead Project Me Cuadra 🛍️ | Cryptography Expert (#ZK🔗#MPC🔗#FHE) | Grateful to @leemarreros
Will Corcoran @corcoranwill
4K Followers 1K Following ethereum protocol coordination @eth_proofs brah @leanethereum dawg
Oli @ProofofOli
162 Followers 616 Following privacy, decentralization, philosophy (and LoL) fulltime coms, part-time armchair intellectual
brrrrrrrr stimmyyy @smolmm
448 Followers 4K Following Rhizomatic, log/no charts, only 144p 🔭 shitposting
Andrea @AndreaAplo2009
0 Followers 23 Following Helping institutional players navigate a complex market, avoid traps, and bring TradFi standards into crypto — no hype, just clarity where it counts.
Aaron @o11ydad
164 Followers 2K Following
Essam Hassan @0xEssam
11K Followers 2K Following Venture Builder // Tech Advisor. Head of Engineering @Lightshift_xyz prev Core @Chainlink, OS/Search @Google
Carnation (Krime Kand... @0xcarnation
18K Followers 19K Following There is no chart, i long you. Ecosystem @berachain. Prev: @0xpolygon.
Valentin Mihov 🦞 @valentinmihov
8K Followers 6K Following Yield farming and angel investing ~ Crypto multi-cycler. @10b57e6da0 ~ co-founder of @daedalus_angels & @finexify ~ Shadowy super-coder👨💻
Drago @DragoXBT
973 Followers 7K Following Explorer | @UnidentifiedDao @StressCapitals @FrensPods | Fiat voluntas tua.
Yusuf @YusufNengyi
99 Followers 1K Following Web3 Community Mod | Engagement Specialist | Discord & Telegram | Degen + Alpha Hunter | Available for Hire 🚀
redbug @bugsbuggn
2K Followers 5K Following Remilio Cartel Card Carrying Remilia Cult Intraday meme scalper I'm not going to argue with people who're broker than me about money
Jens Groth @JensGroth16
3K Followers 250 Following Chief Scientist at Nexus, @NexusLabsHQ Honorary Professor of Cryptology at University College London
The Costa Group @TheCostaGroup
46 Followers 18 Following
Nico @nico_mnbl
2K Followers 686 Following picious until prover otherwise @zksecurityXYZ. Research and cryptography. Recurring co-host on @zeroknowledgefm. Troubadour at @HMLTD
ziskvm @ziskvm
1K Followers 7 Following ZisK 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
John Guibas @jtguibas
8K Followers 2K Following co-founder @succinctlabs. prev @stanford @thielfellowship.
zk Bankai @zk_bankai
1K Followers 43 Following zkBankai is a community of core protocol developers, engineers, researchers, mathematicians, and zk enthusiasts ⚡️
Jesus Ligero @JesusLigero3
56 Followers 33 Following Enthusiastic blockchain developer. Working on @0xPolygon zkEVM
Kobi Gurkan @kobigurk
16K Followers 2K Following applied crypto, security, experimental things - head of research @BainCapCrypto
Ethereum @ethereum
4.0M Followers 0 Following The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
Giacomo Fenzi @GiacomoFenzi
1K Followers 760 Following PhD student @EPFL, previously @ETH Interested in cryptography at large, post quantum and interactive proofs in particular. Interista alla Prisco.
Elías García @eliasgarciadev
202 Followers 301 Following Frontend Lead at @vesuxyz. Ex @0xPolygon | @PrivadoID. Interested in decentralization and privacy.
Dedaub @dedaub
9K Followers 83 Following Security audits, static analysis, realtime threat monitoring
Polygon Foundation @0xPolygonFdn
171K Followers 299 Following Updates on Protocols & Governance for the @0xPolygon Foundation.
MathMatize Memes @MathMatize
44K Followers 279 Following Started from the axioms now we’re here. Original memes.
Irreducible @IrreducibleHW
9K Followers 15 Following Accelerating the zero-knowledge revolution with the world's fastest proof generation.
Alexandre Belling @alexand_belling
892 Followers 352 Following Ethereum researcher at ConsenSys Protocol passionate about cryptography and zero-knowledge proofs
Paul Gafni @Paul_Gafni
850 Followers 570 Following Math educator & artist. Passionate about play, simplicity, curiosity, and empowerment. Working with @RiscZero and @MathforLove. Tweets are my own.
Geometry @__geometry__
5K Followers 3 Following Geometry is an early-stage deep tech investment firm
Quanta Magazine @QuantaMagazine
349K Followers 618 Following Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
Peter Shor @PeterShor1
19K Followers 102 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.)
Gianfranco 💙 OpenZ... @BazziBazzani
636 Followers 1K Following Web3 Native ✨ Astronaut 🧑🚀 at @OpenZeppelin Hackaholic 🧑💻 at @ethack_bcn | https://t.co/ZhoFxTI2U1 🪝| https://t.co/IyRAZ1uLRp 💾
ulrich.haboeck @UHaboeck
963 Followers 262 Following Mathematician, cryptographer. Love the art of cryptographic protocols.
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
Paul Miller @paulmillr
6K Followers 90 Following 🔑 Security, open-source software, austrian school. Noble cryptography.
David Z @davidsrz
74K Followers 585 Following Co-founder at @billions_ntwk @privadoid and @0xPolygon Labs
Bobbin Threadbare @bobbinth
6K Followers 152 Following blockchains, zero-knowledge proofs, virtual machines. working on @0xMiden
Tetration Lab @Tetration_Lab
792 Followers 6 Following Research and Development Lab for Cryptography, Web3, and On-chain Game. our work: https://t.co/jMJSIXkZf8
Nalin @nibnalin
2K Followers 428 Following Look what they made, they made it for me — happy technology. prev eng @lunchclubai → research @0xPARC → founder @daimopay → ???
Luke Pearson @lukejdpearson
4K Followers 456 Following
Enrico Bottazzi | enr... @backaes
2K Followers 1K Following Pataphisicist @PrivacyScaling @machina__io
Flying Nobita @FlyingNobita
1K Followers 1K Following Attending 🇸🇬 Token2049 ZK. ProgCrypto. Privacy. 5X hackathon winner. 6X grantee. DMs open for opportunities.
㎕ @martaestalrich
235 Followers 245 Following
Xavier Pinsach @xavipinsach
582 Followers 685 Following Building high-performance ZK systems at @ziskvm for blockchain privacy & scalability. Former @0xPolygon. Assoc. Prof. @univgirona. Empordanès i dels @minyons
Eduardo Antuña 🦇�... @eduadiez
3K Followers 1K Following Empowering Digital Freedom. @DAppNode Co-Founder and Project lead, @0xPolygon zkEVM Core Developer and @Givethio contributor
Jordi Baylina - bayli... @jbaylina
18K Followers 1K Following Blockchain developer, Ethereum fan, white hat hacker and Catalonia Freedom fighter. Currently building ZisK.
Ricard Borrell Pol @Ricard_Borrell
127 Followers 295 Following Building a high-performance zkVM at @ziskvm. Ex-@0xPolygon ZK dev. Formerly HPC researcher at the Barcelona Supercomputing Center (@BSC_CN)
Ingonyama @Ingo_zk
10K Followers 119 Following Redefining Fancy Cryptography Acceleration from Software to Silicon 🧊 // Start here: https://t.co/aKZ7antxHl
RISC Zero @RiscZero
48K Followers 361 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
Polygon Zero 💜 @0xPolygonZero
13K Followers 344 Following Scaling Ethereum through ZK innovation @0xPolygon
Justin Thaler @SuccinctJT
8K Followers 717 Following Research Partner @ a16z crypto Associate Professor of CS at Georgetown.
Dan Boneh @danboneh
10K Followers 132 Following
Alan Szepieniec @aszepieniec
2K Followers 1K Following cryptographer - architect, https://t.co/Cbv9EsWCzb
ZK Hack @__zkhack__
9K Followers 55 Following Your journey into zk starts here: Events, puzzles, videos, study clubs 🚀 Discord: https://t.co/KwUbwJxjRv YouTube: https://t.co/p610F99WAI
CPerezz.eth ⟠ 🦀 @CPerezz19
2K Followers 757 Following Rustacean, 🥰 with Cryptography. ZKPs & some other stuff working on @ethereum.Trends for United States
You might like
