SPARK_SipHash:一个实现SipHash键控哈希函数的Ada 2012 SPARK 2014项目

SPARK_SipHash 介绍 这是一个实现键控哈希函数的Ada 2012 / 项目。 SipHash是由Jean-Philippe Aumasson和Daniel J. Bernstein设计的，尽管此实现与它们无关。 SipHash是一种针对短消息速度进行了优化的哈希函数，但是它使用了现代密码设计概念，以便尽可能接近真实的PRF（伪随机函数）。 该项目是免费软件（ISC许可许可证），没有任何保证，如LICENSE文件中所述。 设计人员根据CC0许可证（类似于公共领域的许可证）发布了原始的参考C代码。 副本作为src/tests/reference_siphash_24.c ，仅用于检查Ada库是否生成与参考实现匹配的结果。 原理-散列式DoS保护 当攻击者能够将所选键下的值注入到哈希表中时，例如，通过请求对他知道将使用所请求的资源名称作为键在哈希表中进行跟踪的资源的攻击，便会发生哈