Albert Garreta

I am a mathematician and computer scientist. I began my career working (mostly) on the problem of solving (polynomial) equations in different types of algebraic structures (rings, algebras, groups, monoids). These topics live at the intersection of abstract algebra, group theory, computer science, and discrete optimization. Later I focused my work on cryptography and blockchain technology, specializing on zero-knowledge proofs.




Google Scholar, Machine learning competitions, Github profile. Twitter

Selected Work

These are what I think are the most relevant projects I have worked on, listed in no particular order. A full list of publications is available here.

Fiat-Shamir security of FRI and related SNARKs

Zk Summit 10 talk.

Here is a blogpost on this work.

Solving equations

In these papers we study the problem of solving equations in different types of rings, algebras, and solvable groups. A connection is established between this problem and the problem of solving polynomial equations in rings of algebraic integers O. The latter, a generalization of Hilbert's 10th Problem (undecidability of integer polynomial equations), is a major open problem in number theory. Informally speaking, we prove that, for large classes of rings, algebras, and solvable groups A, solving equations in O can be reduced to solving equations in A. In some cases, we are able to prove that solving equations in A is an undecidable problem.

Here is a talk I gave on this topic.

StarkNet hackathon

Classifying stars

This paper describes the 10 best solutions to the Kaggle competition Photometric LSST Astronomical Time-series Classification Challenge (PLAsTiCC). In this challenge, participants had to infer the type of a star given time-series data of its light emissions. 

Our solution was ranked 9th out of 1089



I love cinema. These are some of my favorites movies since 2013 (in chronological order) :) and this is my letterboxd


I have been painting occasionally over many years.  Some of the results can be found here