Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(docs): Fix some typos in specs of private kernel initial #6224

Merged
merged 1 commit into from
May 7, 2024

Conversation

jeanmon
Copy link
Contributor

@jeanmon jeanmon commented May 6, 2024

No description provided.

@jeanmon jeanmon marked this pull request as ready for review May 6, 2024 16:47
@jeanmon jeanmon requested a review from LeilaWang May 6, 2024 16:47
@@ -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.
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@LeilaWang I replaced 'NM' by 'NE' as NM is not defined in the document.

@AztecBot
Copy link
Collaborator

AztecBot commented May 6, 2024

Docs Preview

Hey there! 👋 You can check your preview at https://663a5ccc8680e928a30bc175--aztec-docs-dev.netlify.app

@jeanmon jeanmon force-pushed the jm/typos-docs-private-kernel-init branch 2 times, most recently from 34653e7 to e1aee09 Compare May 7, 2024 12:20
@jeanmon jeanmon force-pushed the jm/typos-docs-private-kernel-init branch from e1aee09 to 474f19d Compare May 7, 2024 16:26
Copy link
Contributor

github-actions bot commented May 7, 2024

Changes to circuit sizes

Generated at commit: 36d78b85cd48028432f1d4fc4c2924003e1b2d91, compared to commit: c571ff0545d54819dd5b386e1bbd932dbe603819

🧾 Summary (100% most significant diffs)

Program ACIR opcodes (+/-) % Circuit size (+/-) %
public_kernel_setup +29 ❌ +0.04% +56 ❌ +0.02%
public_kernel_teardown +29 ❌ +0.04% +56 ❌ +0.02%
public_kernel_app_logic +23 ❌ +0.03% +61 ❌ +0.02%
private_kernel_inner +23 ❌ +0.02% +37 ❌ +0.01%
private_kernel_init +13 ❌ +0.01% +22 ❌ +0.01%
public_kernel_tail +47 ❌ +0.01% +47 ❌ +0.00%
private_kernel_tail -200 ✅ -0.15% +7 ❌ +0.00%
private_kernel_tail_to_public -200 ✅ -0.06% +2 ❌ +0.00%

Full diff report 👇
Program ACIR opcodes (+/-) % Circuit size (+/-) %
public_kernel_setup 71,814 (+29) +0.04% 301,914 (+56) +0.02%
public_kernel_teardown 71,955 (+29) +0.04% 302,050 (+56) +0.02%
public_kernel_app_logic 86,993 (+23) +0.03% 382,839 (+61) +0.02%
private_kernel_inner 106,995 (+23) +0.02% 380,740 (+37) +0.01%
private_kernel_init 91,755 (+13) +0.01% 285,752 (+22) +0.01%
public_kernel_tail 382,097 (+47) +0.01% 1,379,979 (+47) +0.00%
private_kernel_tail 135,680 (-200) -0.15% 1,063,385 (+7) +0.00%
private_kernel_tail_to_public 348,878 (-200) -0.06% 1,536,196 (+2) +0.00%

@jeanmon jeanmon merged commit ead54c4 into master May 7, 2024
62 checks passed
@jeanmon jeanmon deleted the jm/typos-docs-private-kernel-init branch May 7, 2024 17:44
TomAFrench added a commit that referenced this pull request May 8, 2024
* master: (25 commits)
  fix: Enable client proof tests (#6249)
  chore: update cspell for abi demonomorphizer (#6258)
  feat(aztec-nr): add 'with_gas()' function to avm call interface (#6256)
  git subrepo push --branch=master noir-projects/aztec-nr
  git_subrepo.sh: Fix parent in .gitrepo file. [skip ci]
  chore: replace relative paths to noir-protocol-circuits
  git subrepo push --branch=master barretenberg
  fix: Pw/update merge check (#6201)
  chore(master): Release 0.37.1 (#6148)
  fix: Cl/split out e2e tests (#6242)
  feat: Typings generator with generics (#6235)
  chore(ci): fix restarts with fresh spot, acir test fixes, non-mandatory benches (#6226)
  chore: misc AVM migration prep changes (#6253)
  feat!: AES blackbox (#6016)
  chore(docs): Fix some typos in specs of private kernel initial (#6224)
  chore(aztec-macros): avm function return types are auto tagged as `pub` (#6250)
  chore(aztec-nr): create a 'with_selector' version of `emit_unencrypted_log` in avm context (#6248)
  fix: registering PublicDataWitness in JsonRpcServer (#6243)
  feat: Sync from noir (#6234)
  feat(avm-simulator): consider previous pending nullifiers across enqueued calls (#6188)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants