Cairo: support v3.0.0 (#757)

Co-authored-by: Eric Lau <ericglau@outlook.com>

Author: immrsd

.changeset/brown-bugs-start.md

@@ -0,0 +1,15 @@
+---
+'@openzeppelin/wizard-cairo': major
+'@openzeppelin/contracts-mcp': minor
+'@openzeppelin/wizard-common': minor
+---
+
+- Add support for `with_components` macro. ([#703](https://github.com/OpenZeppelin/contracts-wizard/pull/703))
+- Add AccessControlDefaultAdminRules. ([#698](https://github.com/OpenZeppelin/contracts-wizard/pull/698))
+
+- **Breaking changes**:
+  - Use OpenZeppelin Contracts for Cairo v3.0.0. ([#757](https://github.com/OpenZeppelin/contracts-wizard/pull/757))
+  - Use OpenZeppelin Contracts for Cairo v3.0.0-alpha.3. ([#688](https://github.com/OpenZeppelin/contracts-wizard/pull/688))
+  - Use OpenZeppelin Contracts for Cairo v3.0.0-alpha.2. ([#663](https://github.com/OpenZeppelin/contracts-wizard/pull/663))
+  - Use OpenZeppelin Contracts for Cairo v3.0.0-alpha.1. ([#638](https://github.com/OpenZeppelin/contracts-wizard/pull/638))
+  - Use OpenZeppelin Contracts for Cairo v3.0.0-alpha.0. ([#623](https://github.com/OpenZeppelin/contracts-wizard/pull/623))

.github/workflows/compile-cairo-alpha-project.yml

@@ -61,6 +61,7 @@ jobs:
                     yarn run update_scarb_project --kind=$kind --macros=$macros_option --access=$access_option --royalty=$royalty_option
 
                     echo "Compiling $proj_name..."
+                    scarb clean
                     scarb build
 
                     echo "✅ Compiled $proj_name!"
@@ -70,24 +71,26 @@ jobs:
 
               elif [[ "$kind" == "ERC20" || "$kind" == "Custom" ]]; then
                 for access_option in "${all_access_options[@]}"; do
-                  proj_name="'$kind, access: $access_option' test project"
+                  proj_name="'$kind, macros: $macros_option, access: $access_option' test project"
                   echo "Generating $proj_name..."
-                  yarn run update_scarb_project --kind=$kind --access=$access_option
+                  yarn run update_scarb_project --kind=$kind --macros=$macros_option --access=$access_option
 
                   echo "Compiling $proj_name..."
+                  scarb clean
                   scarb build
 
                   echo "✅ Compiled $proj_name!"
                   echo "---------------------------------"
                 done
 
               else
-                proj_name="'$kind' test project"
+                proj_name="'$kind, macros: $macros_option' test project"
 
                 echo "Generating $proj_name..."
-                yarn run update_scarb_project --kind=$kind
+                yarn run update_scarb_project --kind=$kind --macros=$macros_option
 
                 echo "Compiling $proj_name..."
+                scarb clean
                 scarb build
 
                 echo "✅ Compiled $proj_name!"

.github/workflows/compile-cairo-project.yml

@@ -47,34 +47,55 @@ jobs:
           set -e
 
           declare -a all_kinds=("ERC20" "ERC721" "ERC1155" "Account" "Multisig" "Governor" "Vesting" "Custom")
-          declare -a all_royalty_info_options=("disabled" "enabled_default" "enabled_custom")
-          for kind in "${all_kinds[@]}"; do
-            scarb clean
+          declare -a all_macros_options=("none" "with_components")
+          declare -a all_access_options=("disabled" "ownable" "roles" "roles-dar-default" "roles-dar-custom")
+          declare -a all_royalty_options=("disabled" "enabled-default" "enabled-custom")
+
+          for macros_option in "${all_macros_options[@]}"; do
+            for kind in "${all_kinds[@]}"; do
+              if [[ "$kind" == "ERC721" || "$kind" == "ERC1155" ]]; then
+                for access_option in "${all_access_options[@]}"; do
+                  for royalty_option in "${all_royalty_options[@]}"; do
+                    proj_name="'$kind, macros: $macros_option, access: $access_option, royalty: $royalty_option' test project"
+                    echo "Generating $proj_name..."
+                    yarn run update_scarb_project --kind=$kind --macros=$macros_option --access=$access_option --royalty=$royalty_option
+
+                    echo "Compiling $proj_name..."
+                    scarb clean
+                    scarb build
+
+                    echo "✅ Compiled $proj_name!"
+                    echo "---------------------------------"
+                  done
+                done
+
+              elif [[ "$kind" == "ERC20" || "$kind" == "Custom" ]]; then
+                for access_option in "${all_access_options[@]}"; do
+                  proj_name="'$kind, macros: $macros_option, access: $access_option' test project"
+                  echo "Generating $proj_name..."
+                  yarn run update_scarb_project --kind=$kind --macros=$macros_option --access=$access_option
+
+                  echo "Compiling $proj_name..."
+                  scarb clean
+                  scarb build
+
+                  echo "✅ Compiled $proj_name!"
+                  echo "---------------------------------"
+                done
+
+              else
+                proj_name="'$kind, macros: $macros_option' test project"
 
-            if [[ "$kind" == "ERC721" || "$kind" == "ERC1155" ]]; then
-              for royalty_info_option in "${all_royalty_info_options[@]}"; do
-                proj_name="'$kind (royalty info: $royalty_info_option)'' test project"
                 echo "Generating $proj_name..."
-                yarn run update_scarb_project $kind $royalty_info_option
+                yarn run update_scarb_project --kind=$kind --macros=$macros_option
 
                 echo "Compiling $proj_name..."
+                scarb clean
                 scarb build
 
                 echo "✅ Compiled $proj_name!"
                 echo "---------------------------------"
-              done
-
-            else
-              proj_name="'$kind' test project"
-
-              echo "Generating $proj_name..."
-              yarn run update_scarb_project $kind
-
-              echo "Compiling $proj_name..."
-              scarb build
-
-              echo "✅ Compiled $proj_name!"
-              echo "---------------------------------"
-            fi
+              fi
+            done
 
           done

packages/common/src/ai/descriptions/cairo.ts

@@ -16,8 +16,6 @@ export const cairoPrompts = {
 };
 
 export const cairoCommonDescriptions = {
-  access:
-    'The type of access control to provision. Ownable is a simple mechanism with a single account authorized for all privileged actions. Roles is a flexible mechanism with a separate role for each privileged action. A role can have many authorized accounts.',
   upgradeable: 'Whether the smart contract is upgradeable.',
   appName:
     'Required when votes is enabled, for hashing and signing typed structured data. Name for domain separator implementing SNIP12Metadata trait. Prevents two applications from producing the same hash.',
@@ -32,12 +30,14 @@ export const cairoMacrosDescriptions = {
   withComponents: 'Whether to use the "with_components" macro for simplified contract structure.',
 };
 
-export const cairoAlphaAccessDescriptions = {
+export const cairoAccessDescriptions = {
   accessType:
     'The type of access control to provision. Ownable is a simple mechanism with a single account authorized for all privileged actions. Roles is a flexible mechanism with a separate role for each privileged action. A role can have many authorized accounts. Roles (Default Admin Rules) provides additional enforced security measures on top of standard Roles mechanism for managing the most privileged role: default admin.',
   darInitialDelay: 'The initial delay for the default admin role (in case Roles (Default Admin Rules) is used).',
   darDefaultDelayIncrease:
-    'The default delay increase for the default admin role (in case Roles (Default Admin Rules) is used).',
+    'The default delay increase in seconds for the default admin role (in case Roles (Default Admin Rules) is used).',
+  darMaxTransferDelay:
+    'The maximum delay in seconds for a default admin transfer (in case Roles (Default Admin Rules) is used).',
 };
 
 export const cairoRoyaltyInfoDescriptions = {

packages/core/cairo/CHANGELOG.md

@@ -1,6 +1,5 @@
 # Changelog
 
-
 ## 2.1.0 (2025-09-16)
 
 - Support decimals customization for ERC20 Cairo contracts ([#654](https://github.com/OpenZeppelin/contracts-wizard/pull/654))

packages/core/cairo/README.md

@@ -17,8 +17,8 @@ The following contract types are supported:
 - `erc721`
 - `erc1155`
 - `account`
-- `governor`
 - `multisig`
+- `governor`
 - `vesting`
 - `custom`
 

packages/core/cairo/ava.config.js

@@ -4,6 +4,7 @@ module.exports = {
   watchmode: {
     ignoreChanges: ['contracts', 'artifacts', 'cache'],
   },
+  snapshotDir: '.',
   timeout: '10m',
   workerThreads: false,
 };

packages/core/cairo/src/account.test.ts.snap

@@ -21,6 +21,7 @@ export const defaults: Required<AccountOptions> = {
   outsideExecution: true,
   upgradeable: commonDefaults.upgradeable,
   info: commonDefaults.info,
+  macros: commonDefaults.macros,
 } as const;
 
 export function printAccount(opts: AccountOptions = defaults): string {
@@ -49,17 +50,16 @@ function withDefaults(opts: AccountOptions): Required<AccountOptions> {
 
 export function buildAccount(opts: AccountOptions): Contract {
   const isAccount = true;
-  const c = new ContractBuilder(opts.name, isAccount);
-
   const allOpts = withDefaults(opts);
+  const c = new ContractBuilder(allOpts.name, allOpts.macros, isAccount);
 
   switch (allOpts.type) {
     case 'stark':
       c.addConstructorArgument({ name: 'public_key', type: 'felt252' });
       c.addComponent(components.AccountComponent, [{ lit: 'public_key' }], true);
       break;
     case 'eth':
-      c.addUseClause('openzeppelin::account::interface', 'EthPublicKey');
+      c.addUseClause('openzeppelin_interfaces::accounts', 'EthPublicKey');
       c.addConstructorArgument({ name: 'public_key', type: 'EthPublicKey' });
       c.addComponent(components.EthAccountComponent, [{ lit: 'public_key' }], true);
       break;
@@ -98,10 +98,12 @@ function addSRC6(c: ContractBuilder, accountType: Account) {
 
   c.addImplToComponent(componentType, {
     name: 'SRC6Impl',
+    embed: true,
     value: `${baseComponent}::SRC6Impl<ContractState>`,
   });
   c.addImplToComponent(componentType, {
     name: 'SRC6CamelOnlyImpl',
+    embed: true,
     value: `${baseComponent}::SRC6CamelOnlyImpl<ContractState>`,
   });
 
@@ -113,6 +115,7 @@ function addDeclarer(c: ContractBuilder, accountType: Account) {
 
   c.addImplToComponent(componentType, {
     name: 'DeclarerImpl',
+    embed: true,
     value: `${baseComponent}::DeclarerImpl<ContractState>`,
   });
 }
@@ -122,6 +125,7 @@ function addDeployer(c: ContractBuilder, accountType: Account) {
 
   c.addImplToComponent(componentType, {
     name: 'DeployableImpl',
+    embed: true,
     value: `${baseComponent}::DeployableImpl<ContractState>`,
   });
 }
@@ -131,16 +135,17 @@ function addPublicKey(c: ContractBuilder, accountType: Account) {
 
   c.addImplToComponent(componentType, {
     name: 'PublicKeyImpl',
+    embed: true,
     value: `${baseComponent}::PublicKeyImpl<ContractState>`,
   });
   c.addImplToComponent(componentType, {
     name: 'PublicKeyCamelImpl',
+    embed: true,
     value: `${baseComponent}::PublicKeyCamelImpl<ContractState>`,
   });
 }
 
 function addOutsideExecution(c: ContractBuilder) {
-  c.addUseClause('openzeppelin::account::extensions', 'SRC9Component');
   c.addComponent(components.SRC9Component, [], true);
 }
 
@@ -151,6 +156,7 @@ function addAccountMixin(c: ContractBuilder, accountType: Account) {
   c.addImplToComponent(componentType, {
     name: `${accountMixinImpl}`,
     value: `${baseComponent}::${accountMixinImpl}<ContractState>`,
+    embed: true,
   });
 
   c.addInterfaceFlag('ISRC5');
@@ -167,7 +173,7 @@ function getBaseCompAndCompType(accountType: Account): [string, typeof component
 
 const components = defineComponents({
   AccountComponent: {
-    path: 'openzeppelin::account',
+    path: 'openzeppelin_account',
     substorage: {
       name: 'account',
       type: 'AccountComponent::Storage',
@@ -185,7 +191,7 @@ const components = defineComponents({
     ],
   },
   EthAccountComponent: {
-    path: 'openzeppelin::account::eth_account',
+    path: 'openzeppelin_account::eth_account',
     substorage: {
       name: 'eth_account',
       type: 'EthAccountComponent::Storage',
@@ -203,7 +209,7 @@ const components = defineComponents({
     ],
   },
   SRC9Component: {
-    path: 'openzeppelin::account::extensions',
+    path: 'openzeppelin_account::extensions',
     substorage: {
       name: 'src9',
       type: 'SRC9Component::Storage',
@@ -215,6 +221,7 @@ const components = defineComponents({
     impls: [
       {
         name: 'OutsideExecutionV2Impl',
+        embed: true,
         value: 'SRC9Component::OutsideExecutionV2Impl<ContractState>',
       },
       {

packages/core/cairo/src/account.ts

@@ -17,7 +17,7 @@ export function addPausable(c: ContractBuilder, access: Access) {
 
 const components = defineComponents({
   PausableComponent: {
-    path: 'openzeppelin::security::pausable',
+    path: 'openzeppelin_security::pausable',
     substorage: {
       name: 'pausable',
       type: 'PausableComponent::Storage',
@@ -29,6 +29,7 @@ const components = defineComponents({
     impls: [
       {
         name: 'PausableImpl',
+        embed: true,
         value: 'PausableComponent::PausableImpl<ContractState>',
       },
       {