cryptography
Topic | Replies | Views | Activity | |
---|---|---|---|---|
[ANN] maintenance releease mirage-crypto |
![]() |
0 | 148 | September 19, 2023 |
[ANN[ awa-ssh release 0.3 |
![]() |
0 | 265 | June 21, 2023 |
Accelerating zk-SNARKs on FPGAs with Hardcaml |
![]() |
0 | 589 | December 9, 2022 |
[Ask] Cookie Crypto |
![]() ![]() |
5 | 569 | August 28, 2022 |
[ANN] bls12-381.3.0.0 |
![]() |
0 | 697 | March 1, 2022 |
[ANN] elliptic curves - maintainable and verified (full stack, from primitives to TLS) |
![]() ![]() |
2 | 959 | August 24, 2021 |
[ANN] First release of awa-ssh |
![]() |
0 | 1320 | January 7, 2021 |
Digital signatures in ocaml |
![]() ![]() ![]() |
2 | 775 | April 30, 2020 |