What you'll work on

• ZK Circuits and auditing correctness
• Verifying correctness of TLS implementation from security standpoint (Handshakes/AES/ChaCha20)

Example projects

• Write tests to verify correct implementation of AES in Circom
• Are there any security leaks in the architecture/implementation of the modified TLS handshake

You'd be a good fit if

• You're an academic researcher in security and/or cryptography and have published research in notable journals
• You have thorough understanding of TLS 1.3, AES and releated encryption/signature/hashing schemes

Interview process

• Share your research or open source projects
• 2 technical interviews (30-60 minutes each)
• 3 Ref checks