Wojciech Zaborowski
Blockchain Applied Researcher at Khalani Labs
Poland
Summary
👤
Senior🎓
Top SchoolWojciech Zaborowski is a blockchain applied researcher and mathematician with 10+ years building and researching consensus, smart-contract and protocol designs across eUTXO, EVM, Move and proof-of-space/-stake systems. He blends rigorous formal methods (TLA+, theorem proving, type theory) with hands-on VM and simulator implementations in Rust, Scala and Ruby, having shipped experimental VMs and consensus simulators at Khalani Labs, Spacemesh and CasperLabs. His background spans industrial-scale engineering—from actor-based IoT platforms and Neo4j optimization to large-scale Java systems—bringing production-grade discipline to protocol research. An active open-source practitioner, he created a PoS consensus simulator (phouka) and often bridges theoretical models with practical tooling and techdocs. Notably, he combines deep mathematical training with decades of systems experience, enabling precise yet pragmatic designs for next-generation blockchain architectures.
10 years of coding experience
19 years of employment as a software developer
Mathematics, Mathematics at University of Warsaw1 LO GdańskPhysics, Physics at University of Gdansk
Stackoverflow
51reputation
190reached
1answer
1question
Github Skills (27)
proof-of-work9
blockchain8
decentralization7
cryptocurrency7
blockchain-network7
generics6
move6
p2p6
golang6
ethereum6
cryptocurrencies6
scala6
consensus6
calculator5
mathematical4
Programming languages (5)
Github contributions (5)
selfdual-brain/phouka
May 2020 - Oct 2021
Contributions:209 commits, 54 pushes in 1 year 5 months
CasperLabs/casper-simulator
Mar 2019 - May 2019
Contributions:9 PRs, 20 pushes, 6 branches in 2 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.