对类型级别的SAFE的探索。

此软件处于非常早期的开发阶段。我们不建议现在就依赖它。

此软件包的目标是与任何SAFE API实现接口，并使其错误在编译时而不是在运行时出现。

海绵函数的SAFE API

Safe API是使用海绵的接口，海绵是哈希函数的常用构建块。它更具体地说是一种双工模型的变体，默认情况下使用域元素作为参数，这使得它对zkProof友好。此API的目的是帮助消除在实现中发现的常见痛点和安全漏洞。

• 安全漏洞，如域分离失败
• 难以安全使用的不一致API

SAFE API的文档在http://safe-hash.dev。另请参阅ZKSummit 8上的这次演讲：https://www.youtube.com/watch?v=w-4fzHpd4dk

EXTRA-SAFE

此软件包在Rust中应用了面向状态编程技术，以及按照类型级编程来使SAFE API更加安全。

在基本层面上，SAFE API的目的是在用户使用时返回错误。此软件包的目标是将这些错误中的大部分提升到编译时。

许可证

MIT