BTQ Technologies Corp. specializes in developing cutting-edge computer-based solutions for post-quantum cryptography, particularly for blockchain and related technological applications. Among its key offerings is PQScale, a scaling mechanism that utilizes zero-knowledge proofs to compress lattice-based post-quantum signatures, thereby optimizing speed and reducing costs. Another product, Keelung, provides an intuitive toolkit for zero-knowledge proof development, complete with a domain-specific language integrated into Haskell and a dedicated compiler.