BaDaaS

BaDaaS is a group of mathematicians turned engineers based in Belgium that use abstract mathematics to build concrete applications. They specialize in applied cryptography, formal verification, and AI tooling, working across zero-knowledge proof systems, post-quantum cryptography, machine-checked proofs in Lean 4, and open-source infrastructure.