Tomas Krnak
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolTomas Krnak is a cryptography-focused software engineer and founder with a decade of technical experience specializing in zero-knowledge proofs and blockchain privacy. He earned a Master’s in Mathematics and Computer Science and has moved from academic research into applied engineering—designing ZKP primitives, writing Noir circuits and Solidity, and implementing shielded Zcash transactions even on resource-constrained Trezor hardware. As founder and CTO of Nullmask he built middleware that transparently injects shielded transfers into multichain wallets, and his open-source contributions include adding Zcash signing tests to the widely used trezor-firmware repository. Tomas combines deep theoretical knowledge (from abstract algebra to elliptic-curve and FPGA optimizations) with hands-on low-level embedded and full-stack development, and has a track record of squeezing performance from provers and curve arithmetic. He’s based in Prague and brings a rare blend of cryptographic research, product-minded engineering, and practical security validation to privacy-preserving blockchain systems.
10 years of coding experience
2 years of employment as a software developer
Master's degree, Mathematics and Computer Science, Master's degree, Mathematics and Computer Science at Charles University
Github Skills (12)
cryptocurrency10
python10
cryptography10
zcash10
testing10
firmware9
bitcoin8
bitcoins8
micropython6
rust5
c174
c114
Programming languages (5)
Github contributions (5)
trezor/trezor-firmware
Mar 2022 - Dec 2022
:lock: Trezor Firmware Monorepo
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:169 reviews, 88 commits, 5 PRs in 9 months
Contributions summary:Tomas's commits primarily focus on adding and improving tests within the Trezor firmware repository. They added tests for Zcash transaction signing, specifically for Zcash v5, and integrated tests for unified addresses. Additionally, they incorporated a test case to verify the transaction signing process. The work directly contributes to ensuring the firmware's functionality and reliability, especially in the context of cryptocurrency transactions and related cryptographic implementations.
cryptographymonorepopythonlockfirmware
jarys/pynet
Jan 2016 - May 2020
Contributions:4 pushes, 1 branch in 4 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.