henriquealvim

EVM & Smart Contract Engineer | Solidity, Rust & ZK

Backend Software Engineer with 3+ years of experience specializing in EVM smart contract architecture, protocol design, and Zero-Knowledge cryptography.

Technical highlights: • Institutional Blockchain: Developed EVM-based smart contracts for Brazil's CBDC (Drex) pilot project at Banco do Brasil. • Protocol Architecture: Designed & deployed Pedigree Chain (DAG-based on-chain data registry to prevent EVM storage bloat) with verified contracts on Base Mainnet and Base Sepolia using Foundry. • ZK Circuits: Built custom ZK-SNARK circuits using Circom & snarkjs for off-chain state verification. • Standards: Author of an ERC draft proposal on the Ethereum Magicians forum for DAG genealogical tracking.

Stack: Solidity, Java, Python, TypeScript, Rust, Circom, Foundry, Linux. Holds a B.S. in Economics from USP. Open to global remote roles or relocation.