Introduction into ECC [paper]
24 Feb 2025Prepared a little article about Error-Correcting codes, their principles, types and underlying math in simple words.
Prepared a little article about Error-Correcting codes, their principles, types and underlying math in simple words.
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.
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
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