Zero Knowledge

Zero-Knowledge Proofs

Zero-knowledge proofs allow one party to prove knowledge of information without revealing the information itself. This technology is fundamental to blockchain privacy and scalability, enabling applications from private transactions to ZK-rollups.

Cairo & Account Abstraction

We experimented in Cairo when Account Abstraction was just a concept on L1, providing secp256r1 optimizations to Cartridge and Braavos.

Falzkon — ZK-Friendly Falcon

We specified a Blake3-based Falcon variant, more suited to ZK constraints. Our Falzkon implementation in Cairo achieves 8x cost reduction in constraints compared to standard approaches.

Hybrid Signer

We developed a hybrid signer integrating a Circom k1, combining classical and post-quantum security in zero-knowledge circuits.

MPC-FROST Signer

We developed an MPC-FROST signer compatible with circomlib BabyJubJub, winning the 1st Ledger Integration Prize at Devconnect.