Sina Faraji

Protocol Engineer / Lead Security Auditor

Medellin

🟡Lurking

Protocol Engineer with strong theoretical and hands-on experience. Lead Security Auditor for 4+ years specializing in protocol and smart-contract audits. Bug bounty hunter rewarded by Solana Labs, Magic Eden, and Metaplex. Published cryptographer in Multi-Party Computation (MPC). Proficient in smart contract development, formal verification, fuzzing, and live incident response.

Work Preferences

Salary

USD 100,000 – 150,000

Skills

Rust10/10

Shell Scripting10/10

Smart Contract Security Auditing10/10

Solana Program Development10/10

Solidity10/10

Distributed Systems & Consensus Protocols (10/10)Byzantine Fault Tolerance (10/10)C++ (10/10)Bug Bounty / Vulnerability Research (10/10)Cryptography (10/10)DeFi / Protocol Design (10/10)Multi-Party Computation (MPC) (10/10)Python (10/10)Reverse Engineering (10/10)TypeScript (8/10)Formal Verification (8/10)Fuzzing (8/10)Hardware Security Modules (HSM) (8/10)Move / Move Prover (8/10)Go (6/10)

Work Experience

Protocol Engineer

BloXroute Labs

Jan 2026 — Present

Design and implementation of a novel perpetual protocol. Work currently under NDA.

Security Engineer

OShield

Jan 2022 — Dec 2025

Led security research and bug bounty initiatives. Secured over $5 billion in assets on the Solana blockchain. Clients include Solflare, Raydium, Metaplex, Magic Eden, LoopScale, Carrot and more. Developed novel reverse engineering schemes to simulate blockchain transactions, fuzz smart contracts/programs, and prototype bugs. Acclaimed bug bounty hunter rewarded by Solana Labs and Metaplex Foundation. Led formal verification efforts using Move Prover and Certora prover.

Co-founder and CTO

Creaton

Jan 2020 — Dec 2021

Co-founded a startup to decentralize subscription-based platforms (like Patreon). Responsible for smart contract development and content delivery infrastructure. Secured two track prizes and top-10 placement in the quadratic funding round at ETHDenver 2020.

Research Intern

École Polytechnique Fédérale de Lausanne (EPFL)

Jan 2017 — Dec 2018

Implemented and analyzed distributed consensus protocols for performance benchmarking. Developed simulations for Byzantine fault-tolerant (BFT) algorithms comparing PBFT, Paxos and Byzcoin in GoLang.

Education

University of Waterloo

MSc · Computer Science, Cryptography

2019 – 2021

Sharif University of Technology

BSc · Computer Science

2015 – 2019