matzayonc

Owned state validity and consistency on a production L1 in Rust: database and storage layers, live schema migrations, and feature gates for rolling out changes on a running chain. Engineered fault tolerance on live infrastructure — crash recovery, change atomicity, reconnections, configuration propagation — and owned continuously rotating threshold keys. Improved block execution latency by 20% by eliminating database I/O bottlenecks and refining Virtual Machine operations.

Engineered ZK-proof solutions across proving systems including Cairo, Circom, and RISC Zero. Contributed performance and correctness improvements to the Cairo compiler and Virtual Machine, implementing 3 new native calls. Co-authored contract changes merged into ZKsync’s era-contracts v25 protocol release (matter-labs).

Cofounded Sherpa, a P2P delivery marketplace on Solana (Rust, TypeScript, Svelte); secured an ecosystem grant and delivered the full scoped product. Built and deployed Dotwave, a DeFi protocol entry for the Solana Grizzlython hackathon, leading a team of 4 through architecture, smart-contract deployment, and whitepaper; pitched investors, then wound the project down rather than continue unfunded.

Co-founded Invariant, the first concentrated-liquidity (CLMM) DEX on Solana; engineered its core protocol on Mainnet, adapting the Uniswap V3 model; passed independent security audits, $800M+ in cumulative trading volume. Developed and open-sourced a high-performance fixed-point numeric library in Rust (41 stars on GitHub), optimizing compute-unit cost and precision for DeFi math. Mentored 4 junior developers on Solana’s account model and program security.