Zero-knowledge researcher_
Remote or New York · full-time
Find soundness bugs in circuits and proof systems, and build the workflows that find them at scale.
What you'll do
Research the ways zero-knowledge systems fail in practice — under-constrained circuits, unsound gadgets, unsafe recursion, verifier and trusted-setup mistakes — across the toolchains teams use today (Circom, Halo2, Noir, Cairo and their successors). Build workflows that find those bugs, curate the zero-knowledge benchmarks on the bench, and publish.
What we look for
You have written or audited circuits that went to production, and you know why "it verifies" is not "it is sound". You are comfortable with finite-field arithmetic and the proof-systems literature, and you can explain an under-constrained signal to an engineer who has never heard the phrase.
What we offer
A rare position: full-time research on zero-knowledge security, published under your name, with a platform that runs your workflows for every team that needs them.