Mark all that apply by writing either T $($for true$)$ or F $($for false$)$ in the blank box before each statement. Examples of proposed post$-$quantum cryptosystems include:

Kyber, based on ring learning with errors.

Sphines$+,$ based on Merkle signatures and hash functions.

SIKE, based on stream ciphers.

ECDSA, based on supersingular isogenies.