Rescue和Poseidon

概述

此仓库包含面向算术化哈希函数（Rescue、Poseidon、Rescue Prime）的实现，这些函数通过在素域上使用Sponge构造，适用于电路外和电路内的使用。每个代数哈希函数使用相同的Sponge构造，但具有不同的轮函数或置换函数。在约束系统中，设备是最优的，同时也支持bellman支持的不同的标量字段。

用法

添加依赖项

rescue_poseidon = 0.1

    use franklin_crypto::bellman::bn256::Fr;
    use franklin_crypto::bellman::Field;
    use rescue_poseidon::rescue_hash;

    const L: usize = 2;
    let input = [Fr::one(); L]; // dummy input

    // fixed length rescue hash
    let result = rescue_hash::<Bn256, L>(&input);
    assert_eq!(result.len(), 2);

更多示例可以在 examples 文件夹中找到。

测试

cargotest ----nocapture

基准测试和约束系统成本

cargobench ----nocapture

CPU：3.1 GHz Intel Core i5

参考文献

• 密码学sponge函数
• .sponge和duplex构造
• STARK友好哈希 - 调查和建议
• MARVELlous：一个STARK友好的密码学原语系列
• POSEIDON：用于零知识证明系统的新的哈希函数
• Rescue-Prime：一个标准规范（SoK）