Binston Cardoza

Protocol Engineer

I build Rust-based tooling for ZK cryptography and EVM bytecode analysis. I also find bugs in production protocols — Injective, Axelar, BNB Chain, and others.

Projects

Algebraic constraint system for ZK circuit verification

Concolic execution engine for EVM bytecode analysis

RustEVMFormal Methods

Findings at

Injective·Axelar·BNB Chain·Jupiter Lend·Kiln·Coinbase

Latest writing

Postmortem: Incomplete GG20 Session Binding in tss-lib v2
A postmortem of a tss-lib v2 GG20 migration bug where deterministic SSIDs and a sessionless RangeProofAlice allowed proof transcripts to be replayed across signing sessions.
Apr 25, 2026