Can you tell if a ZK circuit is sound, or just correct? Hiring: ZK/Cryptography Auditor Review zkVM guest code + ZK circuits Evaluate soundness, completeness, privacy leakage Skills: Proficiency in Rust + proof systems. Bonus points if you know Noir. (Nethermind)