From 25ceaa7e4ac13c6d6a584182dd8562a43680199c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juli=C3=A1n=20Gonz=C3=A1lez=20Calder=C3=B3n?= Date: Mon, 4 Nov 2024 17:05:39 -0300 Subject: [PATCH] Remove extra todo --- docs/vm/README.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/docs/vm/README.md b/docs/vm/README.md index 4cc161111b..07738ddfed 100644 --- a/docs/vm/README.md +++ b/docs/vm/README.md @@ -150,10 +150,6 @@ CASM instruction have the following format. If the instruction uses an immediate TODO: Explain the meaning of each element -### Operations - -TODO: Explain primitive operations and how they affect the registers - ## Hints So far we have been thinking about the VM mostly abstracted from the prover and verifier it's meant to feed its results to. The last main feature we need to talk about, however, requires keeping this proving/verifying logic in mind.