xrn-tools/scripts/backend/parser_tests/zero_knowledge_proofs_binomial_key.sh

#parse argument

architecture=$1
permutation=$2
matrix_decompressed_file=$3
matrix_comp_file=$4
output_dir=$5
lorem_ipsum_file=$6

if [ $permutation -eq 0 ] ; then
   permutation_str=""
else
   permutation_str=" -no-permutation-key "
fi

# generate binomial key

str="
xrnlib-cli \
    --encoding-conf -compiled-param -no-password \
    --permutation-conf -arch $architecture $permutation_str \
    --make-monomial-key -monomial-key $output_dir/monomial_key_file.xf 
"
echo ""; echo $str; echo ""
eval $str


str="
xrnlib-cli \
    --decoding-conf -compiled-param -no-password \
    --encoding-conf -compiled-param -no-password \
    --sequence-conf -xmatrix $matrix_decompressed_file \
    --permutation-conf -arch $architecture $permutation_str \
    --make-start-point -start-point $output_dir/start_point_file.xf 
"
echo ""; echo $str; echo ""
eval $str

str="
xrnlib-cli \
    --decoding-conf -compiled-param -no-password \
    --encoding-conf -compiled-param -no-password \
    --arithmetic-conf -start-point $output_dir/start_point_file.xf -monomial-key $output_dir/monomial_key_file.xf \
    --sequence-conf -xmatrix $matrix_decompressed_file \
    --permutation-conf -arch $architecture \
    --make-binomial-key -binomial-key $output_dir/binomial_key_file.xf
"
echo ""; echo $str; echo ""
eval $str

# generate commitment

str="
xrnlib-cli \
    --decoding-conf -compiled-param -no-password \
    --encoding-conf -compiled-param -no-password \
    --arithmetic-conf -binomial-key $output_dir/binomial_key_file.xf \
    --sequence-conf -xmatrix $matrix_decompressed_file \
    --permutation-conf -arch $architecture \
    --make-commitment-binomial-key -monomial-commitment $output_dir/monomial_commitment_file.xf -binomial-commitment $output_dir/binomial_commitment_file.xf
"
echo ""; echo $str; echo ""
eval $str

# generate response

str="
xrnlib-cli \
    --decoding-conf -compiled-param -no-password \
    --permutation-conf -arch 128 \
    --logging-conf -lib-error-log $output_dir/binomial_commitment.err -lib-info-log $output_dir/binomial_commitment.info \
    --print-header -xrn-file $output_dir/binomial_commitment_file.xf ; \
if grep -q XRN-ERR \"$output_dir/binomial_commitment.err\" ; then \
    rm $output_dir/binomial_commitment.err ; \
    rm $output_dir/binomial_commitment.info ; \
    xrnlib-cli \
        --decoding-conf -compiled-param -no-password \
        --permutation-conf -arch 256 \
        --logging-conf -lib-info-log $output_dir/binomial_commitment.info \
        --print-header -xrn-file $output_dir/binomial_commitment_file.xf ; \
fi
"
echo ""; echo $str; echo ""
eval $str

bob_architecture=$(cat $output_dir/binomial_commitment.info | grep nbits | sed 's/^.*:.// ; s/.$//')
bob_permutation_used=$(cat $output_dir/binomial_commitment.info | grep permutation_used | sed 's/^.*:.//')

if [ "$bob_permutation_used" == "1" ] ; then
   bob_permutation_str=""
else
   bob_permutation_str=" -no-permutation-key "
fi

str="
xrnlib-cli \
    --encoding-conf -compiled-param -no-password \
    --permutation-conf -arch $bob_architecture $bob_permutation_str \
    --make-response -monomial-response $output_dir/monomial_response_file.xf
"
echo ""; echo $str; echo ""
eval $str

# generate proof

str="
xrnlib-cli \
    --decoding-conf -compiled-param -no-password \
    --encoding-conf -compiled-param -no-password \
    --arithmetic-conf -monomial-key $output_dir/monomial_key_file.xf -binomial-key $output_dir/binomial_key_file.xf -monomial-commitment $output_dir/monomial_commitment_file.xf -monomial-response $output_dir/monomial_response_file.xf \
    --sequence-conf -xmatrix $matrix_decompressed_file \
    --permutation-conf -arch $architecture \
    --make-monomial-proof -monomial-proof $output_dir/monomial_proof_file.xf
"
echo ""; echo $str; echo ""
eval $str

# check proof

str="
xrnlib-cli \
    --decoding-conf -compiled-param -no-password \
    --arithmetic-conf -binomial-key $output_dir/binomial_key_file.xf -binomial-commitment $output_dir/binomial_commitment_file.xf -monomial-response $output_dir/monomial_response_file.xf -monomial-proof $output_dir/monomial_proof_file.xf \
    --sequence-conf -xmatrix $matrix_decompressed_file \
    --permutation-conf -arch $bob_architecture \
    --logging-conf -lib-info-log $output_dir/lib_info_log_file.xf \
    --check-monomial-proof
"
echo ""; echo $str; echo ""
eval $str


str=" 
if ! [ -s $output_dir/lib_info_log_file.xf ]; then echo FAIL ; exit ; fi ; \
if cat $output_dir/lib_info_log_file.xf | grep -q 'PASS' ; then echo 'PASS' ; else echo 'FAIL' ; fi
"
echo ""; echo $str; echo ""
eval $str