Skip to content
Draft
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
8 changes: 4 additions & 4 deletions yarn-project/simulator/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ It's able to simulate three different types of functions:

Private functions are simulated and proved client-side, and verified client-side in the private kernel circuit.

The public inputs of private functions is defined [here](../stdlib/src/structs/private_circuit_public_inputs.ts).
The public inputs of private functions are defined [here](../stdlib/src/structs/private_circuit_public_inputs.ts).

They are run with the assistance of a DB oracle that provides any private data requested by the function.

Expand All @@ -22,17 +22,17 @@ Private functions can call another private function, and can request to call a p

Public functions are simulated and proved on the sequencer side, and verified by the public kernel circuit.

The public inputs of public functions is defined [here](../stdlib/src/structs/avm/avm_circuit_public_inputs.ts).
The public inputs of public functions are defined [here](../stdlib/src/structs/avm/avm_circuit_public_inputs.ts).

They are run with the assistance of an oracle that provides any value read from the public state tree.

Public functions can call other public function, but no private functions.
Public functions can call other public functions, but cannot call private functions.

See the specifications of the [Aztec Virtual Machine (AVM) for public execution](./docs/avm/index.md).

### Unconstrained Functions

Unconstrained functions are useful to extract useful data for users that could produce very large execution traces - such as the summed balance of all a users notes
Unconstrained functions are useful to extract data for users that could produce very large execution traces - such as the summed balance of all of a user's notes.
They are not proved, and are simulated client-side.

They are run with the assistance of a DB oracle that provides any private data requested by the function.
Expand Down
Loading