Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
artificial-intelligence · embed-ft 0.45
Tree path
Technology & Computing › Artificial Intelligence
Group (tier-1)
Tech stack
CDN
AI readiness
Overview
Title
BaDaaS
Description
BaDaaS is a European applied mathematics lab specialising in cryptography, zero-knowledge proofs, SNARKs, post-quantum cryptography, formal verification in Lean 4, and AI tooling.
Final URL
Language
en (html)
Scanned at
2026-06-29 21:17:33