Marcin Kostrzewa

Marcin Kostrzewa contributed to Keccacheck, a system for proving Keccak hash computations.

2 talks by Marcin Kostrzewa

• Shedding Light on Noir with Lampe
• ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa