Explore Engineering Projects
Verified listings across Quantitative Trading, Autonomous AI Systems, and Web3 Infrastructure.
BLOCKCHAIN
🔒 NDA PROTECTED
Posted 8 hours ago
DeFi Yield Vault Smart Contract Security Audit (EVM & Arbitrum)
We need a comprehensive formal verification and manual code audit for our upcoming multi-strategy DeFi yield aggregator on Arbitrum. Scope: - 4 core smart contracts (ERC-4626 vault compliant, ~1,200 LoC) - Re-entrancy, read-only re-entrancy, price oracle manipulation checks - Delivery of full PDF audit report with severity grading and remediation proofs.
Solidity
Foundry
Slither
ERC-4626
EVM Security
DeFi
Budget Allocation
$3,500 - $5,000
fixed Escrow
AlphaVentures Web3 Lab
View Details & Bid →