Zero-knowledge researcher_
Remote or New York · full-time
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, build the zero-knowledge benchmarks for 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 built to run your workflows for every team that needs them.