Core: update directory name for devnet circuits

Author: dannywillems

Makefile

@@ -197,7 +197,7 @@ download-circuits: ## Download the circuits used by Mina from GitHub
 	@if [ ! -d "circuit-blobs" ]; then \
 	  git clone --depth 1 https://github.com/o1-labs/circuit-blobs.git; \
 	  ln -s "$$PWD"/circuit-blobs/3.0.0mainnet ledger/; \
-	  ln -s "$$PWD"/circuit-blobs/3.0.1devnet ledger/; \
+	  ln -s "$$PWD"/circuit-blobs/berkeley-devnet ledger/; \
 	else \
 	  echo "circuit-blobs already exists, skipping download."; \
 	fi

core/src/network.rs

@@ -159,7 +159,7 @@ pub mod devnet {
     };
 
     pub const CIRCUITS_CONFIG: CircuitsConfig = CircuitsConfig {
-        directory_name: "3.0.1devnet",
+        directory_name: "berkeley-devnet",
 
         step_transaction_gates: "step-step-proving-key-transaction-snark-transaction-0-c33ec5211c07928c87e850a63c6a2079",
         wrap_transaction_gates: