badaas.be

What It Is

BaDaaS is a mathematical engineering team based in Belgium. Its official positioning is “building concrete applications with abstract mathematics.” Its cybersecurity-related capabilities are mainly focused on applied cryptography, zero-knowledge proofs, post-quantum cryptography, formal verification, attack surface management, cryptographic audits, and vulnerability research. It is not a traditional EDR, WAF, SIEM, or cloud security platform; it is closer to a research-driven engineering and consulting team for high-security software, blockchain protocols, and cryptographic systems.

Core Capabilities and Deployment

Based on the available text, BaDaaS covers research, engineering, projects, and security consulting. Its engineering capabilities include low-level cryptographic libraries, distributed systems, network layers, proof systems, open-source tools, and production systems. Its open-source contributions include Mina Protocol, Tezos nodes, BLS12-381 curve implementations, and a PlonK circuit DSL, suggesting particular strength in complex cryptographic protocols and infrastructure-level implementation. Its deployment model is not disclosed as SaaS, on-premises, or managed service; it is more likely to be delivered through project-based work, code contributions, audits, and consulting.

Pricing, Compliance, and Management

The official website does not publish pricing, plans, payment methods, service levels, or compliance certification information. There is also no description of enterprise security platform features such as an alerting console, reports, or multi-tenant management. Therefore, enterprise buyers would need to communicate directly about scope, deliverables, acceptance criteria, and support periods. Compliance certifications related to ISO, SOC 2, or GDPR are not mentioned in the main text and should not be assumed.

Pros and Cons

The main advantage is clear technical depth. The team’s background spans mathematics, cryptography, formal verification, and practical engineering, with core contributions to open-source and blockchain infrastructure such as Mina and Tezos. It is well suited to high-barrier cryptography problems. The drawbacks are limited commercial information and a lack of transparency around team size, customer references, response mechanisms, and after-sales support. At the same time, its capabilities do not cover most common enterprise needs such as endpoint protection, log analysis, cloud asset inventory, or security operations platforms.

Who It’s For and Access from China

BaDaaS is suitable for blockchain projects, cryptographic protocol teams, high-security infrastructure developers, research institutions, and organizations that need zero-knowledge proofs, post-quantum cryptography, formal verification, or cryptographic audits. The main text does not provide information about access from China, and payment methods are also unknown. Domestic teams needing similar capabilities may also evaluate local cryptographic assessment institutions, university or research-institute cryptography teams, or Chinese security companies with experience in blockchain security audits and formal verification.