ZK Compression
Toolset for compressing data and proving the correctness of compressing with zk proofs.
About
The problem it solves The project allows you to compress data and in some cases, it's a great optimization. And you can prove compressing with zk proofs. In combination with other technologies, it can be very useful. A good example - rollup. Our tool can make rollups much cheaper. Especially zk rollups which publish storage transitions can be cheaper by 30% or more! Of course, you can use it every time when you want to compress data but need to prove that you did it correctly.
How it's made
Challenges we ran into I did research on how storage transitions are stored. And there are a lot of ways to compress some data depending on its specificity. I did a lot of tests to make the algorithm really effective and provable in ZKP at the same time.