MM
@MarcinM02
Followers
471
Following
28
Media
26
Statuses
49
building #zk proofs and systems @the_matter_labs / #zksync
Joined February 2022
EOA vs 7702 vs 4337 vs 7579 — What’s the Difference? Today most people use EOAs -- but very soon (hopefully), they will move to smart accounts, that would be a combination of 7579 with 7702 and 4337. So let's see what does this mean. EOA — Externally Owned Account An EOA is
3
2
17
zkos is one of the reasons why airbender for @eth_proofs was so quick. Now is your chance to see its internals and earn some bounties. There are a few easter-egg bugs - so there is something to find.
Find all the details here for the ZKsync OS bug bounty:
0
0
15
EIL - Ethereum Interop Layer It is a new thing proposed by EF, to help interoperability. TL;DR - it provides asset + gas movements between chains (with provider registration & slashing on L1). Requires wallets to do a lot more - pushing them to become like browsers.
2
1
11
1 day to @eth_proofs
3 days to @eth_proofs 4 provers are proving every block, with @SuccinctLabs and @axiom_xyz probably joining soon.
4
7
56
3 days to @eth_proofs 4 provers are proving every block, with @SuccinctLabs and @axiom_xyz probably joining soon.
0
0
7
But just not posting data is just a start If you add additional features to your sequencer, block explorers etc - you unlock the true power of prividiums -- where you allow others to interact with it too. You decide who sees what, while ZK gives them the guarantee, that while
$zk Prividiums One of the amazing things that ZK allows, is prividiums. Ability to run your own chain, with private state, and interop with L1 within seconds (while using just a single GPU). Here's a quick comparison on how rollups, validiums and prividiums differ.
1
1
11
$zk Prividiums One of the amazing things that ZK allows, is prividiums. Ability to run your own chain, with private state, and interop with L1 within seconds (while using just a single GPU). Here's a quick comparison on how rollups, validiums and prividiums differ.
0
1
17
Lots of great @eth_proofs ZK progress on the same day. - @zksync - improving proof time by 2x on one GPU - @ziskvm - getting real time proofs on 24 GPUs. Still 3 weeks to Devconnect...
Airbender enters the @eth_proofs leaderboard as the fastest zkVM! Airbender proves ZKsync chain blocks in ~1 second, and is now proving @ethereum blocks in under 50 seconds on a single GPU, helping push the Lean Ethereum roadmap forward.
0
0
25
Airbender prover & speed How to speedup proving? * GPU * custom circuits (for things like keccak) * larger recursions programs With larger recursion, we're getting 3x ratio.
1
1
12
Sepolia → Fusaka upgrade surprise Sepolia upgraded last week & our servers started failing on blobs. Why? EIP-7594 promised backwards compatibility — blobs were, but their packaging was not. Nodes were supposed to accept both, but in practice almost all rejected the old format
1
0
7
🚀 EIP-7702: Turning Every Ethereum Account into a Smart One 🤯 💡 Before: * EOAs 🔑 (Externally Owned Accounts): A private key and no code. * Smart Contracts 🧑💻: Code-based, no private key. 💥 Now: With EIP-7702, EOAs can deploy code and act smart too! 🧠 🔗 How it works:
0
3
15
#ZKExplainMe 16/24 - Arithmetization 🔢 How do we turn computations into polynomials? This process, called arithmetization, lets us prove that outputs truly result from inputs by encoding the computation as a set of polynomials with constraints. Curious how this works?
0
0
6
#ZKExplainMe 15/24 - Fiat-Shamir 🔄 FRI relies on the verifier selecting random points. How can YOU be sure the verifier didn’t collude with the prover? 🤔 Fiat-Shamir transformation turns interactive proofs into non-interactive —convincing everyone, not just the verifier.
0
0
8
Test Your Knowledge 🧠 - how does the next folded polynomial look like for the example above? - what values is prover passing to verifier ? (if verifier asks to evaluate in 16).
1
0
3
#ZKExplainMe 14/24 - FRI Folding 🎲 How do we prove millions of points lie on a low-degree polynomial? FRI uses folding to break it down into smaller problems—until we’re left with a degree 0 polynomial (where all values are identical). Curious how folding works ? 👇 FRI
2
0
8
#ZKExplainMe 13/24 - FRI: A Different Approach to Polynomials 📊 KZG used a single secret point. What if, instead of one secret point, we checked millions of points? 🤔 FRI uses this clever trick, committing to many evaluations at once—but how ? Let’s dive in! 🚀 FRI: A
0
0
8
#ZKExplainMe 12/24 - Merkle Trees 🌳 Merkle trees are a core building block for FRI. They let you hash large datasets into a single root hash and generate tiny proofs to verify any item in the dataset—provided you know the root. Curious how this works? 🚀 Merkle Trees: How
1
0
6
#ZKExplainMe 11/24 - KZG Final episode - eliptic curves 📈 Did you notice a small detail in the last episode? The verifier needed to know the secret value "s" to verify the data! 🤫 But there is a solution to that - use elliptic curves. While we couldn't do this in our simple
0
1
7
#ZKExplainMe 10/24 - KZG & Commitments & Queries 🎯 How can we query a polynomial at different points while ensuring the prover is honest?🤔The key lies in a secret point s and its relationship. Curious how this works and why KZG is so powerful? Let’s break it down! 🚀 Here’s
1
0
11