Remote ZK Cryptography Engineer
About the job:
• Implementing, optimizing, and reviewing code for Kimchi (our zero-knowledge proof system), Pickles (our recursion protocol), and cryptographic circuits.
• Writing technical specs for design and use of the crypto protocols.
• Writing high quality, performing, and well documented OCaml and Rust code.