Michal Zajac leads the research team at Nethermind.
His background is in zero-knowledge proofs: SNARKs, STARKs and shuffle arguments -- making them more efficient and secure.