Gregor Mitscha-baude
Co-Founder at zkSecurity
Vienna, Austria
Summary
🤩
Rockstar🎓
Top SchoolGregor Mitscha-baude is a Co-Founder and cryptography engineer based in Vienna with a decade of experience building secure, peer-to-peer and cryptoeconomic systems. He combines a strong applied-math background (MSc, PhD research in numerical mathematics) with hands-on TypeScript and OCaml engineering, contributing to notable projects like Mina Protocol and the o1js zk-SNARKs framework. Gregor focuses on low-level correctness and protocol integrity—fixing nonce/ledger handling and LEB128 decoding bugs—while leading audits and engineering at zkSecurity. Equally comfortable in web stacks, WebAssembly internals, and dweb/E2E encrypted apps, he blends research-grade rigor with pragmatic open-source craftsmanship. An understated strength is his tendency to spot subtle edge-case bugs in cryptographic codepaths that would otherwise undermine protocol guarantees.
10 years of coding experience
6 years of employment as a software developer
Vienna University of Technology
Stackoverflow
151reputation
26kreached
5answers
0questions
Github Skills (29)
parserator10
javascript10
parser10
typescript10
rust-wasm10
wasm-pack10
ocaml10
zksnark10
cryptography10
typescript-types10
blockchain10
zk10
typescripts10
webassembly10
testing9
Programming languages (9)
Github contributions (5)
o1-labs/o1js
Nov 2021 - Jan 2023
TypeScript framework for zk-SNARKs and zkApps
Role in this project:
Backend Engineer
Backend EngineerContributions:1330 reviews, 1969 commits, 783 PRs in 1 year 2 months
Contributions summary:Gregor's commit focused on resolving a nonce computation bug in the `sign` function. The code changes involved modifying the `src/lib/party.ts` file to fix how the nonce is computed and streamline code. Additionally, they updated the `src/lib/precondition.ts` file, likely to align with the changes related to the nonce computation. These commits suggest a focus on debugging and improving the functionality of core components within the zk-SNARKs framework.
snarksjavascript-frameworkjavascriptzk-snarksjavascript-typescript
MinaProtocol/mina
Dec 2021 - Jan 2023
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:Back-end Developer
Back-end DeveloperContributions:384 reviews, 1214 commits, 253 PRs in 1 year 1 month
Contributions summary:Gregor focused on fixing references and implementing several improvements related to "Proof of Stake" within the codebase. The user worked on updating the handling of ledger-related information, including implementing new methods to manage and access ledger data. They made changes in source code files written in OCaml, including integrating new features with the existing libraries and addressing specific dependencies of this cryptographic protocol.
minaethereumsecurityblockchainocaml
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.