Arithmetic Circuit
Compressão ZK · Fundo
Um grafo aciclico direcionado de portas de adicao e multiplicacao representando uma computação sobre um campo finito. Usado como representacao intermediaria para compilar programas em provas de conhecimento zero. O circuito mapeia entradas para saidas por meio de uma serie de operações de campo, com o tamanho do circuito (número de portas) determinando o custo de geracao da prova.