About Me
My name is Matej Penciak, and I am currently working on formal verification and applied cryptography at Reilabs. Previously I was a software engineer and cryptographer at Argument Computer Corporation.
At Argument I worked on the cryptography of the Lurk ZKVM. In practice this involves working on the prover and verifier for the STARK/lookup based virtual machine. In the past iteration of Lurk Beta I worked on folding-scheme based cryptography.
I also have a deep interest in isogeny-based PQC and the internet PKI. Check out the cryptography projects I'm working on.
Before this I was a research mathematician interested in algebraic geometry, and integrable systems. I still like to dabble in the field, so check out some of my math projects to figure out what I'm thinking about.
I am proficient in Rust, Python, and Lean. I am currently working on a simple compiler written in Lean. Check out the progress here
Check out my up to date resume and CV for all the boring stuff.