dnevado

Background Summary:

I began working on Zero-Knowledge (ZK) projects in 2020, with a primary focuson writing PLONK circuits and developing libraries for proving systems. In 2021, I joined PSE's zkEVM project, where I concentrated on foreign arithmetic circuits and optimizing the halo2 and halo2curves proving systems. Currently, I lead the PSE halo2 team, where my focus is on integrating new proving systems with developer-friendly frontends and domain-specific languages (DSLs).

Areas of Expertise & Interests:

My primary areas of expertise are cryptographic protocols and abstract algebra. I am particularly drawn to projects that involve or intersect with these domains. Examples of such projects include:

Low-level implementation of algebraic structures like elliptic curves and finite fields; or cryptographic primitives, such as commitment schemes, signature schemes, and hash functions. Rollups, zk-circuits, and zkVMs.