Nasser Ali Alzahrani

Building cryptographic trust infrastructure for AI agents

Founder of ProofTrail. PhD researcher. Open-source developer.

What I'm Building

Tamper-proof receipts for AI agents. Live API, Python SDK, EU AI Act ready.

Authenticated data structures for Python. Zero runtime deps, 179 tests.

PhD candidate, RMIT University, Melbourne
Secure Authenticated Data Structures in Haskell

Authenticated Data Structures for Trustworthy AI Agent Pipelines ENASE 2026
Design Methodology and Lessons Learned from Building Generic ADS in Mainstream Languages ENASE 2026
Application of Property-based Testing Tools for Metamorphic Testing ENASE 2022

ads-foundation Python Authenticated data structures library on PyPI
ADS4All Haskell Research framework for generic authenticated data structures
cbdd C Binary Decision Diagrams for C