Giacomo 🪿

It works!!

Here's a @sagemath implementation of the SIDH Key Recovery attack of Castryck and Decru.

Huge thanks to @oudomphe. Their insights allowed us to directly compute the image of points in the Jacobian through divisors. No Gröbner needed!

github.com/jack4818/Castr…

This week I have been working on some rust code to develop a library for isogeny based cryptography.

As a first project, I have implemented SQIsign verification following the round 2 NIST spec.

github.com/GiacomoPope/is…

New paper with lots of my friends on computing isogeny-based hash functions using the theta model.
Was fun to implement something which benchmarked at the micro rather than millisecond timescale for a change!

🍄

eprint.iacr.org/2024/1732

kyber-py and dilithium-py have both been updated to match the finalised FIPS specifications 203 and 204.

They also both pass the test vectors supplied by usnistgov/ACVP-Server

I hope these are useful tools to learn PQ crypto 🍄

github.com/GiacomoPope/di…
github.com/GiacomoPope/ky…

We now support the Ascon XOFs too!