Skip to content

Commit

Permalink
chore(yellowpaper): minor cleanup (#4622)
Browse files Browse the repository at this point in the history
  • Loading branch information
dbanks12 authored Feb 15, 2024
1 parent 9e7a451 commit 2d16966
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions yellow-paper/docs/public-vm/intro.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,11 @@ 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.
> 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

Expand Down
2 changes: 1 addition & 1 deletion yellow-paper/docs/public-vm/nested-calls.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -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
```

0 comments on commit 2d16966

Please sign in to comment.