Skip to content

Commit

Permalink
chore(docs): Fix some typos in specs of private kernel initial (#6224)
Browse files Browse the repository at this point in the history
  • Loading branch information
jeanmon authored May 7, 2024
1 parent 0e828f3 commit ead54c4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/docs/protocol-specs/circuits/private-kernel-initial.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -168,8 +168,8 @@ The circuit undergoes the following validations for data within [`private_inputs
For each `note_hash` at index `i` in `note_hashes`:

- Find the `request_index` at [`hints`](#hints).`note_hash_range_hints[i]`, which is the index of the `private_call_requests` with the smallest `counter_start` that was emitted after the `note_hash`.
- If `request_index` equals `NM`, indicating no request was emitted after the `note_hash`, its counter must be greater the `counter_end` of the last request.
- If `request_index` equals `0`, indicating no request was emitted before the `note_hash`. Its counter must be less the `counter_start` of the first request.
- If `request_index` equals `NE`, indicating no request was emitted after the `note_hash`, its counter must be greater than the `counter_end` of the last request.
- If `request_index` equals `0`, indicating no request was emitted before the `note_hash`. Its counter must be less than the `counter_start` of the first request.
- Otherwise, the request was emitted after the `note_hash`, and its immediate previous request was emitted before the `note_hash`. Its counter must fall between those two requests.

The code simplifies as:
Expand Down

0 comments on commit ead54c4

Please sign in to comment.