Private Audit
23 findings, every one with a working PoC
Private security review of a production protocol (2026). Full manual review; 23 findings delivered, each with an executable proof of concept. Client and report not disclosed.
Available for hire
Martín Casais
Smart Contract Engineer · EVM & Solana
Smart contracts, stablecoin & payment infrastructure, and security-first development.
- 18+ protocols deployed
- 23 findings, private audit
- EVM & Solana
Capabilities
Stablecoin and payment infrastructure across EVM and Solana, built security-first.
- Stablecoin mechanisms: pegs, oracle safety with fallback feeds, Dutch-auction liquidations (StableGuard)
- Payment rails: x402 micropayments, batch distribution, ERC-4337 gasless UX (AutonomiX, SolSplit, MessageVault)
- Security-first development: invariant & fuzz testing, forked-chain PoCs, exploit reproduction
About
Martín Casais is a smart contract engineer focused on stablecoin and payment infrastructure, with 18+ protocols shipped across EVM and Solana. Business and technology background, comfortable with the regulatory and financial side of crypto as well as the code.
Galicia, Spain (CET)RemoteAvailable for hire
Skills & Tools
Languages, frameworks, and tooling for Web3 and full‑stack development.
Skills (6)
Skills count: 6
- TypeScript
- Solidity
- React
- Next.js
- Python
- Anchor
Tools (11)
Tools count: 11
Featured Projects
Stablecoin, payments, and account abstraction: deployed and verifiable on-chain.
StableGuard
Collateralized stablecoin protocol: core ERC‑20 plus 8 composable modules: oracle with fallback feeds, collateral, direct & Dutch‑auction liquidations (commit‑reveal), arbitrage, repeg, rate limiter, timelock. Gas‑optimized; unit, integration & invariant suites; whitepaper.
StablecoinFoundryInvariant Testing
AutonomiX
Payment rails for autonomous AI agents: ERC‑8004 registry with on‑chain reputation plus x402 USDC micropayments gating API access (HTTP 402 flow) on Base; verified contract.
Paymentsx402ERC‑8004
Primary actions: View Repo and Demo options.View RepoOpens in new tab
Primary: Live Demo. Secondary: More demo options.Live DemoOpens in new tab
MessageVault
ERC‑4337 smart account dApp (EntryPoint v0.7) with Paymaster‑sponsored gas, EIP‑191 UserOp validation, and The Graph indexing.
Smart AccountsERC-4337The Graph
Primary actions: View Repo and Demo options.View RepoOpens in new tab
Primary: Live Demo. Secondary: More demo options.Live DemoOpens in new tab
SolSplit
Batch payment infrastructure on Solana: multi‑recipient SOL distribution using v0 transactions and Address Lookup Tables, with chunked batching for large recipient lists.
SolanaPaymentsv0 Tx + ALT
StakeFlow
High-performance Solana staking DApp built with Anchor and an on-chain Rust program. Stake SPL tokens, earn rewards, and manage assets.
SolanaAnchorStaking
Primary actions: View Repo and Demo options.View RepoOpens in new tab
Primary: Live Demo. Secondary: More demo options.Live DemoOpens in new tab
Security Research
Audit findings from private engagements and competitive contests. Blind methodology calibrated against historical DeFi exploits, with invariant and fuzz testing and PoC validation on forked chains.
Audit Contests
4 resolved findings: 3 High, 1 Medium
Competitive audit contests (HackenProof, 2026).
Certifications
Formal training in EVM and Solana smart contract development.
Alchemy University
Ethereum Developer Bootcamp
Comprehensive program covering EVM/Ethereum, smart contracts, Solidity, blockchain cryptography, and dApp development.
EVMSoliditySmart ContractsdAppsCapstone Project
HackQuest × Solana Foundation
Solana Builder
Training in Solana development: Rust, Anchor, on‑chain programs, and NFT minting. Credential issued on-chain.
SolanaRustAnchorNFTs
Other Projects
Earlier dApps, tooling, and on-chain experiments across EVM and Solana.
CryptoLens
Web3 crypto dashboard: prices, favorites, wallet connect. Built with Next.js + Supabase; uses Ethers.js and NextAuth.
HashNotes
Minimalist decentralized notes on IPFS (via Pinata); instant pin/share via CIDs. Serverless, privacy‑first, fast.
KeywordChain
Blockchain-based message chain with keyword validation, deployed on the Sepolia test network.
Primary actions: View Repo and Demo options.View RepoOpens in new tab
Primary: Live Demo. Secondary: More demo options.Live DemoOpens in new tab
TimeShift-NFT
Dynamic NFT updating its on-chain SVG color in real time based on the current hour.
Primary actions: View Repo and Demo options.View RepoOpens in new tab
Primary: Live Demo. Secondary: More demo options.Live DemoOpens in new tab
HoneyGuard
Deception + telemetry lab: honeypot services, attacker interaction logging, and an analytics dashboard.
Primary actions: View Repo and Live Demo.View RepoOpens in new tab
More builds live in Labs
Explore Labs for experiments, prototypes, and deeper technical builds.
Contact
Open to smart contract engineering roles: stablecoin & payment infrastructure.
Primary: Open email client. Secondary: Copy email.Email
GitHubOpens in new tabLinkedInOpens in new tabX (Twitter)Opens in new tabFarcasterOpens in new tab