Specializing in Protocol Resilience, Invariant Formalization, and High-Assurance Smart Contracts
Focusing on Soroban (Rust), EVM (Solidity), and Zero-Knowledge Payroll & Lending Primitives.
I am a security-focused blockchain protocol engineer dedicated to fortifying decentralized infrastructure. My work centers on auditing, hardening, and building mission-critical on-chain systems—preventing value extraction, eliminating reentrancy attack vectors, and ensuring strict state machine determinism.
- 🔭 Active Research: Soroban smart contract security primitives, formal invariant modeling, and zero-knowledge verification pipelines.
- ⚡ Core Philosophy: Zero assumptions, defense-in-depth, explicit state transitions, and rigorous automated validation.
- 🤝 Collaboration: Actively contributing security patches, protocol optimizations, and architectural refactors to leading open-source Web3 ecosystems.
flowchart LR
A[Attack Surface Analysis] --> B[Invariant Modeling]
B --> C[Soroban / Rust Implementation]
C --> D[Differential & State Property Testing]
D --> E[Hardened Protocol Deployment]
- 🔒 DeFi Security & Vulnerability Remediation: Reentrancy protection guards, emergency circuit breaker architectures, access-control (RBAC) hierarchies, and oracle manipulation mitigation.
- ⚡ Soroban & Stellar Protocol Development: Modular flash loan primitives, atomic cross-chain swaps, dynamic liquidation curves based on market volatility, and custom Soroban SDK components.
- 🔐 Zero-Knowledge Architectures: ZK-SNARK verifier integration, confidential state verification, and tamper-proof payroll compensation policies.
- 🏗️ Systems Reliability: Deterministic contract state recovery, RFC 7807 Problem Details error boundary propagation, and strict CI/CD security harnesses.
| Protocol / Project | Focus Area | Impact & Solution Delivered |
|---|---|---|
| Smartdevs17 / StellarLend | DeFi Lending & Liquidity | Implemented protocol-wide reentrancy protection, decoupled flash loan primitives, dynamic volatility-based liquidation bonuses, and admin transfer privilege safeguards. |
| degenspot / BACKit-onStellar | Perpetuals & Derivatives | Engineered granular circuit-breaker pause mechanics and governance RBAC controls for emergency protocol interventions. |
| zkpayroll / zk-payroll-suite | Privacy & ZK Payroll | Architected role handoff state validations, compensation policy effective-date enforcement, and automated correction request expiration handling. |
| safetrustcr / dApp-SafeTrust | API & Settlement Security | Enforced RFC 7807 structured Problem Details error boundaries to prevent silent state corruption in transaction routing. |
| Domain | Technologies & Frameworks |
|---|---|
| Languages |      |
| Smart Contracts & Web3 |     |
| Infrastructure & CI/CD |    |
To ensure transparency and authenticity across all audits, pull requests, and security disclosures:
- EVM Address (Base / Ethereum Mainnet):
0x96eE7904BdCd8a82c71B4FFc3362C96b1Aae03e0 - Stellar Public Key (Soroban / SCF):
GCTRV3DXW3B4L36YQ75QW53A22T72H3FAGKMXH2TYV6X42K5ZOPP3FUP - Commit Signing / DCO: All official contributions carry verified Developer Certificate of Origin (
Signed-off-by: SrvFernandes <sergiofernandessilva1997@gmail.com>).
Built with precision, verifiable code, and uncompromising security standards.