Author · Engineer · Independent Researcher
Aleksei Safonov
Smart Contract QA & AI Agent Verification Engineer
I pressure-test the moment software moves money or claims a real-world result. My work focuses on smart-contract state transitions, payment reconciliation, agentic-payment controls, action receipts, causal lineage, retries, concurrency, stale authority, and reproducible evidence.
What I build
- ContractGraph-QA — smart-contract QA for reachable economic failures and verifiable evidence.
- T-Trace / OpenPoC — AI-agent action receipts, deterministic replay, and assurance-boundary tests.
- ProofPath — pre-execution authorization and evidence for high-risk agent actions.
- Causal Memory Layer — causal and approval-lineage audit for agent traces.
- RESONANCE — evidence-first articles, verified reports, open problems, and market questions.
Selected proof
T-Trace/OpenPoC independently matched 13/13 public Governex action-receipt vectors without importing the reference verifier. Verification-outcome guidance was reviewed and merged into AgenTrust trace-spec, and a Valta pilot completed mutually signed-off tests for payment policy enforcement, concurrency, and retry exposure.
Work with me
I accept paid, async, fixed-scope engagements for one high-risk smart-contract, payment, or AI-agent workflow at a time.