Vladimir Marcin

I worked as a researcher at the Faculty of Information Technology, BUT, where my main areas of research were formal verification and static analysis. After my studies I've decided to continue with making the software more secure and reliable and I used my skills as a solana security auditor @AckeeBlockchainSecurity. Now I'm fascinated about ZK, and currently I work on ZK provers acceleration with project Maya.