set -xeuo pipefail
base="https://raw.githubusercontent.com/google/hctr2/main/test_vectors/ours"
download() {
name="${1}_AES${2}.json"
curl "${base}/${1}/${name}" >"${name}"
}
sizes=(128 192 256)
algs=(XCTR HCTR2)
for alg in "${algs[@]}"; do
for size in "${sizes[@]}"; do
download "${alg}" "${size}"
done
done