Forward-secure Go library for tamper-evident audit logs, implementing Ma–Tsudik’s dual-MAC private-verifiable scheme.

We’re building a secure search engine for high-dimensional data, like images or audio. Normally, finding the ‘nearest neighbors’ in huge datasets is already hard because the vectors are large and the dataset can be billions of points. We add another challenge: the data is encrypted, so the system must be forward-secure.