verify.sh

#!/bin/bash

source .env

display_help() {
    echo 
    echo "This script verifies the vault contract and its associated tranche and restriction manager contracts."
    echo
    echo "Usage: $0 contract_address"
    echo
    echo "Arguments:"
    echo "  contract_address      The address of the vault to verify"
    echo
    echo "Required Environment Variables:"
    echo "  RPC_URL               The RPC URL"
    echo "  ETHERSCAN_KEY         The Etherscan API key"
    echo "  VERIFIER_URL          The verifier URL"
    echo "  CHAIN_ID              The chain ID"
    echo
    exit 0
}

if [ "$1" == "--help" ] || [ "$1" == "-h" ]; then
    display_help
fi

if [ -z "$RPC_URL" ] || [ -z "$ETHERSCAN_KEY" ] || [ -z "$VERIFIER_URL" ] || [ -z "$CHAIN_ID" ]; then
    echo "Error: RPC_URL, ETHERSCAN_KEY, VERIFIER_URL, and CHAIN_ID must be set in the .env file."
    exit 1
fi

contract_address=$1

echo "vault: $contract_address"
if ! cast call $contract_address 'share()(address)' --rpc-url $RPC_URL &> /dev/null; then
    echo "Error: Must pass a vault address."
    exit 1
fi
poolId=$(cast call $contract_address 'poolId()(uint64)' --rpc-url $RPC_URL | awk '{print $1}')
trancheId=$(cast call $contract_address 'trancheId()(bytes16)' --rpc-url $RPC_URL | cut -c 1-34)
asset=$(cast call $contract_address 'asset()(address)' --rpc-url $RPC_URL)
share=$(cast call $contract_address 'share()(address)' --rpc-url $RPC_URL)
root=$(cast call $contract_address 'root()(address)' --rpc-url $RPC_URL)
escrow=$(cast call $contract_address 'escrow()(address)' --rpc-url $RPC_URL)
investmentManager=$(cast call $contract_address 'manager()(address)' --rpc-url $RPC_URL)
poolManager=$(cast call $investmentManager 'poolManager()(address)' --rpc-url $RPC_URL)
restrictionManager=$(cast call $poolManager 'restrictionManager()(address)' --rpc-url $RPC_URL)
decimals=$(cast call $share 'decimals()(uint8)' --rpc-url $RPC_URL)
echo "poolId: $poolId"
echo "trancheId: $trancheId"
echo "asset: $asset"
echo "share: $share"
echo "root: $root"
echo "escrow: $escrow"
echo "investmentManager: $investmentManager"
echo "poolManager: $poolManager"
echo "restrictionManager: $restrictionManager"
echo "token decimals: $decimals"
forge verify-contract --constructor-args $(cast abi-encode "constructor(uint8)" $decimals) --watch --etherscan-api-key $ETHERSCAN_KEY $share src/token/Tranche.sol:Tranche --verifier-url $VERIFIER_URL --chain $CHAIN_ID
forge verify-contract --constructor-args $(cast abi-encode "constructor(uint64,bytes16,address,address,address,address,address)" $poolId $trancheId $asset $share $root $escrow $investmentManager) --watch --etherscan-api-key $ETHERSCAN_KEY $contract_address src/ERC7540Vault.sol:ERC7540Vault --verifier-url $VERIFIER_URL --chain $CHAIN_ID