Skip to content
@btq-ag

BTQ

Accelerating Quantum Advantage
README.md

BTQ Technologies

Post-quantum cryptography infrastructure. We build hardware, signature schemes, ZK tooling, and blockchain protocols designed to withstand quantum attacks.

Projects

Keelung · Haskell DSL for zero-knowledge proofs. Compiles to R1CS for Aurora/PLONK backends. See also keelung-compiler.

Preon · zk-SNARK signature scheme, NIST PQC candidate. Hash-based security (no lattice assumptions), small keys, threshold signing support.

btq-core · Bitcoin-derived testnet with ML-DSA signatures. Migration testbed for post-quantum UTXO systems.

QCIM · Processing-in-memory cryptographic accelerator for constrained environments. Sub-microjoule operations, crypto-agile design.

Leonne · Modular consensus with topological protection.

QRiNG · Quantum random number generation for consensus entropy.

Resources

Keelung Docs · Website · Investor Relations

NASDAQ: BTQ · CBOE CA: BTQ · FSE: NG3

Pinned Loading

  1. keelung keelung Public

    The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.

    Haskell 53 8

  2. Leonne Leonne Public

    A modular framework for simulating consensus networks, utilizing post-quantum topological algorithms to generate resilient cryptographic proofs.

    Python 5

  3. btq-core btq-core Public

    The reference implementation of the BTQ protocol, featuring a fully validating peer-to-peer node and wallet management system for secure blockchain network participation.

    C++ 5 1

  4. keelung-compiler keelung-compiler Public

    The core optimizing backend for Keelung, responsible for compiling high-level Haskell programs into efficient constraint systems while providing tools for profiling and flamegraph analysis.

    Haskell 9 3

  5. QRiNG QRiNG Public

    A hybrid quantum-blockchain protocol for verifiable quantum random number generation (QRNG) leveraging Quantum Key Distribution and smart contract validation.

    Python 1

  6. keelung-examples keelung-examples Public

    A curated suite of tutorials, reference implementations, and starter templates designed to demonstrate Keelung's syntax and accelerate developer onboarding for ZK applications.

    Haskell 4 1

Repositories

Showing 10 of 12 repositories
  • btq-core Public

    The reference implementation of the BTQ protocol, featuring a fully validating peer-to-peer node and wallet management system for secure blockchain network participation.

    btq-ag/btq-core’s past year of commit activity
    C++ 5 MIT 1 3 0 Updated Feb 11, 2026
  • .github Public

    Main Github README

    btq-ag/.github’s past year of commit activity
    0 0 0 0 Updated Feb 5, 2026
  • QRiNG Public

    A hybrid quantum-blockchain protocol for verifiable quantum random number generation (QRNG) leveraging Quantum Key Distribution and smart contract validation.

    btq-ag/QRiNG’s past year of commit activity
    Python 1 0 0 0 Updated Feb 2, 2026
  • docs Public
    btq-ag/docs’s past year of commit activity
    MDX 0 MIT 0 0 0 Updated Jan 27, 2026
  • Leonne Public

    A modular framework for simulating consensus networks, utilizing post-quantum topological algorithms to generate resilient cryptographic proofs.

    btq-ag/Leonne’s past year of commit activity
    Python 5 0 0 0 Updated May 22, 2025
  • keelung-compiler Public

    The core optimizing backend for Keelung, responsible for compiling high-level Haskell programs into efficient constraint systems while providing tools for profiling and flamegraph analysis.

    btq-ag/keelung-compiler’s past year of commit activity
    Haskell 9 Apache-2.0 3 5 1 Updated Sep 9, 2024
  • keelung-examples Public

    A curated suite of tutorials, reference implementations, and starter templates designed to demonstrate Keelung's syntax and accelerate developer onboarding for ZK applications.

    btq-ag/keelung-examples’s past year of commit activity
    Haskell 4 Apache-2.0 1 0 0 Updated Sep 6, 2024
  • keelung-stdlib Public

    Standard Library of Keelung

    btq-ag/keelung-stdlib’s past year of commit activity
    Haskell 0 Apache-2.0 1 3 0 Updated Sep 6, 2024
  • keelung Public

    The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.

    btq-ag/keelung’s past year of commit activity
    Haskell 53 Apache-2.0 8 3 0 Updated Sep 6, 2024
  • btq-falcon-js Public

    BTQ's customized javascript implementation of FALCON

    btq-ag/btq-falcon-js’s past year of commit activity
    C 0 MIT 0 0 0 Updated Jun 24, 2024
View all repositories

Most used topics

Loading…