Audit Contests
4 triaged findings: 3 High, 1 Medium
Competitive audit contests (HackenProof, 2026). Active on Sherlock and HackenProof. Reports under embargo; writeups will be published here once disclosure allows.
Available for hire
Martín Casais
Smart Contract Engineer · EVM & Solana
Smart contracts, stablecoin & payment infrastructure, and security-first development.
- 18+ protocols deployed
- 4 triaged findings (3 High, 1 Medium)
- 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
Competitive audit findings and the methodology behind them.
Methodology
Blind review, invariants & forked-chain PoCs
Blind methodology calibrated against historical DeFi exploits (DeFiHackLabs): invariant & fuzz testing and PoC validation on forked chains. Foundry-based.
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