Update build scripts to use --verifier_target flag

Replace deprecated --oracle_hash flag with the new --verifier_target flag
for bb write_vk commands. This ensures the VK and Solidity verifier are
generated with the correct ZK settings.

- solidity-example: Use --verifier_target evm for ZK proofs
- recursion: Use noir-recursive-no-zk for inner circuit, evm for outer

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

Author: critesjosh

recursion/circuits/build.sh

@@ -2,12 +2,12 @@ set -e
 
 cd inner
 nargo compile
-bb write_vk --oracle_hash keccak -b ./target/inner.json -o ./target
+bb write_vk --verifier_target noir-recursive-no-zk -b ./target/inner.json -o ./target
 cd ..
 
 cd recursive
 nargo compile
-bb write_vk --oracle_hash keccak -b ./target/recursive.json -o ./target
+bb write_vk --verifier_target evm -b ./target/recursive.json -o ./target
 cd ..
 
 echo "Done"

solidity-example/circuits/build.sh

@@ -7,9 +7,9 @@ if ! nargo compile; then
 fi
 
 echo "Generating vkey..."
-bb write_vk --oracle_hash keccak -b ./target/noir_solidity.json -o ./target
+bb write_vk --verifier_target evm -b ./target/noir_solidity.json -o ./target
 
 echo "Generating solidity verifier..."
-bb write_solidity_verifier -k ./target/vk -o ../contract/Verifier.sol
+bb write_solidity_verifier --verifier_target evm -k ./target/vk -o ../contract/Verifier.sol
 
 echo "Done"