ebf9557d1c
Currently the API modules are hidden to the crate scope. In order to avoid global permissive allows, they can initially be exported, and tweaked to local scopes as they get implemented, finalized and tested. Related to #3
26 lines
823 B
Rust
26 lines
823 B
Rust
use crate::StarkField;
|
|
pub use winterfell::crypto::hashers::Rp64_256 as Hasher;
|
|
pub use winterfell::crypto::{ElementHasher, Hasher as HashFn};
|
|
|
|
// TYPE ALIASES
|
|
// ================================================================================================
|
|
|
|
pub type Digest = <Hasher as HashFn>::Digest;
|
|
|
|
// HELPER FUNCTIONS
|
|
// ================================================================================================
|
|
|
|
#[inline(always)]
|
|
fn _exp_acc<B: StarkField, const N: usize, const M: usize>(base: [B; N], tail: [B; N]) -> [B; N] {
|
|
let mut result = base;
|
|
for _ in 0..M {
|
|
result.iter_mut().for_each(|r| *r = r.square());
|
|
}
|
|
result.iter_mut().zip(tail).for_each(|(r, t)| *r *= t);
|
|
result
|
|
}
|
|
|
|
#[inline(always)]
|
|
pub fn merge(values: &[Digest; 2]) -> Digest {
|
|
Hasher::merge(values)
|
|
}
|