Two weeks ago the Seminar on Code Theory, Low-Degree Testing, and PIOPs began. Across four biweekly meetings, the seminar traces the path from the fundamentals of linear code theory to modern polynomial proximity protocols, with direct applications to zero knowledge testing schemes.
In this first meeting we covered the generalities of code theory, introduced Reed–Solomon codes, and discussed the current direction of linear codes in ZK protocols.
The program is led by Manuel Puebla, a teacher and researcher in UBA and
@class_lambda whose background bridges pure mathematics and engineering. He holds a degree in Mathematics, with a focus on Pure Mathematics, from the Faculty of Exact and Natural Sciences at the University of Buenos Aires, and trained in Electronic Engineering at the same university's Faculty of Engineering, where he has taught since 2001. He is currently an Adjunct Professor in the Department of Mathematics at FIUBA and holds the Palacios-Puebla Chair at the CBC.
Our thanks to the Facultad de Ingeniería, UBA for hosting us and making their facilities available for this first meeting.
The second meeting of the seminar took place at
@Exactas_UBA, Manuel Puebla's home faculty. We're grateful to them for hosting us and opening their space for this session. Holding the seminar within this academic and institutional setting enriches the program and reaffirms the value of building these initiatives in coordination with the public university.