Arithmetic Circuit
Compresión ZK · Fondo
Un grafo dirigido aciclico de puertas de adicion y multiplicacion que representa una computación sobre un campo finito. Usado como la representacion intermedia para compilar programas en pruebas de conocimiento cero. El circuito mapea entradas a salidas a través de una serie de operaciones de campo, con el tamano del circuito (número de puertas) determinando el costo de generación de prueba.