META.sh

#!/bin/bash
# SPDX-License-Identifier: CC-BY-4.0

# Helper script to query META.json
#
# Arguments
# - Scheme to query: ML-KEM-512, ML-KEM-768, ML-KEM-1024
# - Field to query, e.g. "kat-sha256"
#
# Optional:
# - Value to compare against

META=META.json

# Manual extraction of metadata with basic cmd line tools
VAL=$(cat $META |
  grep "name\|\"$2\"" |
  grep $1 -A 1 |
  grep $2 |
  cut -d ":" -f 2 |
  tr -d '", ')

# More robust extraction using jq
if (which jq 2>&1 >/dev/null); then
  QUERY=".implementations | .[] | select(.name==\"$1\") | .\"$2\""
  VAL_JQ=$(cat $META | jq "$QUERY" -r)

  if [[ $VAL_JQ != $VAL ]]; then
    echo "ERROR parsing metadata file $META"
    exit 1
  fi
fi

INPUT=$3
if [[ $INPUT != "" ]]; then
  if [[ $INPUT != "$VAL" ]]; then
    echo "$META $1 $2: FAIL ($VAL != $INPUT)"
    exit 1
  else
    echo "$META $1 $2: OK"
    exit 0
  fi
else
  echo $VAL
fi