About
Keep hearing about PMF from your manager and you don’t know what it is? In this blog, PMF is about protocols and fun, even if your manager tells you that PMF means “Product-Market Fit”.
This is Igor Konnov’s blog about protocol specification, testing,
and verification. Licensed under CC BY 4.0 
. I am an independent
security and formal methods researcher, having a track record in academia
and the blockchain industry.
Not sure your distributed protocol or smart contracts are solid? Check out my website to get expert analysis and confidence in your code.