sha3_ada
Ada
★ 0
updated 12d ago
SHA-3 / SHAKE (FIPS 202) in SPARK/Ada — 159/159 verification conditions proved at gnatprove level 2, zero unproved, NIST CAVP cross-validated. Apache-2.0.
No plain-English explanation yet — one is being written right now. Check back in a minute.