Blog

Where mathematics meets the real world. We explore how cryptography, formal verification, and applied mathematics solve concrete problems across security, infrastructure, and industry. RSS

Who Trained Your AI, and Can You Prove It?

March 14, 2026

The web's implicit contract is breaking. AI crawlers consume content without receipts, and no one can cryptographically prove what trained a model. We explore the legal, technical, and mathematical landscape of AI training accountability.

Hello, World

January 23, 2026

Welcome to the BaDaaS blog. We'll be sharing technical articles on cryptography, security, and software development.