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

2025

Ethereum Post Quantum Transition:

• Contribution to DILITHIUM (EIP-8051) and FALCON (EIP-8052) EIPs:
  • https://ethereum-magicians.org/t/eip-8051-ml-dsa-verification/25857
  • https://ethereum-magicians.org/t/eip-8052-precompile-for-falcon-support/25860
• Solidity implementations of Dilithium (FIPS204/EIP-8051) and FALCON (FIPS206/EIP-8052):
  • https://github.com/ZKNoxHQ/ETHFALCON
  • https://github.com/ZKNoxHQ/ETHDILITHIUM
• Hardware implementation of Dilithium (EIP_8051)
  • https://github.com/ZKNoxHQ/ZKN-PRIVACYHW
• FALZKON, a zk-friendly falcon in Cairo
  • https://github.com/ZKNoxHQ/falzkon

Improve ECC circuit verification

• Fast elliptic curve scalar multiplications in SN(T)ARK circuits

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)
  • https://github.com/ZKNoxHQ/ZKN-PRIVACYHW
• 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

• PRs for major hardware wallets 7702 integration:
  • Trezor: trezor/trezor-firmware#4945
  • Ledger: LedgerHQ/app-ethereum#739
  • KeyStone: KeystoneHQ/keystone3-firmware#1727
• Hybrid Account (Post Quantum + classic) experimentations (ETHGLOBAL PRAGUE&CANNES):

  • PQKINGS: Hybrid Cryptography protection for your assets. Leveraging the new EIP-7702 standard with FALCON and ECDSA.

  • ZKIPPER: role based access control (RBAC) enforced by EIP-7702 Hybrid Account.

    

  • FROSTGUN: FROST Hardware Implementation - Baby Jubjub EdDSA

    

White Hat

• A responsible disclosure of potential supply chain attack on Keystone wallet

Reach us

🔐 Practical security on the whole chain.

Website | Twitter | Blog | Contact Info