$ whoami
Mateusz
Chudkowski
Blockchain · ZK Engineer
Building production zero-knowledge proof systems on StarkNet and beyond. First on-chain STARK verifier on Solana. L3 settlement infrastructure. Primarily Rust and Cairo.
About
I'm a blockchain and ZK engineer at Visoft, working in an ongoing collaboration with Cartridge (New York, USA) on production ZK infrastructure for the StarkNet ecosystem.
My work spans the full zero-knowledge proving pipeline — from trace generation through to on-chain verification. I shipped the first on-chain STARK verifier on Solana, a security-audited L3–L2 settlement contract deployed for the first L3 run on StarkNet, and a proving orchestrator that reduced per-transaction costs by enabling games to run on L3.
Based in Lublin, Poland. Currently pursuing an MSc in Computer Science at Maria Curie-Skłodowska University while working full-time.
Skills
Experience
Visoft
Kraków, Poland (Remote)- ▸In an ongoing collaboration with Cartridge (New York, USA): implemented the first on-chain STARK verifier on Solana; resolved platform-specific constraints by splitting the verification protocol into Solana-compatible compute units.
- ▸For Cartridge: actively developing sharded execution for the Katana sequencer, enabling parallel transaction processing across multiple execution shards.
- ▸For Cartridge: hardened a mock L3–L2 settlement core contract (Piltover) into a production-ready system; resolved soundness issues, passed a security audit, and shipped for the first L3 run on StarkNet.
- ▸For Cartridge: built Saya, a proving orchestrator that fetches blocks from the sequencer and settles them on L2; implemented end-to-end proving and verification flow with STARK and TEE backend support — enabling games to run on L3 and directly reducing per-transaction costs.
- ▸For Cartridge: built HTTP Prover, a web service wrapping Stone Prover that streamlines the full pipeline from trace generation and configuration to proof output.
- ▸Led NFT deployment for Bank Pekao's ARCHIV3 project on Aleph Zero — first Polish commercial bank to use blockchain for art preservation; delivered PSP34-standard NFTs archived in the Arctic World Archive.
- ▸Built acme-controller, a fully Rust-native library for automated TLS certificate acquisition and renewal via the ACME protocol.
Education
Maria Curie-Skłodowska University
Lublin, Poland- ▸Coursework: Advanced Algorithms and Time Complexity.
Maria Curie-Skłodowska University
Lublin, Poland- ▸GPA: 4.5/5.0
- ▸Focus: algorithms, cryptography, and system safety.
- ▸Thesis: "Automation of TLS certificate acquisition and renewal in Rust language".
$ ping mateusz
Contact
Open to interesting projects in ZK, blockchain infrastructure, and cryptography. Feel free to reach out.