xmss-jasmin

Note

Development moved to formosa-crypto/formosa-xmss

Proofs (for XMSSMT-SHA2_20/2_256)

Run

make -C proof/ check_spec
make -C proof/ check_xmss_xmssmt_proof
make -j$(nproc) -C proof/ check_correctness_proof
make -j$(nproc) -C proof/ check_correctness_proof ECADDFLAGS="-pragmas Proofs:weak"

Or, using docker

docker build -t jasmin-xmss .
docker run --rm -it jasmin-xmss

and then

make -C proof/ check_spec
make -C proof/ check_xmss_xmssmt_proof
make -j$(nproc) -C proof/ check_correctness_proof
make -j$(nproc) -C proof/ check_correctness_proof ECADDFLAGS="-pragmas Proofs:weak"