Position: cryptography
Category: C++
English level: upper
Years of experience: 11

Alternative implementation of a private Sudoku solution verification with libsnark, original paper and proof-of-concept from Financial Crypto 2016. Proof-of-concept implementation of snark verification tasks, including recursion.

A paper in LNCS with an advanced Schnorr-like protocol, and a real-life implementation.

Implemented a sub-project with pairing on elliptic curves, focus on performance.

Implemented a library processing messages of Secure Electronic Transactions (SET) protocol, starting from specifications and openssl. Also implemented minimal applications of a SET merchant, acquiring and issuing banks, generated full hierarchy of SET keys and certificates. Production-grade Mastercard/IBM SET Wallet was happy to create a transaction with this merchant.
Cryptography, both math and code.

Public keys, elliptic curves, pairing, interactive proof systems, zk-SNARKs (R1CS and groth16). 
C/C++, unix-based software development (gcc, make, gdb, git, emacs).
Libraries like openssl, crypto++, libsnark.

Roles include identifying proper cryptographic technique, adopting existing libraries, research, minimal product implementation, consulting.