search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Cryptoline curve25519 examples #947

Open JoaoDiogoDuarte opened 1 month ago

JoaoDiogoDuarte commented 1 month ago

Depends on https://github.com/jasmin-lang/jasmin/pull/944, https://github.com/jasmin-lang/jasmin/pull/945 and https://github.com/jasmin-lang/jasmin/pull/946.

This merge request adds jazzline examples that do not require anymore changes to the toCL file.