sergeyshemyakov, PhD 💗
@sergeyshemyakov
Followers
53
Following
306
Media
1
Statuses
36
This is a great explainer on what bits of security are ☝️BITS OF SECURITY = PROVEN BITS OF SECURITY☝️
My talk on the soundness and security guidelines for @eth_proofs is now online. Special thanks to the teams for their feedback and valuable chats through the week. 🤍 If you love Ethereum, give Ethereum the 128 bits of provable security it deserves 🤍
0
0
0
Wow, what an impressive demo and an important one for Ethereum 🔥 Such prover diversity, and everything actually worked
0
0
3
SATURDAY NOV 22ND: Ethproofs day is thrilled to host @sergeyshemyakov from @l2beat - who will be presenting his talk: L2BEAT ZK Catalog 🤝 Ethproofs 😍
0
1
2
5) See this forum post for examples of how some projects already bring transparency into their ZK setups and for some further clarifications: https://t.co/02aJy9VF8H.
forum.l2beat.com
We propose to add the following items to the Stage 1 requirements. They all relate to ZK verifier setups used by L2s. The main motivation is to hold ZK verifier setups to the same standards of...
0
0
2
4) Requirements apply to the full zk setup securing an L2. All smart contracts that can be used for updating rollup data on L1 are under scrutiny🔍Users deserve to know what exactly is proven and verified onchain, not merely trust the promise of “cryptographic security”.
1
0
5
3) New requirement number✌️: projects must make sure that onchain verifiers can be independently checked. Sources for prover, verifier and all used zkVM programs, must be published. In addition, steps for regenerating program commitments and onchain verifiers must be available.
1
0
3
2) New requirement number ☝️: trusted setups of Stage 1 projects can’t be rated 🔴 according to the proposed trusted setups framework: https://t.co/L8WfsFGcTo.
forum.l2beat.com
The L2BEAT research team would like to propose a framework for evaluating trusted setups of zero knowledge proving systems used in L2-related applications. The general goal of the framework is to...
1
0
2
1) L2BEAT proposes to raise the bar for ZK setups of Stage 1 projects. The main goal is to hold ZK verifiers to the same standards of transparency and trustlessness as other components of rollup tech stack. Details in this thread👇 and this forum post👉 https://t.co/02aJy9VF8H.
forum.l2beat.com
We propose to add the following items to the Stage 1 requirements. They all relate to ZK verifier setups used by L2s. The main motivation is to hold ZK verifier setups to the same standards of...
1
3
16
Stwo is truly a next-generation STARK: small M31 field, Circle STARKs and a possibility of writing custom AIR to be proven, not only Cairo programs. Great work, Starkware team 👏 Stwo page is already live on L2BEAT ZK Catalog, check out to learn more:
l2beat.com
Stwo is a circle STARK optimized for proving performance, representing the next generation of Starkware prover after Stone.
1/ S-two is live on Starknet mainnet. The fastest prover ever built now proves every Starknet block, securing all transactions with the most advanced Circle STARK technology. More speed, more privacy, more scalability, more decentralization 🧵
0
0
1
Here is the recording of my TU Munich Blockchain club presentation "State of Ethereum's ZK proving systems", 11 September 2025. https://t.co/09MoyrDPWw
0
0
2
Our Privacy dashboard hosts 600+ projects promising privacy in the web3. It aims to - make open data on privacy-readiness free and accessible - score projects privacy features - build a cultural of organizational transparency dive: https://t.co/2J8oUSFmg5 We are working on
6
7
43
Non-Interactive (NI) ZK Fraud Proofs are pitched as the "best of both worlds" for rollups. However, our latest research finds they risk being the worst of both. We've published in ethresearch an in-depth analysis of NI under adversarial conditions. 🧵
3
15
84
We don’t stop shipping - ever. 🚢 Detailed pages on the ZK Catalog are live. Dive into proof systems, trusted setups and onchain verifiers securing Ethereum’s scaling stack - and learn how to check them yourself.
13
20
82
Here are my slides for TUM Blockchain Conference 25 @tbc_munich If anyone is interested. Also see https://t.co/zK8vGeUwEP. Title: "State of Ethereum's ZK proving systems" https://t.co/F98k0qCQ45
0
0
4
Since 2021 L2BEAT has relied on grants + donations to stay credibly neutral while providing transparent insights into Ethereum rollups. But scaling the team & covering the expanding rollup ecosystem required a sustainable model. Today, we’re introducing the Partnership Fund 🧵
18
32
160
1
0
0
Have anyone been able to satisfyingly define EF's Proximity Prize ( https://t.co/QotWoPTkjT)? I have made an attempt to write down my own understanding of. See this repo: https://t.co/UXOZrGbXcb Please keep in mind I am not an expert on STARKS and this is work in progress.
1
0
2
@drakefjustin recently announced a Proximity Prize on @zeroknowledgefm about Proximity Gap conjectures. I put together a repo to orient folks: https://t.co/eRumMJyqVM It includes a concise PDF to find your way around the proximity proof zoo (under construction).
github.com
Contribute to tcoratger/proximity-proofs development by creating an account on GitHub.
0
3
16
Happy to share the progress done in the past month on native rollups! A new shiny website has been created to collect the spec draft and design ideas, with the goal of providing a starting point for feedback from community members and L2 devs. link at the end of the thread 🧵👇
18
25
153
I contributed to the Semaphore Binary Merkle Root Fix Phase 2 Trusted Setup ceremony! You can view the steps to contribute here: https://t.co/vp1Sv3ZZiE You can view my attestation here:
gist.github.com
Attestation for Semaphore Binary Merkle Root Fix MPC Phase 2 Trusted Setup ceremony - semaphore-binary-merkle-root-fix_attestation.log
0
0
0