Introduction into ECC [paper]

Prepared a little article about Error-Correcting codes, their principles, types and underlying math in simple words.

Enjoy! Introduction into the Error-Correcting Codes

Launching Linea stack

Recently, my team has been working mainly on the launching the Linea L2 stack. It has been a long way, starting from the investigating the prover code with aim to improve its performance up to launching the whole system.

Here is the docker-compose example that can help any team to launch their own L2. It also contains the brief overview of the parts Linea consists of.

From my side, Linea made a good impression on myself, their approach in using own arithmetization in a couple with own proving protocol (Votex) and Gnark is really novel. I’m proud that my team became one of the open-source contributors to the Linea.

FS security

Here is a short recap from Lita of the recent article about practical attack on the interactive protocols under Fiat-Shamir heuristics.

We’ve been discussing the recent paper —https://t.co/5lAT8xQ0tI — “How to Prove False Statements: Practical Attacks on Fiat-Shamir” by Khovratovich, Rothblum, and Soukhanov, which highlights a diagonalization attack against certain GKR-based proof systems that embed their own…

— Lita (@0xLita) February 3, 2025

ZK-STARK explained [lecture]

Recently I’ve taken part in the ZKDL Camp as a lector where I’ve turned my ZK-STARK paper into the lecture format. Enjoy by link: Introduction into STARKs

Pinocchio/Groth16 cheatsheet

Based on ZKDL Camp

File download:

• Dark
• White