Verificación de Suma

¡Avanzamos hacia nuestro primer mecanismo verdaderamente general para probar la correctitud de cómputos!

A medida que nos acercamos a sistemas de pruebas generales, necesitamos estudiar modelos de computación, ¡lo cual nos lleva a los circuitos!

Equipados con campos finitos y polinomios, ¡es hora de echarle un vistazo a nuestro primer sistema de pruebas!