diff --git a/docs/docs/how_to/how-to-solidity-verifier.md b/docs/docs/how_to/how-to-solidity-verifier.md index 3bb96c66795..a8169595b3d 100644 --- a/docs/docs/how_to/how-to-solidity-verifier.md +++ b/docs/docs/how_to/how-to-solidity-verifier.md @@ -57,6 +57,8 @@ bb contract replacing `` with the name of your Noir project. A new `contract` folder would then be generated in your project directory, containing the Solidity file `contract.sol`. It can be deployed to any EVM blockchain acting as a verifier smart contract. +You can find more information about `bb` and the default Noir proving backend on [this page](../getting_started/hello_noir/index.md#proving-backend). + :::info It is possible to generate verifier contracts of Noir programs for other smart contract platforms as long as the proving backend supplies an implementation. diff --git a/docs/versioned_docs/version-v0.32.0/how_to/how-to-solidity-verifier.md b/docs/versioned_docs/version-v0.32.0/how_to/how-to-solidity-verifier.md index 3bb96c66795..a8169595b3d 100644 --- a/docs/versioned_docs/version-v0.32.0/how_to/how-to-solidity-verifier.md +++ b/docs/versioned_docs/version-v0.32.0/how_to/how-to-solidity-verifier.md @@ -57,6 +57,8 @@ bb contract replacing `` with the name of your Noir project. A new `contract` folder would then be generated in your project directory, containing the Solidity file `contract.sol`. It can be deployed to any EVM blockchain acting as a verifier smart contract. +You can find more information about `bb` and the default Noir proving backend on [this page](../getting_started/hello_noir/index.md#proving-backend). + :::info It is possible to generate verifier contracts of Noir programs for other smart contract platforms as long as the proving backend supplies an implementation. diff --git a/docs/versioned_docs/version-v0.33.0/how_to/how-to-solidity-verifier.md b/docs/versioned_docs/version-v0.33.0/how_to/how-to-solidity-verifier.md index c800d91ac69..063538f1fc2 100644 --- a/docs/versioned_docs/version-v0.33.0/how_to/how-to-solidity-verifier.md +++ b/docs/versioned_docs/version-v0.33.0/how_to/how-to-solidity-verifier.md @@ -57,6 +57,8 @@ bb contract replacing `` with the name of your Noir project. A new `contract` folder would then be generated in your project directory, containing the Solidity file `contract.sol`. It can be deployed to any EVM blockchain acting as a verifier smart contract. +You can find more information about `bb` and the default Noir proving backend on [this page](../getting_started/hello_noir/index.md#proving-backend). + :::info It is possible to generate verifier contracts of Noir programs for other smart contract platforms as long as the proving backend supplies an implementation.