Aleksandar Angelov

Lead Verification Engineer

Aleksandar Angelov is a software engineer with over 15 years of experience building systems at the intersection of cryptography, finance, and gaming. He began his career developing backend infrastructure for fintech platforms, where he specialised in transaction integrity, deterministic algorithms, and adversarial testing — the discipline of trying to break your own systems before someone else does. His focus shifted to the gaming and gambling sector after observing how poorly most casino platforms handled the fundamental question of verifiability. Provably fair technology, he argues, is the only honest answer to that question — and most implementations he encountered were either incomplete or poorly documented. At ProofBets, Aleksandar leads all cryptographic verification work. He designs and maintains the Provably Fair Verifier tool, authors the technical guides on SHA-256, seed mechanics, and HMAC construction, and independently audits the provably fair implementations of every casino the site reviews. When he says a casino's provably fair system works as claimed, it's because he has run the maths himself. His background in quantitative systems means he approaches gambling the way an engineer approaches a black box: assume nothing, measure everything, document the results. That philosophy is embedded in how ProofBets evaluates fairness — not through trust, but through verification.