Skip to content

chore(docs): spinning out bb docs#9402

Merged
Savio-Sou merged 18 commits intomasterfrom
zkpedro/bb_docs
Aug 29, 2025
Merged

chore(docs): spinning out bb docs#9402
Savio-Sou merged 18 commits intomasterfrom
zkpedro/bb_docs

Conversation

@signorecello
Copy link
Contributor

Summary

  • Spins off Barretenberg documentation (soon in barretenberg.aztec.network). Adds some links so devs still have the continuity in their learning journey
  • Adds documentation for using Noir with Aztec's devcontainer features
  • Implements a Playwright testing framework for the browser tutorial
  • Fixes broken markdown links and other nits

Key Changes

🏗️ New Dev Container Documentation

  • Added: docs/tooling/devcontainer.md - Guide for using Noir with Dev Containers and GitHub Codespaces
  • Includes setup instructions, configuration examples, and troubleshooting tips
  • References Aztec's Noir Dev Container feature
  • Links to tiny-noir-codespace example repository

🧪 Playwright Browser Testing Infrastructure

  • Added: Playwright test suite at tests/browser.test.ts
  • Added: Browser fixture application in tests/fixtures/browser/ so it can be referenced with #include_code macros and yet be tested
  • Updated: package.json with new test scripts:
    • test:tutorial: Builds fixture and runs Playwright tests
    • test: Alias for tutorial test
  • Added: Playwright dependencies and updated .gitignore

🔗 Barretenberg Documentation

  • Fixed: Shell completions link in noir_installation.md
  • Moved: Documentation that will be in the BB documentation, such as:
    • how-to-recursion.md
    • explainer-recursion.md
    • how-to-solidity-verifier.mdx

🛠️ Code Documentation Integration

  • Enhanced: include_code.js preprocessing script to support HTML comment syntax (<!-- -->) in addition to // and # comments
  • Updated: Tutorial documentation in noirjs_app.md to use #include_code directives that reference the new browser fixture
  • Reorganized: Moved shell completions documentation from getting_started/ to tooling/ directory

🧹 Content Cleanup

  • Simplified: quick_start.md by removing redundant proving backend setup (now references external docs)
  • Removed: Large video file (codespaces_showcase.mp4) and unused documentation files
  • Updated: Sidebar configuration to reflect documentation reorganization

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Aug 5, 2025
@signorecello signorecello marked this pull request as draft August 5, 2025 14:32
@signorecello
Copy link
Contributor Author

making this a draft until we have the BB docs

@github-actions
Copy link
Contributor

github-actions bot commented Aug 5, 2025

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: ccd00bb Previous: 676352d Ratio
test_report_zkpassport_noir-ecdsa_ 2 s 1 s 2

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@signorecello signorecello marked this pull request as ready for review August 14, 2025 13:21
@socket-security
Copy link

socket-security bot commented Aug 18, 2025

@signorecello signorecello force-pushed the zkpedro/bb_docs branch 2 times, most recently from dfe7eef to a770763 Compare August 18, 2025 11:19
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: a770763 Previous: 7bda502 Ratio
rollup-root 1.854 s 1.534 s 1.21

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@signorecello signorecello requested a review from a team August 19, 2025 11:56
@Savio-Sou
Copy link
Collaborator

We should add easily accessible links in the sidebar that link to the migrated how-to guides in Barretenberg's docs.

This eases Noir users' discoveries and learning of these powerful Barretenberg features (verifying with Solidity, using bb.js, recursive proof aggregation, and any that is coming up) that they would very likely enjoy using.

Perhaps as:

- How To Guides
  - Using Barretenberg
    - Generate a Solidity Verifier (link)
    - Barretenberg on the browser (link)
    - Recursive Aggregation (link)

@signorecello
Copy link
Contributor Author

We should add easily accessible links in the sidebar that link to the migrated how-to guides in Barretenberg's docs.

This eases Noir users' discoveries and learning of these powerful Barretenberg features (verifying with Solidity, using bb.js, recursive proof aggregation, and any that is coming up) that they would very likely enjoy using.

Perhaps as:

- How To Guides
  - Using Barretenberg
    - Generate a Solidity Verifier (link)
    - Barretenberg on the browser (link)
    - Recursive Aggregation (link)

Yes this would make sense, that way we don't mess too much with the structure of the sidebar. I'll do it

signorecello and others added 2 commits August 19, 2025 17:14
Co-authored-by: Savio <72797635+Savio-Sou@users.noreply.github.com>
Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 12dc720 Previous: 110cb99 Ratio
private-kernel-inner 0.017 s 0.014 s 1.21

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

@signorecello
Copy link
Contributor Author

GTG @Savio-Sou @TomAFrench changes applied

Copy link
Member

@TomAFrench TomAFrench left a comment

Choose a reason for hiding this comment

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

Looks good to me from a testing/CI perspective. One last nit and I'll leave the rest to devrel to review.

Copy link
Contributor

@critesjosh critesjosh left a comment

Choose a reason for hiding this comment

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

from the PR description, looks like the devcontainer stuff was removed?

Added: docs/tooling/devcontainer.md - Guide for using Noir with Dev Containers and GitHub Codespaces

can you update the description? we have LLMs parsing our PR descriptions now so accuracy is even more important 🙂

otherwise lgtm

Edit: disregard, looks like its there and I missed it

@Savio-Sou Savio-Sou enabled auto-merge August 20, 2025 14:05
@Savio-Sou Savio-Sou added this pull request to the merge queue Aug 20, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 20, 2025
@Savio-Sou
Copy link
Collaborator

@signorecello looks like a browser test is failing.

@signorecello signorecello added this pull request to the merge queue Aug 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 25, 2025
@github-actions
Copy link
Contributor

FYI @noir-lang/developerrelations on Noir doc changes.

@Savio-Sou Savio-Sou added this pull request to the merge queue Aug 29, 2025
Merged via the queue into master with commit e5bd638 Aug 29, 2025
122 checks passed
@Savio-Sou Savio-Sou deleted the zkpedro/bb_docs branch August 29, 2025 18:01
AztecBot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 2, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: remove duplicated frontend tests (noir-lang/noir#9706)
chore: remove playwright workaround (noir-lang/noir#9704)
fix(licm): Use `Loop::header` in `Loop::is_fully_executed` (noir-lang/noir#9700)
chore: show which type is invalid as program input (noir-lang/noir#9701)
chore: bump deps (noir-lang/noir#9698)
chore: bump external pinned commits (noir-lang/noir#9693)
chore(licm): Break things up further in LICM (noir-lang/noir#9683)
chore(docs): spinning out bb docs (noir-lang/noir#9402)
fix(ssa)!: Signed shift overflow checks rhs < bit_size (noir-lang/noir#9685)
chore: add extra bitshifts tests (noir-lang/noir#9680)
feat: Propagate purities using SCCs (noir-lang/noir#9672)
chore: break `NodeInterner` into chunks (noir-lang/noir#9674)
fix(formatter): don't revert indentation increase after popping it (noir-lang/noir#9673)
feat: hoist safe casts from loops (noir-lang/noir#9645)
chore: fix clippy warnings (noir-lang/noir#9675)
chore(ssa): Refactor flattening (noir-lang/noir#9663)
chore(ssa): Greenlight `brillig_entry_points` and switch to centralized CallGraph (noir-lang/noir#9668)
chore: add two mem2reg regression tests where references are returned (noir-lang/noir#9670)
fix(mem2reg): reuse existing expression and add missing alias (noir-lang/noir#9664)
chore: add tests for bounded_vec (noir-lang/noir#9576)
chore: redact debug info and file maps from snapshots (noir-lang/noir#9666)
chore: pull out interpreter binary evaluation logic into pure functions (noir-lang/noir#9665)
feat: brillig functions can be pure if they are not entry points (noir-lang/noir#9659)
END_COMMIT_OVERRIDE

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
AztecBot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 2, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: remove duplicated frontend tests (noir-lang/noir#9706)
chore: remove playwright workaround (noir-lang/noir#9704)
fix(licm): Use `Loop::header` in `Loop::is_fully_executed` (noir-lang/noir#9700)
chore: show which type is invalid as program input (noir-lang/noir#9701)
chore: bump deps (noir-lang/noir#9698)
chore: bump external pinned commits (noir-lang/noir#9693)
chore(licm): Break things up further in LICM (noir-lang/noir#9683)
chore(docs): spinning out bb docs (noir-lang/noir#9402)
fix(ssa)!: Signed shift overflow checks rhs < bit_size (noir-lang/noir#9685)
chore: add extra bitshifts tests (noir-lang/noir#9680)
feat: Propagate purities using SCCs (noir-lang/noir#9672)
chore: break `NodeInterner` into chunks (noir-lang/noir#9674)
fix(formatter): don't revert indentation increase after popping it (noir-lang/noir#9673)
feat: hoist safe casts from loops (noir-lang/noir#9645)
chore: fix clippy warnings (noir-lang/noir#9675)
chore(ssa): Refactor flattening (noir-lang/noir#9663)
chore(ssa): Greenlight `brillig_entry_points` and switch to centralized CallGraph (noir-lang/noir#9668)
chore: add two mem2reg regression tests where references are returned (noir-lang/noir#9670)
fix(mem2reg): reuse existing expression and add missing alias (noir-lang/noir#9664)
chore: add tests for bounded_vec (noir-lang/noir#9576)
chore: redact debug info and file maps from snapshots (noir-lang/noir#9666)
chore: pull out interpreter binary evaluation logic into pure functions (noir-lang/noir#9665)
feat: brillig functions can be pure if they are not entry points (noir-lang/noir#9659)
END_COMMIT_OVERRIDE
github-merge-queue bot pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Sep 2, 2025
Automated pull of nightly from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: remove duplicated frontend tests
(noir-lang/noir#9706)
chore: remove playwright workaround
(noir-lang/noir#9704)
fix(licm): Use `Loop::header` in `Loop::is_fully_executed`
(noir-lang/noir#9700)
chore: show which type is invalid as program input
(noir-lang/noir#9701)
chore: bump deps (noir-lang/noir#9698)
chore: bump external pinned commits
(noir-lang/noir#9693)
chore(licm): Break things up further in LICM
(noir-lang/noir#9683)
chore(docs): spinning out bb docs
(noir-lang/noir#9402)
fix(ssa)!: Signed shift overflow checks rhs < bit_size
(noir-lang/noir#9685)
chore: add extra bitshifts tests
(noir-lang/noir#9680)
feat: Propagate purities using SCCs
(noir-lang/noir#9672)
chore: break `NodeInterner` into chunks
(noir-lang/noir#9674)
fix(formatter): don't revert indentation increase after popping it
(noir-lang/noir#9673)
feat: hoist safe casts from loops
(noir-lang/noir#9645)
chore: fix clippy warnings (noir-lang/noir#9675)
chore(ssa): Refactor flattening
(noir-lang/noir#9663)
chore(ssa): Greenlight `brillig_entry_points` and switch to centralized
CallGraph (noir-lang/noir#9668)
chore: add two mem2reg regression tests where references are returned
(noir-lang/noir#9670)
fix(mem2reg): reuse existing expression and add missing alias
(noir-lang/noir#9664)
chore: add tests for bounded_vec
(noir-lang/noir#9576)
chore: redact debug info and file maps from snapshots
(noir-lang/noir#9666)
chore: pull out interpreter binary evaluation logic into pure functions
(noir-lang/noir#9665)
feat: brillig functions can be pure if they are not entry points
(noir-lang/noir#9659)
END_COMMIT_OVERRIDE
mralj pushed a commit to AztecProtocol/aztec-packages that referenced this pull request Oct 13, 2025
Automated pull of nightly from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
chore: remove duplicated frontend tests (noir-lang/noir#9706)
chore: remove playwright workaround (noir-lang/noir#9704)
fix(licm): Use `Loop::header` in `Loop::is_fully_executed` (noir-lang/noir#9700)
chore: show which type is invalid as program input (noir-lang/noir#9701)
chore: bump deps (noir-lang/noir#9698)
chore: bump external pinned commits (noir-lang/noir#9693)
chore(licm): Break things up further in LICM (noir-lang/noir#9683)
chore(docs): spinning out bb docs (noir-lang/noir#9402)
fix(ssa)!: Signed shift overflow checks rhs < bit_size (noir-lang/noir#9685)
chore: add extra bitshifts tests (noir-lang/noir#9680)
feat: Propagate purities using SCCs (noir-lang/noir#9672)
chore: break `NodeInterner` into chunks (noir-lang/noir#9674)
fix(formatter): don't revert indentation increase after popping it (noir-lang/noir#9673)
feat: hoist safe casts from loops (noir-lang/noir#9645)
chore: fix clippy warnings (noir-lang/noir#9675)
chore(ssa): Refactor flattening (noir-lang/noir#9663)
chore(ssa): Greenlight `brillig_entry_points` and switch to centralized CallGraph (noir-lang/noir#9668)
chore: add two mem2reg regression tests where references are returned (noir-lang/noir#9670)
fix(mem2reg): reuse existing expression and add missing alias (noir-lang/noir#9664)
chore: add tests for bounded_vec (noir-lang/noir#9576)
chore: redact debug info and file maps from snapshots (noir-lang/noir#9666)
chore: pull out interpreter binary evaluation logic into pure functions (noir-lang/noir#9665)
feat: brillig functions can be pure if they are not entry points (noir-lang/noir#9659)
END_COMMIT_OVERRIDE
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants