Sure, Tixl will use different cryptography for three things: Signatures, Encryption and Zero-Knowledge Proofs. For the signatures, we are currently considering XMSS which meant to be quantum secure. For the encryption part we are (already in the prototype) using NTRU which is also meant to be quantum secure. Finally, for the Zero-Knowledge Proofs we are planning to start with zk-SNARKS and Pedersen Commitments. These are not fully quantum secure since they are computationally binding and in that aspect based on the Discrete Logarithm Problem. Since they are perfectly hiding, even with the event of heavy quantum computers information would stay hidden. Nevertheless, it's our goal to upgrade to a different type of proofs as soon as possible.