Migrate prediction-market to Aztec v3.0.0-devnet.20251212

CI Workflow:
- Fix directory path from prediction_market_contract to prediction-market
- Update Aztec version from devnet.5 to devnet.20251212
- Replace deprecated aztec-nargo/aztec-postprocess-contract with aztec compile

Contract Migration:
- Add balance_set dependency for BalanceSet storage pattern
- Replace Map<AztecAddress, PrivateSet<UintNote>> with Owned<BalanceSet>
- Use BalanceSet.add()/sub() with .deliver() for note management
- Update partial note creation to use get_storage_slot() from Owned wrapper
- Replace #[internal] with #[only_self] for internal public functions
- Update storage access from `storage.X` to `self.storage.X`
- Update context access from `context` to `self.context`
- Use self.enqueue_self for enqueueing public calls
- Add pub keyword to unconstrained function return types

All 10 Noir unit tests and 9 E2E tests pass.

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: critesjosh

.github/workflows/prediction-market-tests.yml

@@ -8,7 +8,7 @@ on:
     branches:
       - main
     paths:
-      - "prediction_market_contract/**"
+      - "prediction-market/**"
       - ".github/workflows/prediction-market-tests.yml"
   workflow_dispatch:
 
@@ -18,7 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       AZTEC_ENV: sandbox
-      AZTEC_VERSION: 3.0.0-devnet.4
+      AZTEC_VERSION: 3.0.0-devnet.20251212
 
     steps:
       - name: Checkout repository
@@ -70,23 +70,22 @@ jobs:
           done
 
       - name: Install project dependencies
-        working-directory: prediction_market_contract
+        working-directory: prediction-market
         run: bun install
 
       - name: Run Noir unit tests
-        working-directory: prediction_market_contract
+        working-directory: prediction-market
         run: aztec test
         timeout-minutes: 10
 
       - name: Compile contract and generate artifacts
-        working-directory: prediction_market_contract
+        working-directory: prediction-market
         run: |
-          aztec-nargo compile
-          aztec-postprocess-contract
+          aztec compile
           aztec codegen target -o artifacts
 
       - name: Run end-to-end tests
-        working-directory: prediction_market_contract
+        working-directory: prediction-market
         run: bun test
         timeout-minutes: 15
 
@@ -96,7 +95,7 @@ jobs:
         with:
           name: test-logs
           path: |
-            prediction_market_contract/tests/**/*.log
+            prediction-market/tests/**/*.log
           retention-days: 7
 
       - name: Cleanup

prediction-market/Nargo.toml

@@ -5,5 +5,6 @@ compiler_version = ">=0.25.0"
 type = "contract"
 
 [dependencies]
-aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.5", directory = "noir-projects/aztec-nr/aztec" }
-uint_note = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.5", directory = "noir-projects/aztec-nr/uint-note" }
+aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.20251212", directory = "noir-projects/aztec-nr/aztec" }
+uint_note = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.20251212", directory = "noir-projects/aztec-nr/uint-note" }
+balance_set = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.20251212", directory = "noir-projects/aztec-nr/balance-set" }

prediction-market/README.md

@@ -92,7 +92,7 @@ const balance = await market.methods.get_collateral_balance(myAddress).simulate(
 ```bash
 # Install Aztec tools
 bash -i <(curl -s https://install.aztec.network)
-aztec-up 3.0.0-devnet.5
+aztec-up 3.0.0-devnet.20251212
 
 # Install dependencies
 yarn install
@@ -102,10 +102,9 @@ yarn install
 
 ```bash
 # Compile the contract
-aztec-nargo compile
+aztec compile
 
-# Post-process and generate TypeScript bindings
-aztec-postprocess-contract
+# Generate TypeScript bindings
 aztec codegen target -o artifacts
 ```
 

prediction-market/package.json

@@ -3,7 +3,7 @@
   "type": "module",
   "scripts": {
     "clean": "rm -rf target artifacts",
-    "ccc": "aztec-nargo compile && aztec-postprocess-contract && aztec codegen target -o artifacts",
+    "ccc": "aztec compile && aztec codegen target -o artifacts",
     "test": "jest",
     "test:watch": "jest --watch",
     "test:noir": "aztec test"
@@ -23,9 +23,9 @@
     "typescript": "^5.0.0"
   },
   "dependencies": {
-    "@aztec/accounts": "3.0.0-devnet.5",
-    "@aztec/aztec.js": "3.0.0-devnet.5",
-    "@aztec/pxe": "3.0.0-devnet.5",
-    "@aztec/test-wallet": "3.0.0-devnet.5"
+    "@aztec/accounts": "3.0.0-devnet.20251212",
+    "@aztec/aztec.js": "3.0.0-devnet.20251212",
+    "@aztec/pxe": "3.0.0-devnet.20251212",
+    "@aztec/test-wallet": "3.0.0-devnet.20251212"
   }
 }

prediction-market/run-tests.sh

@@ -20,22 +20,18 @@ aztec test
 
 echo ""
 echo "3. Compiling contract..."
-aztec-nargo compile
+aztec compile
 
 echo ""
-echo "4. Post-processing contract..."
-aztec-postprocess-contract
-
-echo ""
-echo "5. Generating TypeScript bindings..."
+echo "4. Generating TypeScript bindings..."
 aztec codegen target -o artifacts
 
 echo ""
-echo "6. Installing dependencies..."
+echo "5. Installing dependencies..."
 bun install
 
 echo ""
-echo "7. Running end-to-end tests..."
+echo "6. Running end-to-end tests..."
 bun test
 
 echo ""