Applied Cryptography expert

ZK Hack IV - Chaos Theory

This is the solution of the challenge “Chaos Theory” from ZK Hack IV . Thanks to pairing bilinearity, it was possibile to identify a message encrypted with a variant of ElGamal encryption over bls12-381 curves.

ZK Hack IV - Supervillain

This is the solution of the challenge “Supervillain” from ZK Hack IV . It was possible to forge a Proof of Possession of a private key used in BLS signature thanks to the linearity of the scheme.

ZK Hack IV - Gamma Ray

This is the solution of the challenge “Gamma Ray” from ZK Hack IV . It was possible to forge a nullifier of a circuit using the negation of a valid nullifier on a Miyaji-Nakabayashi-Takano curve.

Potluck CTF - Upside-down Cake

This is the solution of the challenge “Upside-down Cake” from Potluck CTF. It was an modular equation solved after transformation by the Coppersmith method applied to bivariate polynomials.