Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
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
```