Jordi Baylina - baylina.eth 💜
@jbaylina
Followers
16,214
Following
1,179
Media
114
Statuses
2,231
Blockchain developer, Ethereum fan, white hat hacker and Catalonia Freedom fighter. Currently building the Polygon zkEVM
Zug, Switzerland
Joined June 2009
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Stormy
• 200432 Tweets
Caramelo
• 175858 Tweets
wonwoo
• 108055 Tweets
mingyu
• 100378 Tweets
Guinea
• 91970 Tweets
mark lee
• 77722 Tweets
The Bear
• 70642 Tweets
ML X LIVE HOUSE
• 56669 Tweets
Witan
• 49520 Tweets
vernon
• 45539 Tweets
#ParisTSTheErasTour
• 44108 Tweets
Janja
• 33935 Tweets
twenty one pilots
• 26794 Tweets
Rick Scott
• 22808 Tweets
Medicare
• 20325 Tweets
#PBKSvsRCB
• 20195 Tweets
メイドの日
• 18120 Tweets
Gollum
• 17893 Tweets
Peter Jackson
• 15724 Tweets
Sheldon
• 14785 Tweets
Paramore
• 14307 Tweets
Andy Serkis
• 10074 Tweets
1/15
The scalability of a
#zkRollup
IS NOT limited by the prove.
I'm detecting some missunderstandings of how a zkRollup works.
Let me explain in this thread why the prover is not the limiting factor and what are the actual limitetions of zk ( and optimistic ) rollups.
26
284
828
I'm very excited to present next Thursday at "Polygon zk day" PIL (Polynomial Identity Language). The language we in
@0xPolygonHermez
created to define the state machines used in the zkEVM prover. People interested can register here:
25
173
547
1/3
In the last weeks we started the audits for the
@0xPolygon
#zkEVM
.
We are also in the final steps before before the launch of what should be the last testnet before mainnet.
Here are some of the updates:
* Proving time 2.5min in a 7$/h AWS instance.
23
98
496
We just finished the most important upgrade of the Polygon
#zkEVM
since the launch. It has not been an easy task. I want to thank you to the whole
@0xPolygon
team for the hard work. Now it's time for the users to enjoy pairings, sha256, and more. Lets continue scaling
#ethereum
31
80
389
I'm thrilled to have reached this milestone.
Nothing of this could have been possible without the zkEVM team and the full support
@0xPolygon
family.
28
41
386
Yesterday, I received a prestigious prize from the telecommunications engineering and computer science community in Catalonia.
I used my speech to spur the audience to dig into the blockchain tech, as it will change the way humans will organise.
Thank you all, it was a honor!
2
2
16
46
43
340
I’m ready for my talk at Polygon Connect in Bogota!
stay tune for a big announcemen!
By far the most important conference i’ve ever given till now!
@0xPolygon
16
46
331
Today, in the "Polygon ZK Day", I'll explain how we are writing the zkEVM prover. As always, my goal will be to go as deep as I can in 30' but at the same time try to explain it in a way that it's understandable for average engineers. Registrations:
14
119
291
This numbers are not accurate.
You can check this TX:
Here there are 1116 transactions and the cost is 2.27MGas.
And we are not applying compression yet..
Based on posted tx hashes, ~450k gas for 4 tx in zkEVM vs 1M gas for 512 tx in Era! 🚀
Note: We're omitting verification cost here.
5
2
37
5
42
271
This is not only Roman's fight, this is the full crypto industry fight. Privacy is a fundamental value required in the decentralized world we are building. I want to thank you and send full support to Roman and to all the devs and lawyers that are in the front line!
2024 is the year that will define the rest of my life.
Honestly, I’m scared. But also hopeful that this community cares with a passion.
Please donate towards my legal defense.
258
2K
6K
9
78
293
#zkSNARK
proof generator in Web Assembly and parallelised with Web Workers. A 50k constraint proof takes less than 10s to be generated from the browser. This new
@identhree
tool should be very useful in many zk-dApps
@VitalikButerin
@barrywhitehat
@zooko
23
120
241
After two years of hard work things are getting closer to this important milestone.
I want to thank you to the
#zkEVM
team, to the Polygon family and all the Ethereum community for making this possible.
💜💜💜💜💜
Roses are red 🌹
Violets are blue
Poems are hard 😩
Mainnet Beta is here
ON MARCH 27, Polygon
#zkEVM
launches the future of Ethereum scaling
🚢💜🚢💜
370
1K
3K
15
57
252
1/5
FFLONK is already available in
#snarkJS
!
First of all, I would like thank you 🙏 to
@rel_zeta_tech
and
@Zac_Aztec
from
@aztecnetwork
for creating this amazing protocol.
FFLONK is a zkSNARK protocol like GROTH16 or PLONK with the following advantages:
4
76
251
March 27th will be an important date for scaling Ethereum!
A full team has been working really hard to make this possible.
Lets launch the Polygon zkEVM together.
You are all invited!
📢 zkDay 2.0
🗓 MARCH 27
✨Launch of Polygon
#zkEVM
Mainnet Beta✨
The journey to the frontiers of Web3 that will take Ethereum further than ever before ⚡️
special guest ➡️
@VitalikButerin
⬅️ 👏🏿
& we're joining forces w/
@ETHGlobal
[more on that soon]
112
346
924
11
55
193
I just published A CPU zkSnark prover, compatible with
#circom
and
#snarkjs
. It can generate 128M constraints proofs in less than 2min in a 64 core processor.
This is an important piece for
@hermez_network
#rollup
and for
#ethereum
scaling solutions.
43
108
182
Just released:
1. circom: A language and a compiler to create circuits
2. zksnark: A fully implementation of
#zkSNARK
in Javascript
An important step for building
@identhree
: a decentralised, scalable, privacy by default identity system on
#ethereum
1
72
181
Just implemented the Groth protocol in the
#snarkjs
Library: . This allows to verify a zero knowlage proof in less than 600K gas in
#Ethereum
Thank you
@barrywhitehat
@identhree
4
43
167
Today is the premiere of “SCALE: Zero Knowledge and the Quest for the New Internet” that explains the internals of how the Polygon zkEVM was build.
You can watch it here:
at 17:00CET
After the projection I'll do an AMA on the Polygon discord.
The origin story is coming.
SCALE: Zero Knowledge and the Quest for the New Internet
Tomorrow, Aug 31 - 11am ET
Right there on X
35
174
536
7
35
163
- Catalonia wants to build their digital state.
- Spain wants to censure it.
- Catalonia wants to build a decentralised digital state!
The technology is in its early stages. The pressure from Spain is high. But we, the catalans are committed in making this happen!
El decret de
@sanchezcastejon
és un 155 digital. És un cop d'estat digital a Catalunya. Hem assistit a tancaments de web, d'aplicacions, al filtratge de tràfic a Internet i ara volen il·legalitzar una república que deien que no existia. Doncs bé, existeix i és imparable
188
2K
4K
12
61
172
Next Sunday, in the
#StarkWareSessions2023
, I'll explain how we at
@0xPolygon
are using infinite recursive STARKs to aggregate many
#zkEVM
L2 batches in a single proof.
Recursive ZK circuits opens a new era in the ZK development space.
2
33
168
Here is my presentation at
#starkware
sessions explaining how we are aggregating many batch proofs in a single segment proof at
@0xPolygon
#zkEVM
.
2
36
155
I just released a new version of
#websnark
. It includes:
1. MNT6753-BoweGabizon-Verifier (recursive snarks used in
@CodaProtocol
).
2. BN128-Groth16 verifier.
Verification time: few ms in the browser.
#ethereum
.
@cdetrio
@ebfull
@barrywhitehat
17
95
149
Plonky2 from Polygon Zero is one of the crucial innovation in the zk space in recent years. I'm sad to see this attitude, this definitively don't help to the open source community. But at the same time, I'm glad to see other projects using their work.
I'm sure they will correct…
Crypto runs on the open source ethos. When projects don’t follow it, the ecosystem suffers.
We were disappointed to see that
@zksync
copied our code without attribution and made misleading claims about the original work, so we wrote this post.
138
239
1K
3
28
149
Proud of the giveth team, winners of the
#edcon
#superdemo
! This is just the beginning of a new world
@Givethio
is creating. congrats to all!!
14
36
133
I’m speaking at the Aggregation Cave (hosted by
@0xPolygon
) at ETHDenver. Super excited to cowork, build and get aggregated. Join me on March 1st, at 10 am!
5
11
126
Thank you to the
@0xPolygonZK
team for making this possible!! Code is frozen and audits are on the way! We are very close to mainnet!
The new is out!
- ZK Proof recursion enabled
- L2 Batch size increased from 4 to 10M gas
- Proof time reduced from 10 to 4 min
- L1 verification with 350K gas
This adds more efficiency and ability to manage the tradeoff between finality time and tx cost.
10
71
365
16
27
118
Hudsoning at Polygon Cave!
You can join us here all week!
2
7
123
We're looking forward to seeing you in Lisbon, Portugal!
@NEARProtocol
@0xPolygon
communities, stay tuned!
2
9
112
The world will never thank you enough the
#zcash
people for the work they are doing in the zero knowledge research field.
They are the real throttle for bringing privacy and scalability into the blockchain space! Thank you guys!
Today we released the source code we're working on for Halo 2, a recursive proof composition that improves efficiency and eliminates the need for a trusted setup.
#Zcash
$ZEC
2
47
183
1
23
123
Thank you so much Peter for beeing always there during this 10 years. Looks like yesterday, but I’m sure it has been a long journey since then. You and the whole geth team are a reference for me and for many people in the space! Lets keep buidling!
Completely missed it, but the
#Ethereum
Geth codebase passed 10 years (on Dec 29, 2023) since it's inception 🤯... Starting to feel old here...
For anyone wondering why the "flat-lining", we've introduced squash-merging in 2015, so no more fix1, fix2, fix3 commits.
11
31
337
2
12
124
We already implemented PUSH0 in the zkEVM. We are going to enable it in the next update that will happen in the upcoming weeks.
#zkEVM
@0xPolygon
Auditor/developer FYI, Solidity 0.8.20 introduces a new opcode (PUSH0) that is UNSUPPORTED outside of Ethereum mainnet.
If you compile a contract with 0.8.20 and deploy it to an altchain, it will not work.
10
38
200
7
13
103
@gluk64
@davidsrz
Of course NO.
Main zkEVM: 0xa997cfD539E703921fD1e3Cf25b4c241a27a4c7A
You can read (as a proxy) the property "rollupVerifier": 0x4ceB990D2E2ee6d0e163fa80d12bac72C0F28D52
It's the FFLONK verifier!
The address you are pointing is the last testnet and points to a GROTH16 verifier.
7
11
104
Just updated the new token standard EIP-777 with the comments we received from the community and open sourced the reference implementation. Comments are welcome.
2
35
107
I hope one day we have liquid democracy where delegates are elected continuously and no body can censure them. having to go to Strasburg to defend the elected catalans representatives that Spain is censuring is our obligatioon but it’s crazy!
#Estrasburg
#omplimEstrasburg
5
38
101
The iden3 team is moving full steam ahead to bring tech into production. We just launched a testnet in Görli. This tech is key for scaling decentralised payment systems, self sovereign identities and all other dApps.
Give it a try!
38
86
99
@LuozhuZhang
@Scroll_ZKP
@0xPolygonHermez
This is not true! All the code is open. We are not hiding any thing. May be there are some pieces that need better documentation that we are writing. But all the repos are open.
Regarding the technical details you mention, open to dicuse them on a white board, not in twitter.
4
18
93
Very excited to talk about privacy in in the context of rollups.
People mistakenly associate
@0xPolygonLabs
zkEVM, or any word containing ZK, with privacy.
@jbaylina
will seize this opportunity to demonstrate how to build a privacy rollup using the tooling implemented to create the Polygon zkEVM.
Join Privacy Reunion in 🇨🇭 on July 1st!
3
7
30
6
11
88
Here is my presentation at
#ethDenver
I try to explain the risks and the mitigations we are adopting for the main net bata launch on march 27th.
3
22
83
I will use this video as a getting started turorial for
#circom
and
#snarkjs
... In half an hour we explain how to create complex circuits, compile, generate proofs and verify then on
#erhereum
chain.
@identhree
@zeroknowledgefm
1
80
71
This research line is very important for scaling
#ethereum
...
How do you make fast…faster? Answer: the parallel EVM engine.
TL;DR Researchers at Polygon are excited to announce an innovation to the
#Polygon
PoS chain that will make it up to TWICE 💨 AS 💨FAST 💨
What it means, why it matters👇🏾
57
242
746
3
9
84
15/15
You can test Polygon zkEVM here:
We will launch a beta in mainnet on March 27th!
7
5
86
I've been learning and understanding about this EIP. I admit I was sceptical when I first read. But now I see that's even better of what I would had done. I fully support this EIP!
Evaluating a polynomial is more efficient than hashing inside a stark. Even if it's cross prime!
I've seen a lot of fear recently that the KZG commitments introduced with 4844/full sharding will be hard to use in ZKRollups.
This is not true! You can make quite efficient use of them in proofs. More details here:
11
24
127
14
16
84
Very productive week at
#decconnect
Incredible organization! Incredible city and incredible weather! Thank you to all organizers! I was very esceptical about this decentralized concept, But the true is that it was a great decission!
6
3
85
3/3
* More optimal stark construction thank you to
@0xPolygonMiden
and a very useful trick from
@danboneh
to handle intermediate polynomials.
4
6
75
Today at
#DevconV
Room B10 11:30. I'm going to explain how the zero knowledge based Rollup we are building at
@identhree
works. IMO the most promising path for scaling blockchain dApps. Including but not limited to payment systems. 1000TX/s are possible on top of
#Ethereum
1.0
1
24
79
We, the catalans, continue the fight for freedom!
4
6
80
Just published an important version of
#snarkjs
Fast prover, multicurve, browser and node compatible,
#ethereum
smart contract generation. trusted setup ceremony.... Give it a try with the new tutorial! It never has been that easy to write
#zkSnark
apps.
@VitalikButerin
@zooko
We just published a new version of snarkjs. Highlights include:
💻 Native Wasm
⚒️ Tools for trusted setups
(powers of tau and circuit ceremonies)
🌙 Support for both BN128 & BLS12-381 curves
☋ Works with node & in browser
New tutorial in the Readme
4
83
56
1
28
77
I want to thank the whole team of incredible devs (and no devs) that made this possible!
We are very close to mainnet!
scaling
#ethereum
is here!
4
18
80
More and more initiatives to bring together Developers/Founders/Builders. Join me at
#PolygonConnect
Berlin on Sept 16th keynote during
@BerBlockWeek
Guten tag Berlin 👋🏽
While our EMEA tour is coming to an end, we couldn’t leave the region without our flagship event, Polygon Connect!
Save the date for September 16 in Berlin, Germany:
39
104
148
3
12
72
That's huge!
Congrats!
Today we're proud to announce the next generation of our encrypted zkRollup with the same name that started it all:
Aztec.
Aztec is the first ever hybrid zkRollup, enabling both public and private smart contract execution in one environment.
It's Ethereum, encrypted.
👇
122
855
2K
4
3
72
2/15
The first step is keeping the network synchronised. This is not specific to a zkRollup, this is the same for any chain (L1, L2, .., L43, zk, optimistic, side-chain, etc)
1
0
71
Heading
#burningman2018
! This year
#decentralcamp
is going to be big with many people from the
#ethereum
community!
5
4
72
Tomorrow at
@ethcc
, I will go deep into the
#zkEVM
. At the same time I will try to keep the explanation simple for anyone to understand.
You will not regret attending... 🧐
@hermez_network
#ethereum
0
23
75
2/3
* Gas limit per Batch about 10Milion gas.
* Proof aggregation: Provers will be able to proof any segment size of the chain.
* Thank you to the
#Plonky2
by
@0xPolygonZero
tech we can generate this infinite recursive proof very fast.
1
7
69
Just try to listen this video from the perspective of a NON-AMERICAN citizen....
Here's the clip w/ "the US Dollar is a very powerful tool" which captures a LOT more than the tweets do.
It's a masterful play by both parties, though Zuck wins this micro-parley because of his subtlety. What isn't said is just as important as what is said.
73
255
744
4
19
70
This is amazing!
All the batches are fully proved without any issue!
Frictionless for the apps is our spec!
Wellcome to the scaling era!
5
17
73
Have you ever entered a decentralized website with your regular browser...?
👀look for
@DAppNode
wifi hotspot in
#web3summit
@ node 07
#DecentralizeNOW
4
27
71
3/15
Once you have one (or many) nodes syncronized, you need to build the proofs for all those batches ( we call a batch to an L2 block to distinguish it from the L1 blocks).
2
0
67
Very excited to see
@0xProject
supporting
#ERC777
standard (between other improvements) in the upcoming v2 version!
2
10
68
Just implemented Poseidon Hash function in
#Circom
,
#Javascript
and as a Smart contract in
#EVM
. This allows verification circuits of Merkle trees with less than 400 constraints per level.
@barrywhitehat
@kobigurk
@identhree
3
22
67
Very excited to talk tomorrow in
#ethcc
at 11:50 Jean-Baptiste Say room. I'll talk about discovery identity protocol, identity genesis, identity services and many other concepts related to
#SelfSoverignIdentity
that we are developing at
@identhree
4
14
69
Great article about FFlonk. Important to mention is that the trade off is more expensive prover in order to make a cheaper on-chain verifier!
Wrote some notes on FFlonk (used by
@0xPolygon
ZK-EVM) and how it leverages efficient polynomial commitment schemes for multiple points and polynomials[BDFG' 21]
3
13
88
2
9
69
In brief I will explain how we at
@0xPolygon
build the
#PolygonZKEVM
at
@standford
blockchain week!. You can follow it here:
3
10
66
4/15
To build the proof, you need to reexecute the batch and build the zkProof. This may take some time and resources. In the case of polygon
#zkEVM
it's 2' for a 10M gas batch in a simple machine (We internally call this reference "The rocket" and it has 128 cores and 512Gb RAM)
4
0
67
It’s a huge honor to meet the inventor of zero-knowledge proofs (among many other things) Thank you professor
@silviomicali
2
5
65
13/15
Well they are the same that any other rollup. The next bottle neck is data availability. This is why is so important pushing
#Ethereum2
#danksharding
and the
#EIP4844
2
0
64
If you are in Paris next week, do not miss it.
Going to Paris for
@EthCC
? Join us IRL for a sneak peek screening of SCALE.
Production by: inBLUME Digital
The incredible origin story of Polygon
#zkEVM
ft.
@jbaylina
@davidsrz
@antonimarber
@_bfarmer
@dlubarov
@bobbinth
@sandeepnailwal
@MihailoBjelic
15
106
313
0
5
59
Join next Tuesday the circom 2.0
#zkHack
workshop organized by
@zeroknowledgefm
@ZKvalidator
. It's a good opportunity to learn
#zkSNARKS
and develop you first zkApp!
Advanced users will discover the new fully rewritten in rust
#circom
2.0 compiler
1
13
60
#ETHCC5
is over, and as always, the organization was excellent! I want to thank you the organizers and the volunteers that made it possible. It is by far the reference eth conf in Europe. The only criticable point is that some people couldń’t made it. I hope next year can grow!
3
4
59
Next Thursday 14:45 at
@EthCC
I'll open the hood of the upcoming
@hermez_network
implementation of the
#zkEVM
.
👀
1
13
61
Tomorrow in
@zeroknowledgefm
I’ll explain with practical examples how to create zero knowledge circuits in
#circom
Create and veryfy the proofs with
#snarkjs
and deploy an onchain verifier in
#erhereum
.
@identhree
0
8
58
4
21
53
Excellent analisys!
Stay tuned... 😉
Just this week, two highly anticipated universal zk-EVMs launched:
@zksync
Era and
@0xPolygon
zkEVM! Both use validity proofs for execution correctness, but how do they differ?
Let's dive into state diffs vs TX data! 🌊🔍
32
129
490
1
10
55
10/15
For this last step the proof is converted from a STARK to a SNARK (FFLONK), this reduces the gas cost for verifying this proof onchain. This process takes about 2min in "The Rocket" and the gas cost of the whole TX is about 350K no matter how long is the proving segment.
1
0
58
5/15
But this process can be run in parallel!. That mean that you can have one server computing the prover for the batch one, a 2nd server for the batch 2, a 3rd server for the batch3 and so on.
5
1
58
Wow!!!! Looks like
#circom
from
@identhree
is starting to have some traction. Writing zero knowledge circuits have never been so easy!
I implemented the Mastermind board game using zk-SNARKs and it works in the browser. Before I publish a a long-form post about it, here's the code:
1
37
156
1
14
55
@Zac_Aztec
@cryptoMaxi420
@SoSoCrypto2
@PolygonHermez
1/3 Let me try to clarify the confusion:
The zkEVM proof will have two pieces: The STARK proof where most of the work of zkEVM processor happens. This proof will extensively use plookup to do special operations and to connect state machines.
3
7
56
Thank you to
@GraceTorrellas
@davidsrz
@antonimarber
and all the
@identhree
team for the incredible job you made preparing this presentation. Very excited to move forward in democratizing identity!
Awesome presentation by
@jbaylina
at
@EFDevcon
@identhree
we are democratizing identity certification authority
0
7
25
2
15
55
14/15
Once solved the data availability, next bottleneck will be keeping the chain synchronised (nothing to do with the zkProofs). And is at this point where thinking in a multi-rollup ecosystem running in parallel will make a lot of sense (multiprocessor approach).
3
0
56
This will be my 3rd year I teach in the UPC Blochain Master (Barcelona).
#Cryptography
#ethereum
#zkSnarks
#webAssembly
are some of the topics we explain. The master is in Spanish, but I’m sure it’s one of the top blockchain masters for devs in the world
4
6
54
Today at
#ETHDenver
17:40 Infinity Stage I'll present Proof of Efficiency : A proposal to decentralise operators in
#zkRollup
s.
#zkEVM
4
9
53
0
19
52
Very excited to see people coding in
#circom
language! The zero knowledge era is coming!!!
@identhree
1
1
5
1
13
52