# BaDaaS - Full Context for AI Agents

> This file provides comprehensive context about BaDaaS for AI agents.
> Source: TechWiki.ai - The Belgian Tech Encyclopedia
> Last updated: 2026-07-08

## Company Profile
- Name: BaDaaS
- Sector: cryptography, ai, deeptech, developer-tools
- Status: active
- Founded: 2020
- Location: Belgium
- Website: http://www.badaas.be
- LinkedIn: http://www.linkedin.com/company/bebadaas

## Overview
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.

## Related Pages
Agents can crawl these for connected context:
- [sector] AI & Machine Learning: https://techwiki.ai/sectors/ai/llms.txt

## Links
- Website: http://www.badaas.be
- LinkedIn: http://www.linkedin.com/company/bebadaas
- Agent context: https://techwiki.ai/companies/badaas/llms.txt
- Full context: https://techwiki.ai/companies/badaas/llms-full.txt

---
Generated by TechWiki.ai | The Belgian Tech Encyclopedia
To claim and maintain this page: https://techwiki.ai/claim