From e71cca96050697869ce1eb3e317973ebb10c2804 Mon Sep 17 00:00:00 2001 From: dbanks12 Date: Thu, 15 Feb 2024 15:16:23 +0000 Subject: [PATCH 1/2] chore(yellowpaper): minor cleanup --- yellow-paper/docs/public-vm/intro.md | 2 +- yellow-paper/docs/public-vm/nested-calls.mdx | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/yellow-paper/docs/public-vm/intro.md b/yellow-paper/docs/public-vm/intro.md index cfb8115e1d3..f63559fd202 100644 --- a/yellow-paper/docs/public-vm/intro.md +++ b/yellow-paper/docs/public-vm/intro.md @@ -24,7 +24,7 @@ A **caller** is a contract call's initiator. The caller of an initial contract c - [**Execution**](#execution): control flow, gas tracking, normal halting, and exceptional halting - [**Nested contract calls**](./nested-calls): the initiation of a contract call from an instruction as well as the processing of nested execution results, gas refunds, and state reverts - [**Instruction set**](./instruction-set): the list of all instructions supported by the AVM -- [**AVM Circuit**](./avm-circuit)**: the AVM as a SNARK circuit for proving execution +- [**AVM Circuit**](./avm-circuit): the AVM as a SNARK circuit for proving execution > The sections prior to the "AVM Circuit" are meant to provide a high-level definition of the Aztec Virtual Machine as opposed to a specification of its SNARK implementation. They therefore mostly omit SNARK or circuit-centric verbiage except when particularly relevant to the high-level architecture. diff --git a/yellow-paper/docs/public-vm/nested-calls.mdx b/yellow-paper/docs/public-vm/nested-calls.mdx index f4937081fd6..97ac4c40b53 100644 --- a/yellow-paper/docs/public-vm/nested-calls.mdx +++ b/yellow-paper/docs/public-vm/nested-calls.mdx @@ -136,7 +136,7 @@ if nestedContext.results.reverted: > A world state access that was made in a deeper nested _reverted_ context will already have its end-lifetime initialized. The caller does _not_ overwrite this access' end-lifetime here as it already has a narrower lifetime. -Regardless of whether the nested call reverted, the caller accepts its updated world state access trace (with updated lifetimes). +Regardless of whether the nested call reverted, the caller accepts its updated world state access trace (with updated end-lifetimes). ```jsx context.worldStateAccessTrace = nestedContext.worldStateAccessTrace ``` From 8f3b5e3dc2b22972c4e0d29fef257268ca0f98ef Mon Sep 17 00:00:00 2001 From: dbanks12 Date: Thu, 15 Feb 2024 15:19:28 +0000 Subject: [PATCH 2/2] sentence structure --- yellow-paper/docs/public-vm/intro.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yellow-paper/docs/public-vm/intro.md b/yellow-paper/docs/public-vm/intro.md index f63559fd202..e27ea9e1ced 100644 --- a/yellow-paper/docs/public-vm/intro.md +++ b/yellow-paper/docs/public-vm/intro.md @@ -28,7 +28,7 @@ A **caller** is a contract call's initiator. The caller of an initial contract c > The sections prior to the "AVM Circuit" are meant to provide a high-level definition of the Aztec Virtual Machine as opposed to a specification of its SNARK implementation. They therefore mostly omit SNARK or circuit-centric verbiage except when particularly relevant to the high-level architecture. -> Refer to the ["AVM Bytecode"](../bytecode#avm-bytecode) section of ["Bytecode"](../bytecode) for an explanation of the AVM's bytecode. +> For an explanation of the AVM's bytecode, refer to ["AVM Bytecode"](../bytecode#avm-bytecode). ## Public contract bytecode