Hacker GitHub

← All repos

Componolit/libsparkcrypto

View on GitHub ↗ ★ 29 Ada archived

A cryptographic library in SPARK 2014

11 mentions on Hacker News by 2 people: 0 stories, 11 comments · first 2019-07-25 · latest 2025-03-05

Mentions per year 11 mentions · busiest year 2019 (5)
20082026
AllStoriesComments NewestTopOldest
  1. Will do! :D I did, a quick thought, regarding https://github.com/docandrew/SPARKTLS : you might find https://github.com/Componolit/libsparkcrypto useful, too, if you have not already. Nice projects BTW!
    comment by johnisgood · 2025-03-05 · in Ask HN: What less-popular systems programming language are you using?
  2. …* https://blog.adacore.com/sparknacl-two-years-of-optimizing-c... * https://github.com/Componolit/libsparkcrypto Proof of constant-time execution is an interesting field, but as I understand very much less mature than the SPAR
    comment by touisteur · 2023-03-08 · in A Vulnerability in Implementations of SHA-3, Shake, EdDSA
  3. Speaking of proving encryption algorithms and such: https://github.com/Componolit/libsparkcrypto Ada/SPARK! They added ECDSA, ECGDSA, too. :)
    comment by johnisgood · 2021-10-28 · in Paxos automatically determined safe and secure
  4. https://github.com/Componolit/libsparkcrypto/blob/componolit... It makes my head spin!
    comment by johnisgood · 2021-10-28 · in Paxos automatically determined safe and secure
  5. …good choice of language. I'm going to write my own implementation of the parts I need in (say) Ada" https://github.com/Componolit/libsparkcrypto might be of interest to some. It is written in Ada/SPARK.
    comment by johnisgood · 2021-07-25 · in An Empirical Study of Vulnerabilities in Cryptographic Libraries
  6. Whoops, I completely forgot about libsparkcrypto ( https://github.com/Componolit/libsparkcrypto ) which is a "formally verified implementation of several widely used cryptographic algorithms using the SPARK 2014 programming language and…
    comment by johnisgood · 2021-07-07 · in Linux Rust Support
  7. …-> https://blog.adacore.com/ https://web.archive.org/web/20190709111613/http://www.drdobb... https://github.com/Componolit/libsparkcrypto https://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/ev...…
    comment by johnisgood · 2019-11-03 · in The AdaOS Operating System (2000)
  8. …and https://arxiv.org/abs/1710.07047 . --- Cryptographic library in SPARK 2014: https://github.com/Componolit/libsparkcrypto . > libsparkcrypto is a formally verified implementation of several widely used cryptographic algorithms using th
    comment by johnisgood · 2019-09-10 · in Why Ada Is the Language You Want to Be Programming Your Systems With
  9. Hey! I only found https://github.com/Componolit/libsparkcrypto/blob/0a3a3c5ed7... . I hope someone who is more acquainted will help us out. In any case, you should read: - https://www.auto.tuwien.ac.at/~blieb/AE2017/presentations/ae... -…
    comment by johnisgood · 2019-08-24 · in The Many Possibilities of iMessage File Vulnerability
  10. Also: https://github.com/Componolit/libsparkcrypto
    comment by johnisgood · 2019-08-23 · in The Many Possibilities of iMessage File Vulnerability
  11. …language with a GC. I think a Ricochet-like IM software written in Ada/SPARK using libsparkcrypto ( https://github.com/Componolit/libsparkcrypto ) would be ideal.
    comment by johnisgood · 2019-07-25 · in PGP habits could be better