参数

• p = 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001

• 安全性级别为117-120位安全性[NCCG]位。

• width = 5

• 完整轮数数量 = 8。开始和结束各有四个完整轮，每个完整轮有WIDTH个五次S-盒。

• 部分轮数数量 = 59，每个部分轮有一个五次S-盒和(width-1)个恒等函数。

• 轮常数数量 = 960

ScalarStrategy示例

use dusk_bls12_381::BlsScalar;
use dusk_hades::{ScalarStrategy, Strategy, WIDTH};

// Generate the inputs that will permute.
// The number of values we can input is equivalent to `WIDTH`

let input = vec![BlsScalar::from(1u64); dusk_hades::WIDTH];
let mut output = input.clone();

let mut strategy = ScalarStrategy::new();
strategy.perm(output.as_mut_slice());

assert_ne!(&input, &output);
assert_eq!(input.len(), output.len());

偏差

• 完整轮的轮常数生成遵循：https://extgit.iaik.tugraz.at/krypto/hadesmimc/blob/master/code/calc_round_numbers.py

• MDS矩阵是一个柯西矩阵，其生成方法在“具体实例化Poseidon和Starkad”部分有说明。

参考

https://eprint.iacr.org/2019/458.pdf