×

兹克比

swMATH ID: 30790
软件作者: 亨利·德瓦伦斯
描述: zkp:Schnorr证明的工具包。这个板条箱有一个Schnorr风格的零知识证明工具包,使用ristretto255组实例化。它提供了两个级别的API:一个基于define_proof宏的高级声明性API,它提供了一个嵌入式DSL,用于以Camenisch-Stadler-like表示法指定证明语句。这将扩展为包含证明、验证和批验证实现的模块。证明使用恒定时间实现,并且证明具有通过Serde派生的(内存安全)序列化和反序列化实现。一个受Bellman启发的低级命令式API,它为Schnorr-style语句提供了一个约束系统。这允许在运行时对证明语句进行可编程构造。高级define_proof宏扩展为低级API的调用。较低级别的API包含在工具箱模块中。
主页: https://crats.io/cattes/zkp
相关软件: 业务流程库;ZKPDL公司;艾美;LIBSCAPI银行;SCAPI公司;佩特里布;蟒蛇;哈萨克斯坦
引用于: 0个文档