10-13, 17:10–17:30 (America/Bogota), Workshop 1
Many ZK verification problems can be reduced to solving a system of polynomial equations over the ZK field. In this session I present the techniques I have reviewed over the past year on how to solve these kind of systems.
Break