Mary Maller

Focused on bridging theoretical SNARK constructions with the engineering demands of a deployed layer-one protocol, addressing prover performance, proof size trade-offs and integration points for recursive composition. Work in this area enabled more practical prover pipelines and clarified the constraints under which Mina’s succinct-state model could operate at network scale. Participated in designing and implementing tooling and APIs used by node implementers and third-party developers, lowering the barrier to building on top of a zk-centric stack. Practical research outputs and libraries accelerated ecosystem work and allowed external teams to validate Mina’s approach under real-world conditions. Engaged in publishing technical notes and collaborating with external cryptographers to vet assumptions and security properties of Mina’s constructions. That peer-reviewed and engineering-oriented process strengthened the protocol’s cryptographic robustness and helped shape community confidence in Mina’s use of recursive SNARKs for state compression.