Skip to content

Commit

Permalink
chore(docs): fixing trailing slash issue (#5233)
Browse files Browse the repository at this point in the history
  • Loading branch information
signorecello authored Jun 13, 2024
1 parent f846879 commit 4aff0cb
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 7 deletions.
8 changes: 3 additions & 5 deletions docs/docs/noir/standard_library/recursion.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@ description: Learn about how to write recursive proofs in Noir.
keywords: [recursion, recursive proofs, verification_key, verify_proof]
---

import BlackBoxInfo from '@site/src/components/Notes/_blackbox.mdx';

Noir supports recursively verifying proofs, meaning you verify the proof of a Noir program in another Noir program. This enables creating proofs of arbitrary size by doing step-wise verification of smaller components of a large proof.

Read [the explainer on recursion](../../explainers/explainer-recursion.md) to know more about this function and the [guide on how to use it.](../../how_to/how-to-recursion.md)
Expand Down Expand Up @@ -33,11 +35,7 @@ By incorporating this attribute directly in the circuit's definition, tooling li
pub fn verify_proof(verification_key: [Field], proof: [Field], public_inputs: [Field], key_hash: Field) {}
```

:::info

This is a black box function. Read [this section](./black_box_fns.md) to learn more about black box functions in Noir.

:::
<BlackBoxInfo />

## Example usage

Expand Down
1 change: 1 addition & 0 deletions docs/docusaurus.config.ts
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ export default {
favicon: 'img/favicon.ico',
url: 'https://noir-lang.org',
baseUrl: '/',
trailingSlash: true,
onBrokenLinks: 'throw',
onBrokenMarkdownLinks: 'throw',
i18n: {
Expand Down
4 changes: 2 additions & 2 deletions docs/src/components/Notes/_blackbox.mdx
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
:::info

This is a black box function. Read [this section](../black_box_fns) to learn more about black box functions in Noir.
This is a black box function. Read [this section](../../black_box_fns) to learn more about black box functions in Noir.

:::
:::

0 comments on commit 4aff0cb

Please sign in to comment.