From 19835304ce914e4a07fe92997db8ab8fb16f2a20 Mon Sep 17 00:00:00 2001 From: bruno Date: Tue, 17 Sep 2024 11:27:55 -0300 Subject: [PATCH] more docs --- docs/opcodes/foreword.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/opcodes/foreword.md b/docs/opcodes/foreword.md index c66a064..de1eac9 100644 --- a/docs/opcodes/foreword.md +++ b/docs/opcodes/foreword.md @@ -1,2 +1,2 @@ ## Opcodes -Opcodes are how the ... \ No newline at end of file +Opcodes are the basic elements that make the ACIR abstraction. An Abstract Circuit Intermediate Representation (ACIR) is a set of opcodes of different kinds (AssertZero, MemoryInit, MemoryOp, BlackBoxFunction, BrilligCall). These opcodes take different forms and talk about witnesses (inmutable variables in the circuit) and their main function is to establish restrictions over these witnesses. \ No newline at end of file