Marcin Kostrzewa

I'm pretty good at figuring out and implementing stuff in ZK and compilers/devtools. I'm driven by curiosity and random nerdsnipes. Two of the projects I've been focused on lately are a formal verification framework for Noir and trying to (mis)apply sumcheck to way too many problems.