Publicaciones recientes
Una mirada más amplia a la conexión entre diferentes modelos de cómputo, y la importancia de los circuitos aritméticos
¡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!
¡Vamos a ser prácticos y construir algunos circuitos aritméticos!
Esta segunda ronda de pruebas de conocimiento cero nos llevará en un viaje para entender un marco más general. ¡Agárrate fuerte!
Antes de avanzar hacia pruebas de conocimiento cero más complejas, ¡necesitamos introducir un nuevo modelo: los circuitos aritméticos!
arkana
