Publications

Papers and preprints from Seceq, newest first.

May 2026
Zenodo
Zero-Knowledge

ZK IR: A Minimalist Instruction Set Architecture for Efficient Zero-Knowledge Proof Generation

32-bit Design for STARK-Based Proving

Antoine Mercier, Vojtěch Šimek, Mamone Tarsia

A specialized 32-bit instruction set architecture tailored for zero-knowledge proof generation with STARK protocols. Demonstrates that a pure 32-bit register design using software-based multi-precision arithmetic achieves approximately 2× reduction in constraint count compared to naive approaches.

Keywords: 32-bit ISA, STARK Protocols, LLVM Toolchain

Read on Zenodo

January 2026
Zenodo
Post-Quantum Cryptography

Deferred Reduction Optimizations for Post-Quantum Lattice Cryptography

ML-KEM and ML-DSA

Maximilian Voss, Vojtěch Šimek

A unified framework of deferred modular reduction optimizations for ML-KEM and ML-DSA post-quantum cryptographic algorithms. Minimizes computational overhead through coefficient bound analysis while maintaining constant-time security properties.

Keywords: Deferred Reduction, ML-KEM / ML-DSA, Constant-Time

Read on Zenodo

November 2025
Zenodo
Formal Verification

LLM-as-Specification-Judge

Multi-Model Consensus for Trustworthy Cryptographic Verification

Radovan Kučera, Mamone Tarsia, Julian Caldwell

Addresses a critical vulnerability in formal verification: while proof assistants provide strong mathematical guarantees, specifications remain susceptible to human error. Proposes Specification Consensus using multiple independent LLMs to generate diverse formal specifications and verify consistency.

Keywords: LLM Consensus, Specification Validation, Cryptographic Primitives

Read on Zenodo

We're open to research collaborations. Get in touch.