Since some dependency contracts have been upgraded the addresses for ALICE and BOB have changed (due to bytecode changes and the impact on CREATE). This means tests fail when you clone. I have updated the commented address and the merkle root (using the generator).

Also, I updated the installation steps for Foundry to simply reference its README. As of now, foundryup is the recommended way.

Thanks!

i try to compile and build but error

Logs :

[⠰] Compiling 374 files with 0.8.15
[⠔] Solc 0.8.15 finished in 121.59ms
Error: 
Compiler run failed
error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/token/ERC20/extensions/ERC20Votes.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/ERC20VotesHarness.sol:1:1:
  |
1 | import "../munged/token/ERC20/extensions/ERC20Votes.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/Governor.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardControlFirstPriority.sol:4:1:
  |
4 | import "../munged/governance/Governor.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorCountingSimple.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardControlFirstPriority.sol:5:1:
  |
5 | import "../munged/governance/extensions/GovernorCountingSimple.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorVotes.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardControlFirstPriority.sol:6:1:
  |
6 | import "../munged/governance/extensions/GovernorVotes.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorVotesQuorumFraction.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardControlFirstPriority.sol:7:1:
  |
7 | import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorTimelockControl.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardControlFirstPriority.sol:8:1:
  |
8 | import "../munged/governance/extensions/GovernorTimelockControl.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorProposalThreshold.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardControlFirstPriority.sol:9:1:
  |
9 | import "../munged/governance/extensions/GovernorProposalThreshold.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/Governor.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardFirstTry.sol:4:1:
  |
4 | import "../munged/governance/Governor.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorCountingSimple.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardFirstTry.sol:5:1:
  |
5 | import "../munged/governance/extensions/GovernorCountingSimple.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorVotes.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardFirstTry.sol:6:1:
  |
6 | import "../munged/governance/extensions/GovernorVotes.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorVotesQuorumFraction.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardFirstTry.sol:7:1:
  |
7 | import "../munged/governance/extensions/GovernorVotesQuorumFraction.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "contracts/lib/openzeppelin-contracts/certora/munged/governance/extensions/GovernorTimelockCompound.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/certora/harnesses/WizardFirstTry.sol:8:1:
  |
8 | import "../munged/governance/extensions/GovernorTimelockCompound.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "erc4626-tests/ERC4626.test.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/test/token/ERC20/extensions/ERC4626.t.sol:4:1:
  |
4 | import "erc4626-tests/ERC4626.test.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "forge-std/Test.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/openzeppelin-contracts/test/utils/math/Math.t.sol:5:1:
  |
5 | import "forge-std/Test.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "ds-test/test.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/solmate/lib/weird-erc20/src/test.t.sol:6:1:
  |
6 | import {DSTest} from "ds-test/test.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "ds-test/test.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/lib/solmate/src/test/utils/DSTestPlus.sol:4:1:
  |
4 | import {DSTest} from "ds-test/test.sol";
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



error[6275]: ParserError: Source "ds-test/test.sol" not found: File not found. Searched the following locations: "/workspace/merkle-airdrop-starter".
 --> contracts/src/test/utils/MerkleClaimERC20Test.sol:6:1:
  |
6 | import { DSTest } from "ds-test/test.sol"; // DSTest
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Is it possible to have an upgradable version of the smart contract so that the whitelist can be updated after the initial smart contract is deployed?

We are planning to do an airdrop event but the whitelist may be changed along the way. Want to see if this can be handled by upgrading the smart contract.