Héctor Masip

Building a high-performance zkVM at @ziskvm. Former ZK developer at @0xPolygon. Alpha Checker, Philomath and Ethereum enthusiast.

[Héctor Masip @EllipticHector]

After building the amazing zkEVM at @0xPolygon, I’m now focused on its next evolution: building a high-performance, production-grade zkVM at @ziskvm.

Excited to keep pushing the boundaries of what I love and care most deeply about.

https://t.co/BbbLOt5L8T

[ziskvm @ziskvm]

🧵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 👇
https://t.co/uPbKkoa4py

[Héctor Masip @EllipticHector]

Reduced-round SHA-256 collision attacks just jumped from 32 to 38 rounds on HashSmash:
https://t.co/sQgZoRd6GC.

What the hell is going on?

Is this downstream of the recent 38-step SHA-2 result (accelerated by AI-assisted search)?
https://t.co/iLxdkTA7Fh

[Héctor Masip @EllipticHector]

Very interesting essay by Terence Tao on the coming AI-aided mathematical world: https://t.co/OJqHJR7V5e

Funny twist: AI was also used to help write the text. 😀

[ziskvm @ziskvm]

ZisK v1.1.0-alpha release 🚀

Ethereum proven in real time on 4x5090 GPUs with a p99 of 9.62s. All providing 128-bit provable security, powered by Poseidon1, and post-quantum secure.

This release pushes the prover further and fixes bugs, without trading soundness for benchmarks.

Release notes: https://t.co/J8tSAalTMi

[Héctor Masip @EllipticHector]

Good usage of AI: https://t.co/Bu6Tqfw0PO

[Héctor Masip @EllipticHector]

Just wrote a short explainer on how we enforce correct cross-component interaction with arguments in @ziskvm:
🔗https://t.co/gULqq7QrCR
Sharing in case it’s useful to others 👋

[CPerezz.(gwei/eth) ⟠ 🦀 @CPerezz19]

The only truthful contender in the competition.

Values aligned since ever. Loyal to Ethereum since and for ever.

You might not know yet. But we're lucky he's here and working on this with a 10/10 team!

We need more teams like this. Who put ethereum and security first 👏👏👏

[Héctor Masip @EllipticHector]

No marketing fluff. No half-open code. No security shortcuts.
Just incredible ideas across the whole toolstack and relentless hard work.

This is @ziskvm.

Congrats to our team 👏. Proud to be part of it.

https://t.co/ykxh3dwXwt

[ziskvm @ziskvm]

ZisK has reached a major proving milestone for Ethereum.

All Ethereum blocks are now being proven in real time, with an average proof time of about 7.5s

[Xavier Pinsach @xavipinsach]

Ethereum proofs in real-time are LIVE with ZisK! 🚀 The party’s on!

ZisK v0.13 is proving almost all Ethereum blocks in real time on Ethproofs:
🔗 https://t.co/XHytOPcDwH

The best benchmark? Proving Ethereum in real time.

[ziskvm @ziskvm]

ZisK has reached a major proving milestone for Ethereum.

All Ethereum blocks are now being proven in real time, with an average proof time of about 7.5s

[ziskvm @ziskvm]

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: https://t.co/pPWUN1fqiV

Thank you @EllipticHector for putting this together. 🙏

#ZK #QuantumResistant #Blockchain @eth_proofs

[Jordi Baylina - baylina.eth @jbaylina]

Important version with many improvements.

Real time proofs can now be build in a distributed environment! No need to have a cluster!

[Abix @0xAbix]

https://t.co/0RImGyDUoX

[ziskvm @ziskvm]

🚀 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
👉 https://t.co/mrHm4kwq9h
#ZK #Proving #ZisK @eth_proofs

[The Costa Group @TheCostaGroup]

🚨 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: https://t.co/QW3v6f8wTL

🧵

[Xavier Pinsach @xavipinsach]

🚀 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

[Jordi Baylina - baylina.eth @jbaylina]

This release, is fully open source, 128 bits security, and proofs #ethereum blocks in real time.

[ziskvm @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 : https://t.co/ut0YHnahqA

[Héctor Masip @EllipticHector]

@adidshaft @jbaylina @ziskvm Sure: https://t.co/YfbI5R5QlB

[Héctor Masip @EllipticHector]

“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

[Jordi Baylina - baylina.eth @jbaylina]

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