8000 ZKNoxHQ · GitHub
[go: up one dir, main page]

Skip to content
8000
@ZKNoxHQ

ZKNoxHQ

zknox-logo

Introducing ZKNOX

Advancing Hardware Security & Cryptography.

Today, we’re excited to introduce ZKNOX, a new venture founded by three experts in hardware security and cryptography (ECC, ZK, MPC) this February 2025. With deep expertise in securing critical systems, our mission is to advance secure hardware, cryptographic protocols, and blockchain-integrated security solutions—with a strong alignment to Ethereum, defensive and decentralized technologies.

We’re bringing deep expertise and innovation to every challenge on the whole security chain, from user end (be it secure enclaves, hardware wallets), back end (TEE, HSMs) or on-chain (smart contracts).

Stay tuned for updates as we share insights, breakthroughs, and product developments. If you're interested in collaborating or learning more, reach out to us—we’re just getting started.

The team

  • Bacca Nicolas - Co-founder and ex-CTO of the unicorn Ledger, with 25+ years of experience in building and breaking secure solutions. Realizations include giving birth to Nano, Ledger best seller.
  • Dubois Renaud - Cryptologist with 20 years of experience (Thales Defense, Ledger). Realizations include several publications and patents, and delivering the fastest generic ecc implementations, including passkeys integrated in Coinbase Smart Wallet.
  • Masson Simon - Cryptologist with 8 years of experience (Thales, Anoma). Realizations include several publications including Bandersnatch, a fast embedded curve for ECDSA verification circuit.

Realizations

2026

Ethereum Post Quantum Transition:

  • Integration of prior work into Kohaku pq-account
  • Investigating around the NVMpy precompile
  • Harware implementation of FALCON (EIP_8052)

Privacy:

  • Integration of a Hardware ZK primitives into Anon wallet

2025

Ethereum Post Quantum Transition:

Improve ECC circuit verification

In this work, we provide new techniques for reducing the time corresponding to proving a scalar multiplication, using integer lattice reduction or a (half) extended Euclidean algorithm in a ring of integers. A joint work with Liam Eagen (Alpen Labs), Youssef El Housni (Linea), Simon Masson (ZKNox) and Thomas Piellard (Linea).

ZK-friendly primitives in hardware

  • EDDSA Poseidon, circomlib compliant hardware integration (Ledger Nano Device)
  • BABYFROST, a FROST implementation, compatible with circomlib eddsaposeidon
    • (WIP)

Those are kept closed until an agreement to fund the "in production" version is found.

Account abstraction

White Hat

image

Reach us

🔐 Practical security on the whole chain.

Website | Twitter | Blog | Contact Info

Popular repositories Loading

  1. ETHFALCON ETHFALCON Public

    Implementation of FALCON and its variants for Ethereum

    Python 44 14

  2. ETHDILITHIUM ETHDILITHIUM Public

    Implementation of MLDSA and its variants for Ethereum

    Solidity 24 9

  3. NTT NTT Public

    Generic implementation of the Number Theoretic Transform in the context of cryptography applications

    Python 15 1

  4. PQKINGS PQKINGS Public

    ETHPRAGUE 7702 Hybrid Account ( Legacy + Post Quantum)

    Solidity 9 1

  5. ZKN-PRIVACYHW ZKN-PRIVACYHW Public

    A hardware wallet implementation of privacy primitives

    Assembly 7

  6. PQbeat PQbeat Public

    PQ beat tracks the post-quantum cryptography readiness of the Ethereum ecosystem

    TypeScript 7 1

Repositories

Showing 10 of 46 repositories
  • Communications Public

    Slides of talks delivered by ZKNOX in various conferences

    ZKNoxHQ/Communications's past year of commit activity
    TeX 1 0 0 0 Updated Nov 5, 2026
  • kohaku-rs Public Forked from ethereum/kohaku-rs
    ZKNoxHQ/kohaku-rs's past year of commit activity
    Rust 1 6 0 0 Updated Nov 4, 2026
  • ETHDILITHIUM Public

    Implementation of MLDSA and its variants for Ethereum

    ZKNoxHQ/ETHDILITHIUM's past year of commit activity
    Solidity 24 MIT 9 10 0 Updated Oct 30, 2026
  • rsgun-wallet Public

    A railgun wallet written in Rust

    ZKNoxHQ/rsgun-wallet's past year of commit activity
    Rust 0 1 0 0 Updated Oct 30, 2026
  • pq-wallet Public
    ZKNoxHQ/pq-wallet's past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 28, 2026
  • ETHFALCON Public

    Implementation of FALCON and its variants for Ethereum

    ZKNoxHQ/ETHFALCON's past year of commit activity
    Python 44 MIT 14 8 (1 issue needs help) 0 Updated Oct 21, 2026
  • verity Public Forked from lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    ZKNoxHQ/verity's past year of commit activity
    Lean 0 MIT 22 0 0 Updated Oct 20, 2026
  • website Public

    zknox website, merci le Glaude

    ZKNoxHQ/website's past year of commit activity
    HTML 1 0 0 0 Updated Oct 20, 2026
  • ZKNOXorange Public

    A sideloader for non genuine App on Ledger devices

    ZKNoxHQ/ZKNOXorange's past year of commit activity
    JavaScript 0 0 0 0 Updated Oct 20, 2026
  • 7702_Unchained Public

    Delegate your eoa using a mnemonic or Ledger with 2 clics.

    ZKNoxHQ/7702_Unchained's past year of commit activity
    C 1 0 0 0 Updated Oct 20, 2026

Most used topics

Loading…

0