External CI
Francois Dupressoir edited this page May 5, 2023
·
3 revisions
For sure:
- Jasmin ECLib: https://github.com/jasmin-lang/jasmin (.../eclib)
- SHA3: https://gitlab.com/easycrypt/sha3
- Saber:
- XMSS:
- XSalsa20: https://gitlab.com/fdupress/ec-xsalsa (should be finished and moved to easycrypt namespace; also perhaps published somewhere... who knows?)
- Cryptobox: https://gitlab.com/fdupress/ec-cryptobox (should be mirrored in the easycrypt namespace)
- Dilithium (in expected cost branch):
Maybe, but perhaps best as Formosa/Jasmin:
- Kyber functional:
- ChaCha functional:
- SHA3 functional:
Maybe, after some effort:
- KMS:
- Yao's Garbled Circuits:
- CMAC:
- Kyber security (CPA) + FO:
- CV2EC:
Truly external and need community work:
- Maurer MPC (Aarhus)
- MPC in the head (Aarhus)
- Rewinding (Tartu)
- Whatever secret things lurk waiting to be made public